Evidential Cyber Threat Hunting
- Fred Araujo
- Dhilung Kirat
- et al.
- 2021
- SDM 2021
Publications
Date
Featured collections
Popular topics
60 results for Security Analysis
GhostBuster: Understanding and overcoming the pitfalls of transient execution vulnerability checkers
- Andrea Mambretti
- Pasquale Convertini
- et al.
- 2021
- SANER 2021
Microservice-Aware Reference Monitoring through Hybrid Program Analysis
- William Blair
- Fred Araujo
- et al.
- 2021
- FloCon 2021
A Flexible Framework for Expediting Bug Finding by Leveraging Past (Mis-)Behavior to Discover New Bugs
- Sanjeev Das
- Kedrian James
- et al.
- 2020
- ACSAC 2020
Unleashing Cyber Reasoning: DARPA Transparent Computing Threat Hunting Retrospective
- 2020
- ACSAC 2020
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