Speculator: A tool to analyze speculative execution attacks and mitigations
- Andrea Mambretti
- Matthias Neugschwandtner
- et al.
- 2019
- ACSAC 2019
Publications
64 results for Security Analysis
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