USENIX | The Advanced Computing Systems Association

A {Mixed-Methods} Study on User Experiences and Challenges of Recovery Codes for an {End-to-End} Encrypted Service

Höltervennhoff S, Wöhler N, Möhle A, Oltrogge M, Acar Y, Wiese O, Fahl S. 2024. A {Mixed-Methods} Study on User Experiences and Challenges of Recovery Codes for an {End-to-End} Encrypted Service. 33rd USENIX Security Symposium (USENIX Security 24). :7267--7284.

In Wallet We Trust: Bypassing the Digital Wallets Payment Security for Free Shopping

Anwar RHasnain, Hussain SRafiul, Raza MTaqi. 2024. In Wallet We Trust: Bypassing the Digital Wallets Payment Security for Free Shopping. 33rd USENIX Security Symposium (USENIX Security 24). :541--558.

Formalizing Soundness Proofs of Linear {PCP} {SNARKs}

Bailey B, Miller A. 2024. Formalizing Soundness Proofs of Linear {PCP} {SNARKs}. 33rd USENIX Security Symposium (USENIX Security 24). :1489--1506.

"I just hated it and I want my money back": Data-driven Understanding of Mobile {VPN} Service Switching Preferences in The Wild

Raj R, Newar M, Mondal M. 2024. "I just hated it and I want my money back": Data-driven Understanding of Mobile {VPN} Service Switching Preferences in The Wild. 33rd USENIX Security Symposium (USENIX Security 24). :6021--6037.

{VOGUES}: Validation of Object Guise using Estimated Components

Muller R, Man Y, Li M, Gerdes R, Petit J, Z. Celik B. 2024. {VOGUES}: Validation of Object Guise using Estimated Components. 33rd USENIX Security Symposium (USENIX Security 24). :6327--6344.

Lotto: Secure Participant Selection against Adversarial Servers in Federated Learning

Jiang Z, Ye P, He S, Wang W, Chen R, Li B. 2024. Lotto: Secure Participant Selection against Adversarial Servers in Federated Learning. 33rd USENIX Security Symposium (USENIX Security 24). :343--360.

Terrapin Attack: Breaking {SSH} Channel Integrity By Sequence Number Manipulation

Bäumer F, Brinkmann M, Schwenk J. 2024. Terrapin Attack: Breaking {SSH} Channel Integrity By Sequence Number Manipulation. 33rd USENIX Security Symposium (USENIX Security 24). :7463--7480.

An Interview Study on {Third-Party} Cyber Threat Hunting Processes in the {U.S}. Department of Homeland Security

Maxam, III WP, Davis JC. 2024. An Interview Study on {Third-Party} Cyber Threat Hunting Processes in the {U.S}. Department of Homeland Security. 33rd USENIX Security Symposium (USENIX Security 24). :2333--2350.

{iHunter}: Hunting Privacy Violations at Scale in the Software Supply Chain on {iOS}

Liu D, Xiao Y, Zhang C, Xie K, Bai X, Zhang S, Xing L. 2024. {iHunter}: Hunting Privacy Violations at Scale in the Software Supply Chain on {iOS}. 33rd USENIX Security Symposium (USENIX Security 24). :5663--5680.

Inference of Error Specifications and Bug Detection Using Structural Similarities

Dossche N, Coppens B. 2024. Inference of Error Specifications and Bug Detection Using Structural Similarities. 33rd USENIX Security Symposium (USENIX Security 24). :1885--1902.

Pages