Towards a Formally Verified Security Monitor for VM-based Confidential Computing
- Wojciech Ozga
- Guerney Hunt
- et al.
- 2023
- MICRO 2023
Publications
Date
Featured collections
Popular topics
61 results for Security Analysis
EdgeTorrent: Real-time Temporal Graph Representations for Intrusion Detection
- Isaiah J. King
- Xiaokui Shu
- et al.
- 2023
- RAID 2023
Security Analysis of the WhatsApp End-to-End Encrypted Backup Protocol
- Gareth T. Davies
- Sebastian Faller
- et al.
- 2023
- CRYPTO 2023
How to Bind Anonymous Credentials to Humans
- Julia Hesse
- Nitin Singh
- et al.
- 2023
- USENIX Security 2023
Not All Data are Created Equal: Data and Pointer Prioritization for Scalable Protection Against Data-Oriented Attacks
- Salman Ahmed
- Hans Liljestrand
- et al.
- 2023
- USENIX Security 2023
SoCurity: A Design Approach for Enhancing SoC Security
- Naorin Hossain
- Alper Buyuktosunoglu
- et al.
- 2023
- DAC 2023
Efficient Privacy-Preserving Viral Strain Classification via k-mer Signatures and FHE
- Adi Akavia
- Ben Galili
- et al.
- 2023
- CSF 2023
Benchmarking the Effect of Poisoning Defenses on the Security and Bias of Deep Learning Models
- Nathalie Baracaldo Angel
- Farhan Ahmed
- et al.
- 2023
- S&P 2023
Fashion Faux Pas: Implicit Stylistic Fingerprints for Bypassing Browsers' Anti-Fingerprinting Defenses
- Xu Lin
- Frederico Araujo
- et al.
- 2023
- S&P 2023
Go or No Go: Differential Fuzzing of Native and C Libraries
- Alessandro Sorniotti
- Michael Weissbacher
- et al.
- 2023
- S&P 2023