Media Summary: SoK: All You Need to Know About On-Device ML Model Extraction - The Gap Between Research and Practice Tushar Nayan, ... Fast and Private Inference of Deep Neural Networks by Co-designing Activation Functions Abdulrahman Diaa, Lucas Fenaux, ... "I'm not convinced that they don't collect more than is necessary": User-Controlled Data Minimization Design in Search Engines ...

Usenix Security 24 A Linear - Detailed Analysis & Overview

SoK: All You Need to Know About On-Device ML Model Extraction - The Gap Between Research and Practice Tushar Nayan, ... Fast and Private Inference of Deep Neural Networks by Co-designing Activation Functions Abdulrahman Diaa, Lucas Fenaux, ... "I'm not convinced that they don't collect more than is necessary": User-Controlled Data Minimization Design in Search Engines ... Finding Traceability Attacks in the Bluetooth Low Energy Specification and Its Implementations Jianliang Wu, Purdue University ... Inference of Error Specifications and Bug Detection Using Structural Similarities Nora Dossche and Bart Coppens, Ghent ... OPTISAN: Using Multiple Spatial Error Defenses to Optimize Stack Memory Protection within a Budget Rahul George, University ...

Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM Yibin Yang, Georgia Institute of Technology; ... zkCross: A Novel Architecture for Cross-Chain Privacy-Preserving Auditing Yihao Guo, Minghui Xu, Xiuzhen Cheng, and ... Holding Secrets Accountable: Auditing Privacy-Preserving Machine Learning Hidde Lycklama, ETH Zurich; Alexander Viand, Intel ... ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge Daniel Luick, John C. Kolesar, and Timos Antonopoulos, Yale ... Fast RS-IOP Multivariate Polynomial Commitments and Verifiable Secret Sharing Zongyang Zhang, Weihan Li, Yanpei Guo, and ... PURE: Payments with UWB RElay-protection Daniele Coppola, Giovanni Camurati, Claudio Anliker, Xenia Hofmeier, Patrick ...

On Bridging the Gap between Control Flow Integrity and Attestation Schemes Mahmoud Ammar, Ahmed Abdelraoof, and Silviu ... A First Physical-World Trajectory Prediction Attack via LiDAR-induced Deceptions in Autonomous Driving Yang Lou, City ...

Photo Gallery

USENIX Security '24 - A Linear Reconstruction Approach for Attribute Inference Attacks against...
USENIX Security '24 - Formalizing Soundness Proofs of Linear PCP SNARKs
USENIX Security '24 - SoK: All You Need to Know About On-Device ML Model Extraction - The Gap...
USENIX Security '24 - Fast and Private Inference of Deep Neural Networks by Co-designing...
USENIX Security '24 - "I'm not convinced that they don't collect more than is necessary":...
USENIX Security '24 - Finding Traceability Attacks in the Bluetooth Low Energy Specification...
USENIX Security '24 - "What Keeps People Secure is That They Met The Security Team":...
USENIX Security '24 - Inference of Error Specifications and Bug Detection Using Structural...
USENIX Security '24 - OPTISAN: Using Multiple Spatial Error Defenses to Optimize Stack Memory...
USENIX Security '24 - Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM
USENIX Security '24 - zkCross: A Novel Architecture for Cross-Chain Privacy-Preserving Auditing
USENIX Security '24 - Holding Secrets Accountable: Auditing Privacy-Preserving Machine Learning
Sponsored
Sponsored
View Detailed Profile
USENIX Security '24 - A Linear Reconstruction Approach for Attribute Inference Attacks against...

USENIX Security '24 - A Linear Reconstruction Approach for Attribute Inference Attacks against...

A

USENIX Security '24 - Formalizing Soundness Proofs of Linear PCP SNARKs

USENIX Security '24 - Formalizing Soundness Proofs of Linear PCP SNARKs

Formalizing Soundness Proofs of

Sponsored
USENIX Security '24 - SoK: All You Need to Know About On-Device ML Model Extraction - The Gap...

USENIX Security '24 - SoK: All You Need to Know About On-Device ML Model Extraction - The Gap...

SoK: All You Need to Know About On-Device ML Model Extraction - The Gap Between Research and Practice Tushar Nayan, ...

USENIX Security '24 - Fast and Private Inference of Deep Neural Networks by Co-designing...

USENIX Security '24 - Fast and Private Inference of Deep Neural Networks by Co-designing...

Fast and Private Inference of Deep Neural Networks by Co-designing Activation Functions Abdulrahman Diaa, Lucas Fenaux, ...

USENIX Security '24 - "I'm not convinced that they don't collect more than is necessary":...

USENIX Security '24 - "I'm not convinced that they don't collect more than is necessary":...

"I'm not convinced that they don't collect more than is necessary": User-Controlled Data Minimization Design in Search Engines ...

