Media Summary: "What do you want from theory alone?" Experimenting with Tight

Usenix Security 23 Auditing Frameworks - Detailed Analysis & Overview

"What do you want from theory alone?" Experimenting with Tight

Photo Gallery

USENIX Security '23 - Auditing Frameworks Need Resource Isolation: A Systematic Study on the...
USENIX Security '23 - Auditing Framework APIs via Inferred App-side Security Specifications
USENIX Security '23 - Rethinking System Audit Architectures for High Event Coverage and...
USENIX Security '23 - PROVIDENCE: a Flexible Round-by-Round Risk-Limiting Audit
USENIX Security '23 - ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active...
USENIX Security '23 - Tight Auditing of Differentially Private Machine Learning
USENIX Security '23 - A comprehensive, formal and automated analysis of the EDHOC protocol
USENIX Security '23 - ​​How Library IT Staff Navigate Privacy and Security Challenges and...
USENIX Security '23 - How to Cover up Anomalous Accesses to Electronic Health Records
USENIX Security '23 - Abuse Vectors: A Framework for Conceptualizing IoT-Enabled Interpersonal Abuse
USENIX Security '23 - FACE-AUDITOR: Data Auditing in Facial Recognition Systems
USENIX Security '24 - Holding Secrets Accountable: Auditing Privacy-Preserving Machine Learning
View Detailed Profile
USENIX Security '23 - Auditing Frameworks Need Resource Isolation: A Systematic Study on the...

USENIX Security '23 - Auditing Frameworks Need Resource Isolation: A Systematic Study on the...

USENIX Security

USENIX Security '23 - Auditing Framework APIs via Inferred App-side Security Specifications

USENIX Security '23 - Auditing Framework APIs via Inferred App-side Security Specifications

USENIX Security

USENIX Security '23 - Rethinking System Audit Architectures for High Event Coverage and...

USENIX Security '23 - Rethinking System Audit Architectures for High Event Coverage and...

USENIX Security

USENIX Security '23 - PROVIDENCE: a Flexible Round-by-Round Risk-Limiting Audit

USENIX Security '23 - PROVIDENCE: a Flexible Round-by-Round Risk-Limiting Audit

USENIX Security

USENIX Security '23 - ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active...

USENIX Security '23 - ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active...

USENIX Security

USENIX Security '23 - Tight Auditing of Differentially Private Machine Learning

USENIX Security '23 - Tight Auditing of Differentially Private Machine Learning

USENIX Security

USENIX Security '23 - A comprehensive, formal and automated analysis of the EDHOC protocol

USENIX Security '23 - A comprehensive, formal and automated analysis of the EDHOC protocol

USENIX Security

USENIX Security '23 - ​​How Library IT Staff Navigate Privacy and Security Challenges and...

USENIX Security '23 - ​​How Library IT Staff Navigate Privacy and Security Challenges and...

USENIX Security

USENIX Security '23 - How to Cover up Anomalous Accesses to Electronic Health Records

USENIX Security '23 - How to Cover up Anomalous Accesses to Electronic Health Records

USENIX Security

USENIX Security '23 - Abuse Vectors: A Framework for Conceptualizing IoT-Enabled Interpersonal Abuse

USENIX Security '23 - Abuse Vectors: A Framework for Conceptualizing IoT-Enabled Interpersonal Abuse

USENIX Security

USENIX Security '23 - FACE-AUDITOR: Data Auditing in Facial Recognition Systems

USENIX Security '23 - FACE-AUDITOR: Data Auditing in Facial Recognition Systems

USENIX Security

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:

USENIX Security '24 - "What do you want from theory alone?" Experimenting with Tight Auditing of...

USENIX Security '24 - "What do you want from theory alone?" Experimenting with Tight Auditing of...

"What do you want from theory alone?" Experimenting with Tight