USENIX | The Advanced Computing Systems Association

Machine-checking {Multi-Round} Proofs of Shuffle: {Terelius-Wikstrom} and {Bayer-Groth}

Haines T, Gore R, Tiwari M. 2023. Machine-checking {Multi-Round} Proofs of Shuffle: {Terelius-Wikstrom} and {Bayer-Groth}. 32nd USENIX Security Symposium (USENIX Security 23). :6471--6488.

{FreeEagle}: Detecting Complex Neural Trojans in {Data-Free} Cases

Fu C, Zhang X, Ji S, Wang T, Lin P, Feng Y, Yin J. 2023. {FreeEagle}: Detecting Complex Neural Trojans in {Data-Free} Cases. 32nd USENIX Security Symposium (USENIX Security 23). :6399--6416.

Read more about {FreeEagle}: Detecting Complex Neural Trojans in {Data-Free} Cases
DBLP
Log in to post comments
Google Scholar
BibTeX

Panda: Security Analysis of Algorand Smart Contracts

Sun Z, Luo X, Zhang Y. 2023. Panda: Security Analysis of Algorand Smart Contracts. 32nd USENIX Security Symposium (USENIX Security 23). :1811--1828.

Read more about Panda: Security Analysis of Algorand Smart Contracts
DBLP
Log in to post comments
Google Scholar
BibTeX

Formal Analysis and Patching of {BLE-SC} Pairing

Shi M, Chen J, He K, Zhao H, Jia M, Du R. 2023. Formal Analysis and Patching of {BLE-SC} Pairing. 32nd USENIX Security Symposium (USENIX Security 23). :37--52.

Read more about Formal Analysis and Patching of {BLE-SC} Pairing
DBLP
Log in to post comments
Google Scholar
BibTeX

{SHELTER}: Extending Arm {CCA} with Isolation in User Space

Zhang Y, Hu Y, Ning Z, Zhang F, Luo X, Huang H, Yan S, He Z. 2023. {SHELTER}: Extending Arm {CCA} with Isolation in User Space. 32nd USENIX Security Symposium (USENIX Security 23). :6257--6274.

Read more about {SHELTER}: Extending Arm {CCA} with Isolation in User Space
DBLP
Log in to post comments
Google Scholar
BibTeX

{CAPatch}: Physical Adversarial Patch against Image Captioning Systems

Zhang S, Cheng Y, Zhu W, Ji X, Xu W. 2023. {CAPatch}: Physical Adversarial Patch against Image Captioning Systems. 32nd USENIX Security Symposium (USENIX Security 23). :679--696.

Read more about {CAPatch}: Physical Adversarial Patch against Image Captioning Systems
DBLP
Log in to post comments
Google Scholar
BibTeX

{MINER}: A Hybrid {Data-Driven} Approach for {REST} {API} Fuzzing

Lyu C, Xu J, Ji S, Zhang X, Wang Q, Zhao B, Pan G, Cao W, Chen P, Beyah R. 2023. {MINER}: A Hybrid {Data-Driven} Approach for {REST} {API} Fuzzing. 32nd USENIX Security Symposium (USENIX Security 23). :4517--4534.

Read more about {MINER}: A Hybrid {Data-Driven} Approach for {REST} {API} Fuzzing
DBLP
Log in to post comments
Google Scholar
BibTeX

{FABRID}: Flexible {Attestation-Based} Routing for {Inter-Domain} Networks

Krähenbühl C, Wyss M, Basin D, Lenders V, Perrig A, Strohmeier M. 2023. {FABRID}: Flexible {Attestation-Based} Routing for {Inter-Domain} Networks. 32nd USENIX Security Symposium (USENIX Security 23). :5755--5772.

{Educators’} Perspectives of Using (or Not Using) Online Exam Proctoring

Balash DG, Korkes E, Grant M, Av, iv AJ, Fainchtein RA, Sherr M. 2023. {Educators’} Perspectives of Using (or Not Using) Online Exam Proctoring. 32nd USENIX Security Symposium (USENIX Security 23). :5091--5108.

Going through the motions: {AR/VR} keylogging from user head motions

Slocum C, Zhang Y, Abu-Ghazaleh N, Chen J. 2023. Going through the motions: {AR/VR} keylogging from user head motions. 32nd USENIX Security Symposium (USENIX Security 23). :159--174.

Read more about Going through the motions: {AR/VR} keylogging from user head motions
DBLP
Log in to post comments
Google Scholar
BibTeX

Pages