11 citations · 33 across the 25 of their papers we have counts for
5 papers · 1 filter
SPECTECTOR: Principled Detection of Speculative Information Flows
Marco Guarnieri, Boris Köpf, José F. Morales +2
Since the advent of SPECTRE, a number of countermeasures have been proposed and deployed. Rigorously reasoning about their effectiveness, however, requires a well-defined notion of…
Theory and Practice of Finding Eviction Sets
Pepe Vila, Boris Köpf, José Francisco Morales
Many micro-architectural attacks rely on the capability of an attacker to efficiently find small eviction sets: groups of virtual addresses that map to the same cache set. This cap…
Multivariant Assertion-based Guidance in Abstract Interpretation
Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo
Approximations during program analysis are a necessary evil, as they ensure essential properties, such as soundness and termination of the analysis, but they also imply not always…
An Approach to Static Performance Guarantees for Programs with Run-time Checks
Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia +2
Instrumenting programs for performing run-time checking of properties, such as regular shapes, is a common and useful technique that helps programmers detect incorrect program beha…
Incremental and Modular Context-sensitive Analysis
Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo
Context-sensitive global analysis of large code bases can be expensive, which can make its use impractical during software development. However, there are many situations in which…