Sponsored
USENIX Security '24 - Finding Traceability Attacks in the Bluetooth Low Energy Specification...

USENIX Security '24 - Finding Traceability Attacks in the Bluetooth Low Energy Specification...

Finding Traceability Attacks in the Bluetooth Low Energy Specification and Its Implementations Jianliang Wu, Purdue University ...

USENIX Security '24 - "What Keeps People Secure is That They Met The Security Team":...

USENIX Security '24 - "What Keeps People Secure is That They Met The Security Team":...

"What Keeps People

USENIX Security '24 - Inference of Error Specifications and Bug Detection Using Structural...

USENIX Security '24 - Inference of Error Specifications and Bug Detection Using Structural...

Inference of Error Specifications and Bug Detection Using Structural Similarities Nora Dossche and Bart Coppens, Ghent ...

USENIX Security '24 - OPTISAN: Using Multiple Spatial Error Defenses to Optimize Stack Memory...

USENIX Security '24 - OPTISAN: Using Multiple Spatial Error Defenses to Optimize Stack Memory...

OPTISAN: Using Multiple Spatial Error Defenses to Optimize Stack Memory Protection within a Budget Rahul George, University ...

USENIX Security '24 - Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM

USENIX Security '24 - Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM

Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM Yibin Yang, Georgia Institute of Technology; ...

USENIX Security '24 - zkCross: A Novel Architecture for Cross-Chain Privacy-Preserving Auditing

USENIX Security '24 - zkCross: A Novel Architecture for Cross-Chain Privacy-Preserving Auditing

zkCross: A Novel Architecture for Cross-Chain Privacy-Preserving Auditing Yihao Guo, Minghui Xu, Xiuzhen Cheng, and ...

USENIX Security '24 - Holding Secrets Accountable: Auditing Privacy-Preserving Machine Learning

USENIX Security '24 - Holding Secrets Accountable: Auditing Privacy-Preserving Machine Learning

Holding Secrets Accountable: Auditing Privacy-Preserving Machine Learning Hidde Lycklama, ETH Zurich; Alexander Viand, Intel ...

USENIX Security '24 - ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge

USENIX Security '24 - ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge

ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge Daniel Luick, John C. Kolesar, and Timos Antonopoulos, Yale ...

USENIX Security '24 - Scalable Zero-knowledge Proofs for Non-linear Functions in Machine Learning

USENIX Security '24 - Scalable Zero-knowledge Proofs for Non-linear Functions in Machine Learning

Scalable Zero-knowledge Proofs for Non-

USENIX Security '24 - SoK: Security of Programmable Logic Controllers

USENIX Security '24 - SoK: Security of Programmable Logic Controllers

SoK:

USENIX Security '24 - Fast RS-IOP Multivariate Polynomial Commitments and Verifiable Secret Sharing

USENIX Security '24 - Fast RS-IOP Multivariate Polynomial Commitments and Verifiable Secret Sharing

Fast RS-IOP Multivariate Polynomial Commitments and Verifiable Secret Sharing Zongyang Zhang, Weihan Li, Yanpei Guo, and ...

USENIX Security '24 - PURE: Payments with UWB RElay-protectio

USENIX Security '24 - PURE: Payments with UWB RElay-protectio

PURE: Payments with UWB RElay-protection Daniele Coppola, Giovanni Camurati, Claudio Anliker, Xenia Hofmeier, Patrick ...

USENIX Security '24 - On Bridging the Gap between Control Flow Integrity and Attestation Schemes

USENIX Security '24 - On Bridging the Gap between Control Flow Integrity and Attestation Schemes

On Bridging the Gap between Control Flow Integrity and Attestation Schemes Mahmoud Ammar, Ahmed Abdelraoof, and Silviu ...

USENIX Security '24 - A First Physical-World Trajectory Prediction Attack via LiDAR-induced...

USENIX Security '24 - A First Physical-World Trajectory Prediction Attack via LiDAR-induced...

A First Physical-World Trajectory Prediction Attack via LiDAR-induced Deceptions in Autonomous Driving Yang Lou, City ...

Related Video Content

USENIX Home information

USENIX is a nonprofit organization, dedicated to supporting the advanced computing systems communities and furthering...

USENIX Security '26 information

The USENIX Security Symposium brings together researchers, practitioners, system programmers, and others interested...

USENIX - Wikipedia information

USENIX is an American 501 (c) (3) nonprofit membership organization based in Berkeley, California and founded in 1975...

Proceedings of the 2025 USENIX Conference on Usenix Annual … information

USENIX ATC '25: 2025 USENIX Conference on Usenix Annual Technical Conference Boston MA USA July 7 - 9, 2025

USENIX - YouTube information

Thanks to all of those who come together from the range of communities at USENIX today, it continues to be a place...