GhostBuster: Understanding and overcoming the pitfalls of transient execution vulnerability checkers
- Andrea Mambretti
- Pasquale Convertini
- et al.
- 2021
- SANER 2021
Conference paper
Publications
69 results for Security Analysis
Microservice-Aware Reference Monitoring through Hybrid Program Analysis
- William Blair
- Fred Araujo
- et al.
- 2021
- FloCon 2021
TalkA Flexible Framework for Expediting Bug Finding by Leveraging Past (Mis-)Behavior to Discover New Bugs
- Sanjeev Das
- Kedrian James
- et al.
- 2020
- ACSAC 2020
Conference paperUnleashing Cyber Reasoning: DARPA Transparent Computing Threat Hunting Retrospective
- 2020
- ACSAC 2020
Invited talkUniversal Composition with Global Subroutines: Capturing Global Setup within plain UC
- Christian Badertscher
- Ran Canetti
- et al.
- 2020
- TCC 2020
Conference paperSpeculator: A tool to analyze speculative execution attacks and mitigations
- Andrea Mambretti
- Matthias Neugschwandtner
- et al.
- 2019
- ACSAC 2019
Conference paperMemory Categorization: Separating Attacker-Controlled Data
- Matthias Neugschwandtner
- Alessandro Sorniotti
- et al.
- 2019
- DIMVA 2019
Conference paperZEUS: Analyzing Safety of Smart Contracts
- Sukrit Kalra
- Seep Goel
- et al.
- 2018
- NDSS 2018
Conference paperAsyncShock: Exploiting synchronisation bugs in Intel SGX enclaves
- Nico Weichbrodt
- Anil Kurmus
- et al.
- 2016
- ESORICS 2016
Conference paper