Search talks

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

3rd Deep Learning and Security Workshop Part II

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

3rd Deep Learning and Security Workshop Part III

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

3rd Deep Learning and Security Workshop Part IV

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

A Comparative Usability Study of FIDO2 Passwordless Authentication

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

A Decentralized and Encrypted National Gun Registry

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

A Deep Learning Approach to Fast, Format-agnostic Detection of Malicious Web Content

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

A First Look at Zoombombing

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

A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification

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

A Formal Treatment of Accountable Proxying over TLS

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

A Framework for Universally Composable Diffie-Hellman Key Exchange

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

A fuzzing and protocol analysis case-study of DNP3

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

A Generic Approach to Automatic Deobfuscation of Executable Code

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

A Generic, Efficient, and Effortless Solver with Self-Supervised Learning for Breaking Text Captchas

GeeSolver: A Generic

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

A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols

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

A Lustrum of Malware Network Communication: Evolution and Insights

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

A Machine Learning Approach to Prevent Malicious Calls Over Telephony Networks

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

A Messy State of the Union: Taming the Composite State Machines of TLS

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

A Method for Verifying Privacy-Type Properties: The Unbounded Case

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

A Novel Dynamic Analysis Infrastructure to Instrument Untrusted Execution Flow Across User-Kernel...

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

A Posteriori Taint-tracking for Demonstrating Non-interference in Expressive Low-level Languages

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

A Practical Oblivious Map Data Structure with Secure Deletion and History Independence

Secure Deletion · History Independence

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

A Programming Framework for Differential Privacy with Accuracy Concentration Bounds

Accuracy Concentration Bounds

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

A Real-World Hardware Trojan Detection Case Study Across Four Modern CMOS Technology Generations

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

A Secret-Free Hypervisor: Rethinking Isolation in the Age of Speculative Vulnerabilities