USENIX Security '21 - Towards Formal Verification of State Continuity for Enclave Programs
USENIX Security
USENIX Security '21 - MPInspector: A Systematic and Automatic Approach for Evaluating the Security
View the full
USENIX Security '21 - Effect of Mood, Location, Trust, and Presence of Others on Video-Based...
USENIX Security
USENIX Security '21 - Privacy-Preserving and Standard-Compatible AKA Protocol for 5G
View the full
USENIX Security '21 - On the Usability of Authenticity Checks for Hardware Security Tokens
USENIX Security
USENIX Security '21 - A Large-Scale Interview Study on Information Security in and Attacks...
USENIX Security
USENIX Security '21 - A Large Scale Study of User Behavior, Expectations and Engagement with...
USENIX Security
USENIX Security '21 - Automatic Policy Generation for Inter-Service Access Control of Microservices
View the full
USENIX Security '21 - Frontal Attack: Leaking Control-Flow in SGX via the CPU Frontend
USENIX Security
USENIX Security '21 - DICE*: A Formally Verified Implementation of DICE Measured Boot
USENIX Security
USENIX Security '21 - Driving 2FA Adoption at Scale: Optimizing Two-Factor Authentication...
USENIX Security
USENIX Security '21 - Share First, Ask Later (or Never?) Studying Violations of GDPR's Explicit
View the full
USENIX Security '21 - PASAN: Detecting Peripheral Access Concurrency Bugs within Bare-Metal...
USENIX Security
