Content Analysis: General-Purpose f-DP Estimation and
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
USENIX Security '23 - Rethinking System Audit Architectures for High Event Coverage and...
USENIX Security
USENIX Security '23 - ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active...
USENIX Security
USENIX Security '23 - PROVIDENCE: a Flexible Round-by-Round Risk-Limiting Audit
USENIX Security
USENIX Security '23 - Tight Auditing of Differentially Private Machine Learning
USENIX Security
USENIX Security '23 - FACE-AUDITOR: Data Auditing in Facial Recognition Systems
USENIX Security
USENIX Security '25 - General-Purpose f-DP Estimation and Auditing in a Black-Box Setting
General-Purpose f-DP Estimation and
USENIX Security '24 - Holding Secrets Accountable: Auditing Privacy-Preserving Machine Learning
Holding Secrets Accountable:
USENIX Security '23 - A comprehensive, formal and automated analysis of the EDHOC protocol
USENIX Security
USENIX Security '23 - Automated Cookie Notice Analysis and Enforcement
USENIX Security
USENIX Security '23 - How to Cover up Anomalous Accesses to Electronic Health Records
USENIX Security
USENIX Security '23 - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security...
USENIX Security