Automated Synthesis of Effect Graph Policies for Microservice-Aware Stateful System Call Specialization
- Will Blair
- Fred Araujo
- et al.
- 2024
- S&P 2024
Publications
Date
Featured collections
Popular topics
55 results for Security Analysis
RAPID: Real-Time Alert Investigation with Context-aware Prioritization for Efficient Threat Discovery
- Yushan Liu
- Xiaokui Shu
- et al.
- 2022
- ACSAC 2022
- Topic
On the (in)security of ElGamal in OpenPGP
- Luca De Feo
- Bertram Poettering
- et al.
- 2021
- CCS 2021
Speculator: A tool to analyze speculative execution attacks and mitigations
- Andrea Mambretti
- Matthias Neugschwandtner
- et al.
- 2019
- ACSAC 2019
ZEUS: Analyzing Safety of Smart Contracts
- Sukrit Kalra
- Seep Goel
- et al.
- 2018
- NDSS 2018
Digital Signatures with Outsourced Hashing
- Bertram Poettering
- Simon Rastikian
- 2024
- AsiaCrypt 2024
Crossing Shifted Moats: Replacing Old Bridges with New Tunnels to Confidential Containers
- Ray Valdez
- Md Salman Ahmed
- et al.
- 2024
- CCS 2024
GhostRace: Exploiting and Mitigating Speculative Race Conditions
- Hany Ragab
- Andrea Mambretti
- et al.
- 2024
- USENIX Security 2024
True Attacks, Attack Attempts, or Benign Triggers? An Empirical Measurement of Network Alerts in a Security Operations Center
- Limin Yang
- Zhi Chen
- et al.
- 2024
- USENIX Security 2024
AgraBOT: Accelerating Third-Party Security Risk Management in Enterprise Setting through Generative AI
- Mert Toslali
- Edward Snible
- et al.
- 2024
- ESEC/FSE 2024