20 citations · 52 across the 15 of their papers we have counts for
4 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…
Security Properties through the Lens of Modal Logic
Matvey Soloviev, Musard Balliu, Roberto Guanciale
We introduce a framework for reasoning about the security of computer systems using modal logic. This framework is sufficiently expressive to capture a variety of known security pr…
P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report)
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller +1
Software-Defined Networking (SDN) significantly simplifies programming, reconfiguring, and optimizing network devices, such as switches and routers. The de facto standard for progr…
Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
Andreas Lindner, Karl Palmskog, Scott Constable +3
Control flow in unstructured programs can be complex and dynamic, which makes static analysis difficult. Yet, automated reasoning about unstructured control flow is important when…