156 citations · 419 across the 22 of their papers we have counts for
28 papers
TALUS: Reinforcing TEE Confidentiality with Cryptographic Coprocessors (Technical Report)
Dhiman Chakraborty, Michael Schwarz, Sven Bugiel
Platforms are nowadays typically equipped with tristed execution environments (TEES), such as Intel SGX and ARM TrustZone. However, recent microarchitectural attacks on TEEs repeat…
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces
Michael Schwarz, Simmo Saan, Helmut Seidl +2
We construct novel thread-modular analyses that track relational information for potentially overlapping clusters of global variables - given that they are protected by common mute…
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap
Julian Erhard, Simmo Saan, Sarah Tilscher +4
To put static program analysis at the fingertips of the software developer, we propose a framework for interactive abstract interpretation. While providing sound analysis results,…
HyperDbg: Reinventing Hardware-Assisted Debugging (Extended Version)
Mohammad Sina Karvandi, MohammadHossein Gholamrezaei, Saleh Khalaj Monfared +7
Software analysis, debugging, and reverse engineering have a crucial impact in today's software industry. Efficient and stealthy debuggers are especially relevant for malware analy…
SFIP: Coarse-Grained Syscall-Flow-Integrity Protection in Modern Systems
Claudio Canella, Sebastian Dorn, Daniel Gruss +1
Growing code bases of modern applications have led to a steady increase in the number of vulnerabilities. Control-Flow Integrity (CFI) is one promising mitigation that is more and…
Domain Page-Table Isolation
Claudio Canella, Andreas Kogler, Lukas Giner +2
Modern applications often consist of different security domains that require isolation from each other. While several solutions exist, most of them rely on specialized hardware, ha…