Search

Search accepted papers from top security venues — filter by venue and year, search titles, and star the ones worth keeping.

PublicationAny Publication
YearAny Year
Paper
1IEEE S&P2026Bridge: High-Order Taint Vulnerabilities Detection in Linux-based IoT Firmware
2IEEE S&P2026Camveil: Unveiling Security Camera Vulnerabilities through Multi-Protocol Coordinated Fuzzing
3IEEE S&P2026Agentic Concolic Execution
4IEEE S&P2026Concretely-Efficient Multi-Key Homomorphic Secret Sharing and Applications
5IEEE S&P2026"I Wonder if These Warnings Are Accurate": Security and Privacy Advice in Nine Majority World Countries
6IEEE S&P2026Practical Multi-party Private Set Intersection with Reducible Zero-sharing
7IEEE S&P2026Leafblower: a Leakage Attack Against TEE-Based Encrypted Databases
8IEEE S&P2026Mechanized Safety and Liveness Proofs for the Mysticeti Consensus Protocol under the LiDO-DAG Framework
9IEEE S&P2026C-Verifier: Understanding and Formally Verifying Cross-Service Flaws in AWS Cognito
10IEEE S&P2026SmuFuzz: Enable Deep System Management Mode Fuzzing in Fully Featured UEFI Runtime Environment
11IEEE S&P2026Audience Injection Attacks: A New Class of Attacks on Web-Based Authorization and Authentication Standards
12IEEE S&P2026The Threat Landscape of IP Leasing in the RPKI Era
13IEEE S&P2026Fine-Grained Kernel Auditing using Augmented Syscall Reference Behavior Analysis and Virtualized Selective Tracing
14IEEE S&P2026Privacy Perspectives and Practices of Chinese Smart Home Product Teams
15IEEE S&P2026Defeating Transient Execution Attacks by Limiting Secret Reachability through Register Hiding and ShadowCFI
Preview: 30 most recent, loading the full list…