Search talks

IEEE SP · 2025ieee-symposium-on-security-and-privacy

"Adversarial Examples" for Proof-of-Learning

IEEE SP · 2025ieee-symposium-on-security-and-privacy

"Desperate Times Call for Desperate Measures": User Concerns with Mobile Loan Apps in Kenya

Mobile Loan Apps in Kenya

IEEE SP · 2025ieee-symposium-on-security-and-privacy

"Many-out-of-Many" Proofs and Applications to Anonymous Zether

IEEE SP · 2025ieee-symposium-on-security-and-privacy

[WOOT2021] Adventures in Video Conferencing

IEEE SP · 2025ieee-symposium-on-security-and-privacy

[WOOT2021] BadUSB-C: Revisiting BadUSB with Type-C

IEEE SP · 2025ieee-symposium-on-security-and-privacy

14 TuDoor Xiang Li

IEEE SP · 2025ieee-symposium-on-security-and-privacy

2016: The Year of LangSec Bugs?

IEEE SP · 2025ieee-symposium-on-security-and-privacy

A Decentralized and Encrypted National Gun Registry

IEEE SP · 2025ieee-symposium-on-security-and-privacy

A First Look at Zoombombing

IEEE SP · 2025ieee-symposium-on-security-and-privacy

A Tale of Two Studies: The Best and Worst of YubiKey Usability

IEEE SP · 2025ieee-symposium-on-security-and-privacy

A Theory to Instruct Differentially-Private Learning via Clipping Bias Reduction

IEEE SP · 2025ieee-symposium-on-security-and-privacy

A2L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs

IEEE SP · 2025ieee-symposium-on-security-and-privacy

AdGraph: A Graph-Based Approach to Ad and Tracker Blocking

IEEE SP · 2025ieee-symposium-on-security-and-privacy

ADI: Adversarial Dominating Inputs in Vertical Federated Learning Systems

IEEE SP · 2025ieee-symposium-on-security-and-privacy

Algorithmic Transparency via Quantitative Input Influence ...

IEEE SP · 2025ieee-symposium-on-security-and-privacy

An I/O Separation Model for Formal Verification of Kernel Implementations

IEEE SP · 2025ieee-symposium-on-security-and-privacy

An Interactive Prover for Protocol Verification in the Computational Model

IEEE SP · 2025ieee-symposium-on-security-and-privacy

Analyzing Ground-Truth Data of Mobile Gambling Scam

IEEE SP · 2025ieee-symposium-on-security-and-privacy

Asm2Vec: Boosting Static Representation Robustness for Binary Clone Search...

IEEE SP · 2025ieee-symposium-on-security-and-privacy

Augury: Using Data Memory-Dependent Prefetchers to Leak Data at Rest

IEEE SP · 2025ieee-symposium-on-security-and-privacy

Bitcoin vs. Bitcoin Cash: Coexistence or Downfall of Bitcoin Cash

IEEE SP · 2025ieee-symposium-on-security-and-privacy

Blind Certificate Authorities

IEEE SP · 2025ieee-symposium-on-security-and-privacy

Blue Note: How Intentional Acoustic Interference Damages Availablity and Integrity -

IEEE SP · 2025ieee-symposium-on-security-and-privacy

Breaking the Specification: Certified PDF