9 citations · 16 across the 5 of their papers we have counts for
1 paper · 1 filter
Hernán Ponce-de-León, Johannes Kinder
The Spectre family of speculative execution attacks have required a rethinking of formal methods for security. Approaches based on operational speculative semantics have made initi…