Navigating Traumatic Stress Reactions During Computer Security Interventions
.
2024. Navigating Traumatic Stress Reactions During Computer Security Interventions. 33rd USENIX Security Symposium (USENIX Security 24). :2011--2028.
Formal verification of the {PQXDH} {Post-Quantum} key agreement protocol for end-to-end secure messaging
.
2024. Formal verification of the {PQXDH} {Post-Quantum} key agreement protocol for end-to-end secure messaging. 33rd USENIX Security Symposium (USENIX Security 24). :469--486.
{SnailLoad}: Exploiting Remote Network Latency Measurements without {JavaScript}
.
2024. {SnailLoad}: Exploiting Remote Network Latency Measurements without {JavaScript}. 33rd USENIX Security Symposium (USENIX Security 24). :2315--2332.
{ORANalyst}: Systematic Testing Framework for Open {RAN} Implementations
.
2024. {ORANalyst}: Systematic Testing Framework for Open {RAN} Implementations. 33rd USENIX Security Symposium (USENIX Security 24). :1921--1938.
{FVD-DPM}: Fine-grained Vulnerability Detection via Conditional Diffusion Probabilistic Models
.
2024. {FVD-DPM}: Fine-grained Vulnerability Detection via Conditional Diffusion Probabilistic Models. 33rd USENIX Security Symposium (USENIX Security 24). :7375--7392.
Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using {Mix-Nets}
.
2024. Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using {Mix-Nets}. 33rd USENIX Security Symposium (USENIX Security 24). :3135--3150.
Digital Discrimination of Users in Sanctioned States: The Case of the Cuba Embargo
.
2024. Digital Discrimination of Users in Sanctioned States: The Case of the Cuba Embargo. 33rd USENIX Security Symposium (USENIX Security 24). :3909--3926.
{DAAP}: {Privacy-Preserving} Model Accuracy Estimation on Unlabeled Datasets Through {Distribution-Aware} Adversarial Perturbation
.
2024. {DAAP}: {Privacy-Preserving} Model Accuracy Estimation on Unlabeled Datasets Through {Distribution-Aware} Adversarial Perturbation. 33rd USENIX Security Symposium (USENIX Security 24). :4801--4818.
The Imitation Game: Exploring Brand Impersonation Attacks on Social Media Platforms
.
2024. The Imitation Game: Exploring Brand Impersonation Attacks on Social Media Platforms. 33rd USENIX Security Symposium (USENIX Security 24). :4427--4444.
Bridging Barriers: A Survey of Challenges and Priorities in the Censorship Circumvention Landscape
.
2024. Bridging Barriers: A Survey of Challenges and Priorities in the Censorship Circumvention Landscape. 33rd USENIX Security Symposium (USENIX Security 24). :2671--2688.