9 citations · 13 across the 5 of their papers we have counts for
5 papers · 1 filter
Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization
Tiziano Marinaro, Pablo Buiras, Andreas Lindner +2
Since the advent of Spectre attacks, researchers and practitioners have developed a range of hardware and software measures to counter transient execution attacks. A prime example…
Speculative Leakage in ARM Cortex-A53
Hamed Nemati, Roberto Guanciale, Pablo Buiras +1
The recent Spectre attacks have demonstrated that modern microarchitectural optimizations can make software insecure. These attacks use features like pipelining, out-of-order and s…
Validation of Abstract Side-Channel Models for Computer Architectures
Hamed Nemati, Pablo Buiras, Andreas Lindner +2
Observational models make tractable the analysis of information flow properties by providing an abstraction of side channels. We introduce a methodology and a tool, Scam-V, to vali…
Cryptographically Secure Information Flow Control on Key-Value Stores
Lucas Waye, Pablo Buiras, Owen Arden +2
We present Clio, an information flow control (IFC) system that transparently incorporates cryptography to enforce confidentiality and integrity policies on untrusted storage. Clio…
On Dynamic Flow-Sensitive Floating-Label Systems
Pablo Buiras, Deian Stefan, Alejandro Russo
Flow-sensitive analysis for information-flow control (IFC) allows data structures to have mutable security labels, i.e., labels that can change over the course of the computation.…