USENIX | The Advanced Computing Systems Association

{WHIP}: Improving Static Vulnerability Detection in Web Application by Forcing tools to Collaborate

Al-Kassar F, Compagna L, Balzarotti D. 2023. {WHIP}: Improving Static Vulnerability Detection in Web Application by Forcing tools to Collaborate. 32nd USENIX Security Symposium (USENIX Security 23). :6079--6096.

{PORE}: Provably Robust Recommender Systems against Data Poisoning Attacks

Jia J, Liu Y, Hu Y, Gong NZhenqiang. 2023. {PORE}: Provably Robust Recommender Systems against Data Poisoning Attacks. 32nd USENIX Security Symposium (USENIX Security 23). :1703--1720.

{AnimateDead}: Debloating Web Applications Using Concolic Execution

Azad BAmin, Jahanshahi R, Tsoukaladelis C, Egele M, Nikiforakis N. 2023. {AnimateDead}: Debloating Web Applications Using Concolic Execution. 32nd USENIX Security Symposium (USENIX Security 23). :5575--5591.

Read more about {AnimateDead}: Debloating Web Applications Using Concolic Execution
DBLP
Log in to post comments
Google Scholar
BibTeX

Cheesecloth: {Zero-Knowledge} Proofs of Real World Vulnerabilities

Cuéllar S, Harris B, Parker J, Pernsteiner S, Tromer E. 2023. Cheesecloth: {Zero-Knowledge} Proofs of Real World Vulnerabilities. 32nd USENIX Security Symposium (USENIX Security 23). :6525--6540.

Read more about Cheesecloth: {Zero-Knowledge} Proofs of Real World Vulnerabilities
DBLP
Log in to post comments
Google Scholar
BibTeX

Towards Targeted Obfuscation of Adversarial Unsafe Images using Reconstruction and Counterfactual Super Region Attribution Explainability

Bethany M, Seong A, Silva SHenrique, Beebe N, Vishwamitra N, Najafirad P. 2023. Towards Targeted Obfuscation of Adversarial Unsafe Images using Reconstruction and Counterfactual Super Region Attribution Explainability. 32nd USENIX Security Symposium (USENIX Security 23). :643--660.

Sneaky Spy Devices and Defective Detectors: The Ecosystem of Intimate Partner Surveillance with Covert Devices

Ceccio R, Stephenson S, Chadha V, Huang DYuxing, Chatterjee R. 2023. Sneaky Spy Devices and Defective Detectors: The Ecosystem of Intimate Partner Surveillance with Covert Devices. 32nd USENIX Security Symposium (USENIX Security 23). :123--140.

Hoedur: Embedded Firmware Fuzzing using {Multi-Stream} Inputs

[Anonymous]. 2023. Hoedur: Embedded Firmware Fuzzing using {Multi-Stream} Inputs. 32nd USENIX Security Symposium (USENIX Security 23). :2885--2902.

Read more about Hoedur: Embedded Firmware Fuzzing using {Multi-Stream} Inputs
DBLP
Log in to post comments
Google Scholar
BibTeX

Greenhouse: {Single-Service} Rehosting of {Linux-Based} Firmware Binaries in {User-Space} Emulation

Tay HJun, Zeng K, Vadayath JMenon, Raj AS, Dutcher A, Reddy T, Gibbs W, Basque ZLeonahenah, Dong F, Smith Z et al.. 2023. Greenhouse: {Single-Service} Rehosting of {Linux-Based} Firmware Binaries in {User-Space} Emulation. 32nd USENIX Security Symposium (USENIX Security 23). :5791--5808.

On the Security Risks of Knowledge Graph Reasoning

Xi Z, Du T, Li C, Pang R, Ji S, Luo X, Xiao X, Ma F, Wang T. 2023. On the Security Risks of Knowledge Graph Reasoning. 32nd USENIX Security Symposium (USENIX Security 23). :3259--3276.

Read more about On the Security Risks of Knowledge Graph Reasoning
DBLP
Log in to post comments
Google Scholar
BibTeX

Private {Proof-of-Stake} Blockchains using {Differentially-Private} Stake Distortion

Wang C, Pujol D, Nayak K, Machanavajjhala A. 2023. Private {Proof-of-Stake} Blockchains using {Differentially-Private} Stake Distortion. 32nd USENIX Security Symposium (USENIX Security 23). :1577--1594.

Pages