9 citations · 16 across the 5 of their papers we have counts for
1 paper · 2 filters
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…