Unleashing Cyber Reasoning: DARPA Transparent Computing Threat Hunting Retrospective
- 2020
- ACSAC 2020
Publications
66 results for Security Analysis
Universal Composition with Global Subroutines: Capturing Global Setup within plain UC
- Christian Badertscher
- Ran Canetti
- et al.
- 2020
- TCC 2020
Speculator: A tool to analyze speculative execution attacks and mitigations
- Andrea Mambretti
- Matthias Neugschwandtner
- et al.
- 2019
- ACSAC 2019
Memory Categorization: Separating Attacker-Controlled Data
- Matthias Neugschwandtner
- Alessandro Sorniotti
- et al.
- 2019
- DIMVA 2019
ZEUS: Analyzing Safety of Smart Contracts
- Sukrit Kalra
- Seep Goel
- et al.
- 2018
- NDSS 2018
AsyncShock: Exploiting synchronisation bugs in Intel SGX enclaves
- Nico Weichbrodt
- Anil Kurmus
- et al.
- 2016
- ESORICS 2016