Search talks

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

"If HTTPS Were Secure I wouldn't Need 2FA" End User and Administrator Mental Models of HTTPS

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

[WOOT2021] Evaluation of the Executional Power in Windows using Return Oriented Programming

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

[WOOT2021] Sensor Security

Title: Sensor Security

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 Generic Approach to Automatic Deobfuscation of Executable Code

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 Novel Dynamic Analysis Infrastructure to Instrument Untrusted Execution Flow Across User-Kernel...

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 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

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

A Secure and Formally Verified Linux KVM Hypervisor

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

A Security Analysis of the Facebook Ad Library

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

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer

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

A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs

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

A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP

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

A Tale of Sea and Sky: On the Security of Maritime VSAT Communications

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

A2: Analog Malicious Hardware

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

Adversarial Prefetch: New Cross-Core Cache Side Channel Attacks

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

An Experimental Security Analysis of an Industrial Robot Controller

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

An Extensive Formal Security Analysis of the OpenID Financial grade API Pedram Hosseyni

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

Another Flip in the Wall of Rowhammer Defenses

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

Arbitrary Modulation of Electromagnetic Noise from Unprivileged Software Impacting Emission Security

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

Are We Susceptible to Rowhammer? An End-to-End Methodology for Cloud Providers

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

Attack Directories, Not Caches: Side Channel Attacks in a Non Inclusive World