Publications

64 results for Security Analysis

Bypassing memory safety mechanisms through speculative control flow hijacks
- - Andrea Mambretti
  - Alexandra Sandulescu
  - et al.
- 2021
- EuroS&P 2021
TRIGLAV: Remote Attestation of the Virtual Machine's Runtime Integrity in Public Clouds
- - Wojciech Ozga
  - Do Le Quoc
  - et al.
- 2021
- CLOUD 2021
NL2Vul: Natural Language to Standard Vulnerability Score for Cloud Security Posture Management
- - Muhammed Fatih Bulut
  - Jinho Hwang
- 2021
- CLOUD 2021
The Game of Cyber Threat Hunting: The Return of the Fun
- - Jiyong Jang
  - Xiaokui Shu
- 2021
- RSAC 2021
Evidential Cyber Threat Hunting
- - Fred Araujo
  - Dhilung Kirat
  - et al.
- 2021
- SDM 2021
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
- - Xiaokui Shu
- 2020
- ACSAC 2020
Universal Composition with Global Subroutines: Capturing Global Setup within plain UC
- - Christian Badertscher
  - Ran Canetti
  - et al.
- 2020
- TCC 2020