Non-evaluated artifacts

Artifacts automatically discovered by ArtiFinder that were not submitted to formal artifact evaluation. If you notice a mistake in the automatically extracted links or want to manually validate correct entries (marked with a ✓ in the dataset), please submit a pull request!

In addition to these links, we also cross-checked the URLs submitted for artifact evaluation with those extracted from the papers. When there is a mismatch, the URL reported in the paper is listed on the artifact evaluation outcome page under “Link in paper”. These can often point to project websites or actively maintained repositories instead of archived versions or expired temporary URLs.

ACSAC (110)

2025 (19) · 2024 (14) · 2023 (6) · 2022 (10) · 2021 (23) · 2020 (12) · 2019 (12) · 2018 (8) · 2017 (6)

ACSAC 2025 (19)

Paper	Artifact
AGNOMIN - Architecture Agnostic Multi-Label Function Name Prediction.	Discovered artifact	?
WAFFLED: Exploiting Parsing Discrepancies to Bypass Web Application Firewalls.	Discovered artifact	?
R+R: Revisiting Static Feature-Based Android Malware Detection Using Machine Learning.	Discovered artifact	?
Clouseau: A Hierarchical Multi-Agent Approach for Autonomous Attack Investigation.	Discovered artifact	?
TeTRIS: General-purpose Fuzzing for Translation Bugs in Source-to-Source Code Transpilers.	Discovered artifact	?
Big Broker is Tracking You! A Privacy Assessment of Large-Scale Location Trace Datasets.	Discovered artifact	?
Fooling Machine's Eyes: Unicode Modifier Letter Evasion Attack.	Discovered artifact	?
ProxyPrints: From Database Breach to Spoof, A Plug-and-Play Defense for Biometric Systems.	Discovered artifact	?
Fix it - If you Can! Towards Understanding the Impact of Tool Support and Domain Owners' Reactions to SSHFP Misconfigurations.	Discovered artifact	?
MOEVIL: Poisoning Experts to Compromise the Safety of Mixture-of-Experts LLMs.	Discovered artifact	?
Fuzzing Acceleration for Memory Safety Bug Discovery with Slicer.	Discovered artifact	?
Gravity of the Situation: Security Analysis on Rocket.Chat E2EE.	Discovered artifact	?
REx86: A Local Large Language Model for Assisting in x86 Assembly Reverse Engineering.	Discovered artifact	?
Splash: Adversarial Defense with Short Perturbation Blocks Against Adversarial Training Aided Website Fingerprinting.	Discovered artifact	?
DROIDCCT: Cryptographic Compliance Test via Trillion-Scale Measurement.	Discovered artifact	?
VMIGEN: Utilizing Virtual Machine Introspection for Fuzzing Complex Closed-Source Targets.	Discovered artifact	?
R+R: From Claims to Crashes: A Systematic Re-evaluation of Graph-Based Network Intrusion Detection Systems.	Discovered artifact	?
PIM-ORAM: Towards Oblivious RAM Primitives in Commodity Processing-In-Memory.	Discovered artifact	?
R+R: Anonymous Authentication and Key Agreement, Revisited.	Discovered artifact	?

ACSAC 2024 (14)

Paper	Artifact
Exploring Inherent Backdoors in Deep Learning Models.	Discovered artifact	?
Rust for Linux: Understanding the Security Impact of Rust in the Linux Kernel.	Discovered artifact	?
Eunomia: A Real-time Privacy Compliance Firewall for Alexa Skills.	Discovered artifact	?
SECURE: Benchmarking Large Language Models for Cybersecurity.	Discovered artifact	?
Lightweight Secure Aggregation for Personalized Federated Learning with Backdoor Resistance.	Discovered artifact	?
Hypervisor Dissociative Execution: Programming Guests for Monitoring, Management, and Security.	Discovered artifact	?
TILE: Input Structure Optimization for Neural Networks to Accelerate Secure Inference.	Discovered artifact	?
Securing PUFs via a Predictive Adversarial Machine Learning System by Modeling of Attackers.	Discovered artifact	?
Leaky Autofill: An Empirical Study on the Privacy Threat of Password Managers' Autofill Functionality.	Discovered artifact	?
Ready or Not, Here I Come: Characterizing the Security of Prematurely-public Web Applications.	Discovered artifact	?
I'll Be There for You! Perpetual Availability in the A8 MVX System.	Discovered artifact	?
Madeline: Continuous and Low-cost Monitoring with Graph-free Representations to Combat Cyber Threats.	Discovered artifact	?
DEEPCAPA: Identifying Malicious Capabilities in Windows Malware.	Discovered artifact	?
Assessing the Silent Frontlines: Exploring the Impact of DDoS Hacktivism in the Russo-Ukrainian War.	Discovered artifact	?

ACSAC 2023 (6)

Paper	Artifact
Can Large Language Models Provide Security & Privacy Advice? Measuring the Ability of LLMs to Refute Misconceptions.	Discovered artifact	?
FS3: Few-Shot and Self-Supervised Framework for Efficient Intrusion Detection in Internet of Things Networks.	Discovered artifact	?
OAuth 2.0 Redirect URI Validation Falls Short, Literally.	Discovered artifact	?
SealClub: Computer-aided Paper Document Authentication.	Discovered artifact	?
Unleashing IoT Security: Assessing the Effectiveness of Best Practices in Protecting Against Threats.	Discovered artifact	?
A First Look at Toxicity Injection Attacks on Open-domain Chatbots.	Discovered artifact	?

ACSAC 2022 (10)

Paper	Artifact
Boosting Neural Networks to Decompile Optimized Binaries.	Discovered artifact	?
FAuST: Striking a Bargain between Forensic Auditing's Security and Throughput.	Discovered artifact	?
Accept All Exploits: Exploring the Security Impact of Cookie Banners.	Discovered artifact	?
DRAGON: Deep Reinforcement Learning for Autonomous Grid Operation and Attack Detection.	Discovered artifact	?
Interaction matters: a comprehensive analysis and a dataset of hybrid IoT/OT honeypots.	Discovered artifact	?
One Fuzz Doesn't Fit All: Optimizing Directed Fuzzing via Target-tailored Program State Restriction.	Discovered artifact	?
Towards Practical Application-level Support for Privilege Separation.	Discovered artifact	?
MADDC: Multi-Scale Anomaly Detection, Diagnosis and Correction for Discrete Event Logs.	Discovered artifact	?
Towards Enhanced EEG-based Authentication with Motor Imagery Brain-Computer Interface.	Discovered artifact	?
NeuGuard: Lightweight Neuron-Guided Defense against Membership Inference Attacks.	Discovered artifact	?

ACSAC 2021 (23)

Paper	Artifact
Practical Attestation for Edge Devices Running Compute Heavy Machine Learning Applications.	Discovered artifact	?
Morphence: Moving Target Defense Against Adversarial Examples.	Discovered artifact	?
Is Visualization Enough? Evaluating the Efficacy of MUD-Visualizer in Enabling Ease of Deployment for Manufacturer Usage Description (MUD).	Discovered artifact	?
Towards Practical Post-quantum Signatures for Resource-Limited Internet of Things.	Discovered artifact	?
ICS3Fuzzer: A Framework for Discovering Protocol Implementation Bugs in ICS Supervisory Software by Fuzzing.	Discovered artifact	?
A formal analysis of IKEv2's post-quantum extension.	Discovered artifact	?
Efficient, Private and Robust Federated Learning.	Discovered artifact	?
Dicos: Discovering Insecure Code Snippets from Stack Overflow Posts by Leveraging User Discussions.	Discovered artifact	?
Characterizing Improper Input Validation Vulnerabilities of Mobile Crowdsourcing Services.	Discovered artifact	?
They See Me Rollin': Inherent Vulnerability of the Rolling Shutter in CMOS Image Sensors.	Discovered artifact	?
A Look Back on a Function Identification Problem.	Discovered artifact	?
Can We Leverage Predictive Uncertainty to Detect Dataset Shift and Adversarial Examples in Android Malware Detection?	Discovered artifact	?
Global Feature Analysis and Comparative Evaluation of Freestyle In-Air-Handwriting Passcode for User Authentication.	Discovered artifact	?
Westworld: Fuzzing-Assisted Remote Dynamic Symbolic Execution of Smart Apps on IoT Cloud Platforms.	Discovered artifact	?
VASA: Vector AES Instructions for Security Applications.	Discovered artifact	?
OPay: an Orientation-based Contactless Payment Solution Against Passive Attacks.	Discovered artifact	?
The Emperor's New Autofill Framework: A Security Analysis of Autofill on iOS and Android.	Discovered artifact	?
Keeping Safe Rust Safe with Galeed.	Discovered artifact	?
SODA: A System for Cyber Deception Orchestration and Automation.	Discovered artifact	?
What's in a Cyber Threat Intelligence sharing platform?: A mixed-methods user experience investigation of MISP.	Discovered artifact	?
The Many-faced God: Attacking Face Verification System with Embedding and Image Recovery.	Discovered artifact	?
ARID: Anonymous Remote IDentification of Unmanned Aerial Vehicles.	Discovered artifact	?
MineHunter: A Practical Cryptomining Traffic Detection Algorithm Based on Time Series Tracking.	Discovered artifact	?

ACSAC 2020 (12)

Paper	Artifact
Set It and Forget It! Turnkey ECC for Instant Integration.	Discovered artifact	?
Device-agnostic Firmware Execution is Possible: A Concolic Execution Approach for Peripheral Emulation.	Discovered artifact	?
The Tangled Genealogy of IoT Malware.	Discovered artifact	?
FirmAE: Towards Large-Scale Emulation of IoT Firmware for Dynamic Analysis.	Discovered artifact	?
Effect of Security Controls on Patching Window: A Causal Inference based Approach.	Discovered artifact	?
CAPS: Smoothly Transitioning to a More Resilient Web PKI.	Discovered artifact	?
ρFEM: Efficient Backward-edge Protection Using Reversed Forward-edge Mappings.	Discovered artifact	?
Probabilistic Naming of Functions in Stripped Binaries.	Discovered artifact	?
NoiseScope: Detecting Deepfake Images in a Blind Setting.	Discovered artifact	?
Workflow Integration Alleviates Identity and Access Management in Serverless Computing.	Discovered artifact	?
Imperio: Robust Over-the-Air Adversarial Examples for Automatic Speech Recognition Systems.	Discovered artifact	?
GuardSpark++: Fine-Grained Purpose-Aware Access Control for Secure Data Sharing and Analysis in Spark.	Discovered artifact	?

ACSAC 2019 (12)

Paper	Artifact
Improving intrusion detectors by crook-sourcing.	Discovered artifact	?
SIMPLE: single-frame based physical layer identification for intrusion detection and prevention on in-vehicle networks.	Discovered artifact	?
Opening Pandora's box through ATFuzzer: dynamic analysis of AT interface for Android smartphones.	Discovered artifact	?
EIGER: automated IOC generation for accurate and interpretable endpoint malware detection.	Discovered artifact	?
How to prove your model belongs to you: a blind-watermark based framework to protect intellectual property of DNN.	Discovered artifact	?
Analyzing control flow integrity with LLVM-CFI.	Discovered artifact	?
How to kill symbolic deobfuscation for free (or: unleashing the potential of path-oriented protections).	Discovered artifact	?
AppVeto: mobile application self-defense through resource access veto.	Discovered artifact	?
VPS: excavating high-level C++ constructs from low-level binaries to protect dynamic dispatching.	Discovered artifact	?
Systematic comparison of symbolic execution systems: intermediate representation and its generation.	Discovered artifact	?
Will you trust this TLS certificate?: perceptions of people working in IT.	Discovered artifact	?
Whisper: a unilateral defense against VoIP traffic re-identification attacks.	Discovered artifact	?

ACSAC 2018 (8)

Paper	Artifact
Raising the Bar: Evaluating Origin-wide Security Manifests.	Discovered artifact	?
There's a Hole in that Bucket!: A Large-scale Analysis of Misconfigured S3 Buckets.	Discovered artifact	?
Now You See Me: Real-time Dynamic Function Call Detection.	Discovered artifact	?
Using Loops For Malware Classification Resilient to Feature-unaware Perturbations.	Discovered artifact	?
On The Systematic Development and Evaluation Of Password Security Awareness-Raising Materials.	Discovered artifact	?
Latent Typing Biometrics in Online Collaboration Services.	Discovered artifact	?
Mapping to Bits: Efficiently Detecting Type Confusion Errors.	Discovered artifact	?
A Multi-tab Website Fingerprinting Attack.	Discovered artifact	?

ACSAC 2017 (6)

Paper	Artifact
Exploitation and Mitigation of Authentication Schemes Based on Device-Public Information.	Discovered artifact	?
SecureDroid: Enhancing Security of Machine Learning-based Detection against Adversarial Android Malware Attacks.	Discovered artifact	?
Orpheus: Enforcing Cyber-Physical Execution Semantics to Defend Against Data-Oriented Attacks.	Discovered artifact	?
Objective Metrics and Gradient Descent Algorithms for Adversarial Examples in Machine Learning.	Discovered artifact	?
HoloPair: Securing Shared Augmented Reality Using Microsoft HoloLens.	Discovered artifact	?
Ex-Ray: Detection of History-Leaking Browser Extensions.	Discovered artifact	?

ACM CCS (1132)

2025 (211) · 2024 (200) · 2023 (145) · 2022 (123) · 2021 (100) · 2020 (57) · 2019 (64) · 2018 (53) · 2017 (46) · 2016 (33) · 2015 (26) · 2014 (19) · 2013 (14) · 2012 (7) · 2011 (4) · 2010 (4) · 2009 (2) · 2008 (5) · 2007 (6) · 2006 (4) · 2005 (2) · 2004 (2) · 2003 (1) · 2002 (2) · 2001 (2)

ACM CCS 2025 (211)

Paper	Artifact
Finding SSH Strict Key Exchange Violations by State Learning.	Discovered artifact	?
Anonymity Unveiled: A Practical Framework for Auditing Data Use in Deep Learning Models.	Discovered artifact	?
Denial of Sequencing Attacks in Ethereum Layer 2 Rollups.	Discovered artifact	?
Swallow: A Transfer-Robust Website Fingerprinting Attack via Consistent Feature Learning.	Discovered artifact	?
Mosformer: Maliciously Secure Three-Party Inference Framework for Large Transformers.	Discovered artifact	?
GPU Travelling: Efficient Confidential Collaborative Training with TEE-Enabled GPUs.	Discovered artifact	?
Systematic Assessment of Tabular Data Synthesis.	Discovered artifact	?
Safeguarding Graph Neural Networks against Topology Inference Attacks.	Discovered artifact	?
Pixnapping: Bringing Pixel Stealing out of the Stone Age.	Discovered artifact	?
Deep Dive into In-app Browsers: Uncovering Hidden Pitfalls in Certificate Validation.	Discovered artifact	?
DPImageBench: A Unified Benchmark for Differentially Private Image Synthesis.	Discovered artifact	?
TensorShield: Safeguarding On-Device Inference by Shielding Critical DNN Tensors with TEE.	Discovered artifact	?
SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution.	Discovered artifact	?
GhostCache: Timer- and Counter-Free Cache Attacks Exploiting Weak Coherence on RISC-V and ARM Chips.	Discovered artifact	?
ForeDroid: Scenario-Aware Analysis for Android Malware Detection and Explanation.	Discovered artifact	?
5G-RNAKA : A Random Number-based Authentication and Key Agreement Protocol for 5G Systems.	Discovered artifact	?
Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs.	Discovered artifact	?
Deep Learning from Imperfectly Labeled Malware Data.	Discovered artifact	?
OCR-APT: Reconstructing APT Stories from Audit Logs using Subgraph Anomaly Detection and LLMs.	Discovered artifact	?
MegaBlocks: Breaking the Logarithmic I/O-Overhead Barrier for Oblivious RAM.	Discovered artifact	?
Augmenting Search-based Program Synthesis with Local Inference Rules to Improve Black-box Deobfuscation.	Discovered artifact	?
Byte by Byte: Unmasking Browser Fingerprinting at the Function Level using V8 Bytecode Transformers.	Discovered artifact	?
Velox: Scalable Fair Asynchronous MPC from Lightweight Cryptography.	Discovered artifact	?
Formally Verified Correctness Bounds for Lattice-Based Cryptography.	Discovered artifact	?
Empirical Security Analysis of Software-based Fault Isolation through Controlled Fault Injection.	Discovered artifact	?
Mechanizing Privacy by Design.	Discovered artifact	?
On the Security of SSH Client Signatures.	Discovered artifact	?
PIIxel Leaks: Passive Identification of Personally Identifiable Information Leakage through Meta Pixel.	Discovered artifact	?
GASLITEing the Retrieval: Exploring Vulnerabilities in Dense Embedding-based Search.	Discovered artifact	?
Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust.	Discovered artifact	?
Protocol-Aware Firmware Rehosting for Effective Fuzzing of Embedded Network Stacks.	Discovered artifact	?
Can IOCs Impose Cost? The Effects of Publishing Threat Intelligence on Adversary Behavior.	Discovered artifact	?
Parcel Mismatch Demystified: Addressing a Decade-Old Security Challenge in Android.	Discovered artifact	?
You Can't Steal Nothing: Mitigating Prompt Leakages in LLMs via System Vectors.	Discovered artifact	?
A Secure Sequencer and Data Availability Committee for Rollups.	Discovered artifact	?
Silent Threshold Traitor Tracing & Enhancing Mempool Privacy.	Discovered artifact	?
Towards a Formal Foundation for Blockchain ZK Rollups.	Discovered artifact	?
What's Pulling the Strings? Evaluating Integrity and Attribution in AI Training and Inference through Concept Shift.	Discovered artifact	?
Managing Correlations in Data and Privacy Demand.	Discovered artifact	?
FlippedRAG: Black-Box Opinion Manipulation Adversarial Attacks to Retrieval-Augmented Generation Models.	Discovered artifact	?
JSDEOBSBENCH: Measuring and Benchmarking LLMs for JavaScript Deobfuscation.	Discovered artifact	?
Right the Ship: Assessing the Legitimacy of Invalid Routes in RPKI.	Discovered artifact	?
SecAlign: Defending Against Prompt Injection with Preference Optimization.	Discovered artifact	?
Post-Quantum Threshold Ring Signature Applications from VOLE-in-the-Head.	Discovered artifact	?
Here Comes the AI Worm: Preventing the Propagation of Adversarial Self-Replicating Prompts Within GenAI Ecosystems.	Discovered artifact	?
SABOT: Efficient and Strongly Anonymous Bootstrapping of Communication Channels.	Discovered artifact	?
NodeShield: Runtime Enforcement of Security-Enhanced SBOMs for Node.js.	Discovered artifact	?
Trout: Two-Round Threshold ECDSA from Class Groups.	Discovered artifact	?
Efficient Fuzzy PSI Based on Prefix Representation.	Discovered artifact	?
An Empirical Study Measuring In-The-Wild Cryptographic Microarchitectural Side-Channel Patches.	Discovered artifact	?
OEDIPUS: LLM-enchanced Reasoning CAPTCHA Solver.	Discovered artifact	?
Multi-Party Private Set Operations from Predicative Zero-Sharing.	Discovered artifact	?
Security and Privacy Perceptions of Pakistani Facebook Matrimony Group Users.	Discovered artifact	?
In the DOM We Trust: Exploring the Hidden Dangers of Reading from the DOM on the Web.	Discovered artifact	?
Subversion-resilient Key-exchange in the Post-quantum World.	Discovered artifact	?
BLACKOUT: Data-Oblivious Computation with Blinded Capabilities.	Discovered artifact	?
DivTrackee versus DynTracker: Promoting Diversity in Anti-Facial Recognition against Dynamic FR Strategy.	Discovered artifact	?
Probabilistic Skipping-Based Data Structures with Robust Efficiency Guarantees.	Discovered artifact	?
Secure Noise Sampling for Differentially Private Collaborative Learning.	Discovered artifact	?
Training with Only 1.0 ‰ Samples: Malicious Traffic Detection via Cross-Modality Feature Fusion.	Discovered artifact	?
Enhanced Web Application Security Through Proactive Dead Drop Resolver Remediation.	Discovered artifact	?
DCMI: A Differential Calibration Membership Inference Attack Against Retrieval-Augmented Generation.	Discovered artifact	?
PULSE: Parallel Private Set Union for Large-Scale Entities.	Discovered artifact	?
Passwords and FIDO2 Are Meant To Be Secret: A Practical Secure Authentication Channel for Web Browsers.	Discovered artifact	?
ILA: Correctness via Type Checking for Fully Homomorphic Encryption.	Discovered artifact	?
Logical Relations for Formally Verified Authenticated Data Structures.	Discovered artifact	?
Fast Amortized Bootstrapping with Small Keys and Polynomial Noise Overhead.	Discovered artifact	?
BOLT: Bandwidth-Optimized Lightning-Fast Oblivious Map powered by Secure HBM Accelerators.	Discovered artifact	?
DiveFuzz: Enhancing CPU Fuzzing via Diverse Instruction Construction.	Discovered artifact	?
PoisonSpot: Precise Spotting of Clean-Label Backdoors via Fine-Grained Training Provenance Tracking.	Discovered artifact	?
CHaRM: Checkpointed and Hashed Counters for Flexible and Efficient Rowhammer Mitigation.	Discovered artifact	?
ScannerGrouper: A Generalizable and Effective Scanning Organization Identification System Toward the Open World.	Discovered artifact	?
RVISmith: Fuzzing Compilers for RVV Intrinsics.	Discovered artifact	?
Combating Concept Drift with Explanatory Detection and Adaptation for Android Malware Classification.	Discovered artifact	?
Privacy-Preserving Runtime Verification.	Discovered artifact	?
Quantifying Security Training in Organizations Through the Analysis of U.S. SEC 10-K Filings.	Discovered artifact	?
Fuzzing Processing Pipelines for Zero-Knowledge Circuits.	Discovered artifact	?
How to Design Secure Honey Vault Schemes.	Discovered artifact	?
AgentSentinel: An End-to-End and Real-Time Security Defense Framework for Computer-Use Agents.	Discovered artifact	?
Attestable Builds: Compiling Verifiable Binaries on Untrusted Systems using Trusted Execution Environments.	Discovered artifact	?
Practical Zero-Knowledge PIOP for Maliciously Secure Multiparty Homomorphic Encryption.	Discovered artifact	?
Practical TFHE Ciphertext Sanitization for Oblivious Circuit Evaluation.	Discovered artifact	?
Adversarial Observations in Weather Forecasting.	Discovered artifact	?
Intent-aware Fuzzing for Android Hardened Application.	Discovered artifact	?
KZH-Fold: Accountable Voting from Sublinear Accumulation.	Discovered artifact	?
Can Personal Health Information Be Secured in LLM? Privacy Attack and Defense in the Medical Domain.	Discovered artifact	?
PickleBall: Secure Deserialization of Pickle-based Machine Learning Models.	Discovered artifact	?
CROSS-X: Generalized and Stable Cross-Cache Attack on the Linux Kernel.	Discovered artifact	?
Demo: Stopping Production Testing: A Graphical RPKI Test-Suite.	Discovered artifact	?
Forward to Hell? On the Potentials of Misusing Transparent DNS Forwarders in Reflective Amplification Attacks.	Discovered artifact	?
Conflicting Scores, Confusing Signals: An Empirical Study of Vulnerability Scoring Systems.	Discovered artifact	?
MileSan: Detecting Exploitable Microarchitectural Leakage via Differential Hardware-Software Taint Tracking.	Discovered artifact	?
Sleeping Giants - Activating Dormant Java Deserialization Gadget Chains through Stealthy Code Changes.	Discovered artifact	?
mUOV: Masking the Unbalanced Oil and Vinegar Digital Signature Scheme at First- and Higher-Order.	Discovered artifact	?
On Hyperparameters and Backdoor-Resistance in Horizontal Federated Learning.	Discovered artifact	?
Removal Attack and Defense on AI Generated Content Latent-based Watermarking.	Discovered artifact	?
A Practical and Secure Byzantine Robust Aggregator.	Discovered artifact	?
FLEXEMU: Towards Flexible MCU Peripheral Emulation.	Discovered artifact	?
Accountable Liveness.	Discovered artifact	?
Adversarially Robust Assembly Language Model for Packed Executables Detection.	Discovered artifact	?
Panther: Private Approximate Nearest Neighbor Search in the Single Server Setting.	Discovered artifact	?
Mitigating Data Poisoning Attacks to Local Differential Privacy.	Discovered artifact	?
Differentiation-Based Extraction of Proprietary Data from Fine-Tuned LLMs.	Discovered artifact	?
ZVDetector: State-Guided Vulnerability Detection System for Zigbee Devices.	Discovered artifact	?
Looping for Good: Cyclic Proofs for Security Protocols.	Discovered artifact	?
Analyzing PDFs like Binaries: Adversarially Robust PDF Malware Analysis via Intermediate Representation and Language Model.	Discovered artifact	?
Rethinking Machine Unlearning in Image Generation Models.	Discovered artifact	?
PROME FUZZ: A Knowledge-Driven Approach to Fuzzing Harness Generation with Large Language Models.	Discovered artifact	?
PANDA: Rethinking Metric Differential Privacy Optimization at Scale with Anchor-Based Approximation.	Discovered artifact	?
Prototype Surgery: Tailoring Neural Prototypes via Soft Labels for Efficient Machine Unlearning.	Discovered artifact	?
CUKEM: A Concise and Unified Hybrid Key Encapsulation Mechanism.	Discovered artifact	?
Asymmetry Vulnerability and Physical Attacks on Online Map Construction for Autonomous Driving.	Discovered artifact	?
RAG-WM: An Efficient Black-Box Watermarking Approach for Retrieval-Augmented Generation of Large Language Models.	Discovered artifact	?
Threshold ECDSA in Two Rounds.	Discovered artifact	?
Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement.	Discovered artifact	?
New Permutation Decomposition Techniques for Efficient Homomorphic Permutation.	Discovered artifact	?
We just did not have that on the embedded system: Insights and Challenges for Securing Microcontroller Systems from the Embedded CTF Competitions.	Discovered artifact	?
ControlLoc: Physical-World Hijacking Attack on Camera-based Perception in Autonomous Driving.	Discovered artifact	?
Busting the Paper Ballot: Voting Meets Adversarial Machine Learning.	Discovered artifact	?
The OCH Authenticated Encryption Scheme.	Discovered artifact	?
Deprivileging Low-Level GPU Drivers Efficiently with User-Space Processes and CHERI Compartments.	Discovered artifact	?
Mining in Logarithmic Space with Variable Difficulty.	Discovered artifact	?
THOR: Secure Transformer Inference with Homomorphic Encryption.	Discovered artifact	?
WHISPER TEST: A Voice-Control-based Library for iOS UI Automation.	Discovered artifact	?
Forking the RANDAO: Manipulating Ethereum's Distributed Randomness Beacon.	Discovered artifact	?
Riddle Me This! Stealthy Membership Inference for Retrieval-Augmented Generation.	Discovered artifact	?
Evaluating the Robustness of a Production Malware Detection System to Transferable Adversarial Attacks.	Discovered artifact	?
It Should Be Easy but... New Users'Experiences and Challenges with Secret Management Tools.	Discovered artifact	?
Peekaboo, I See Your Queries: Passive Attacks Against DSSE Via Intermittent Observations.	Discovered artifact	?
Exploiting the Shared Storage API.	Discovered artifact	?
Hidden in Plain Bytes: Investigating Interpersonal Account Compromise with Data Exports.	Discovered artifact	?
Revisiting Keyed-Verification Anonymous Credentials.	Discovered artifact	?
PipID: Light-Pupillary Response Based User Authentication for Virtual Reality.	Discovered artifact	?
On Frontrunning Risks in Batch-Order Fair Systems for Blockchains.	Discovered artifact	?
Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router.	Discovered artifact	?
Demo: Reverse Engineering Android Apps with Code Coverage.	Discovered artifact	?
Distance-Aware OT with Application to Fuzzy PSI.	Discovered artifact	?
A System Framework to Symbolically Explore Intel TDX Module Execution.	Discovered artifact	?
Differentially Private Access in Encrypted Search: Achieving Privacy at a Small Cost?	Discovered artifact	?
SafeGuider: Robust and Practical Content Safety Control for Text-to-Image Models.	Discovered artifact	?
Training Robust Classifiers for Classifying Encrypted Traffic under Dynamic Network Conditions.	Discovered artifact	?
UnsafeBench: Benchmarking Image Safety Classifiers on Real-World and AI-Generated Images.	Discovered artifact	?
Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE.	Discovered artifact	?
Ethics in Computer Security Research: A Data-Driven Assessment of the Past, the Present, and the Possible Future.	Discovered artifact	?
Exact Robustness Certification of k-Nearest Neighbors.	Discovered artifact	?
Head(er)s Up! Detecting Security Header Inconsistencies in Browsers.	Discovered artifact	?
Zero-Knowledge AI Inference with High Precision.	Discovered artifact	?
Bitcoin Under Volatile Block Rewards: How Mempool Statistics Can Influence Bitcoin Mining.	Discovered artifact	?
WANILLA: Sound Noninterference Analysis for WebAssembly.	Discovered artifact	?
Leaky Apps: Large-scale Analysis of Secrets Distributed in Android and iOS Apps.	Discovered artifact	?
Combating Falsification of Speech Videos with Live Optical Signatures.	Discovered artifact	?
Nebula: Efficient, Private and Accurate Histogram Estimation.	Discovered artifact	?
Optimistic, Signature-Free Reliable Broadcast and Its Applications.	Discovered artifact	?
Validating Interior Gateway Routing Protocols via Equivalent Topology Synthesis.	Discovered artifact	?
Fuzzy Extractors are Practical: Cryptographic Strength Key Derivation from the Iris.	Discovered artifact	?
Digital Safety for Children with Intellectual Disabilities When Using Mobile Devices from Parents' and Teachers' Perspectives.	Discovered artifact	?
Virtual Reality, Real Problems: A Longitudinal Security Analysis of VR Firmware.	Discovered artifact	?
What Gets Measured Gets Managed: Mitigating Supply Chain Attacks with a Link Integrity Management System.	Discovered artifact	?
CITesting: Systematic Testing of Context Integrity Violations in LTE Core Networks.	Discovered artifact	?
Securing Cryptographic Software via Typed Assembly Language.	Discovered artifact	?
Generalized Security-Preserving Refinement for Concurrent Systems.	Discovered artifact	?
Committee Selection with Non-Proportional Weights.	Discovered artifact	?
TEMPEST-LoRa: Cross-Technology Covert Communication.	Discovered artifact	?
Generic Anonymity Wrapper for Messaging Protocols.	Discovered artifact	?
RISC OVER: Automatic Discovery of User-exploitable Architectural Security Vulnerabilities in Closed-Source RISC-V CPUs.	Discovered artifact	?
EXFILSTATE: Automated Discovery of Timer-Free Cache Side Channels on ARM CPUs.	Discovered artifact	?
Error Messages to Fuzzing: Detecting XPS Parsing Vulnerabilities in Windows Printing Components.	Discovered artifact	?
BFId: Identity Inference Attacks Utilizing Beamforming Feedback Information.	Discovered artifact	?
Phishing Susceptibility and the (In-)Effectiveness of Common Anti-Phishing Interventions in a Large University Hospital.	Discovered artifact	?
Styled to Steal: The Overlooked Attack Surface in Email Clients.	Discovered artifact	?
Breaking and Fixing Content-Defined Chunking.	Discovered artifact	?
Refined TFHE Leveled Homomorphic Evaluation and Its Application.	Discovered artifact	?
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors.	Discovered artifact	?
DISA: Accurate Learning-based Static Disassembly with Attentions.	Discovered artifact	?
Membership Inference Attacks as Privacy Tools: Reliability, Disparity and Ensemble.	Discovered artifact	?
SlicedPIR: Offloading Heavyweight Work with NTT.	Discovered artifact	?
Walking The Last Mile: Studying Decompiler Output Correction in Practice.	Discovered artifact	?
On the Feasibility of Poisoning Text-to-Image AI Models via Adversarial Mislabeling.	Discovered artifact	?
Layered, Overlapping, and Inconsistent: A Large-Scale Analysis of the Multiple Privacy Policies and Controls of U.S. Banks.	Discovered artifact	?
One-Sided Bounded Noise: Theory, Optimization Algorithms and Applications.	Discovered artifact	?
Beyond Tag Collision: Cluster-based Memory Management for Tag-based Sanitizers.	Discovered artifact	?
GAPDiS: Gradient-Assisted Perturbation Design via Sequence Editing for Website Fingerprinting Defense.	Discovered artifact	?
Discovering and Exploiting IoT Device Hidden Attributes: A New Vulnerability in Smart Homes.	Discovered artifact	?
Towards Backdoor Stealthiness in Model Parameter Space.	Discovered artifact	?
One Surrogate to Fool Them All: Universal, Transferable, and Targeted Adversarial Attacks with CLIP.	Discovered artifact	?
Lock the Door But Keep the Window Open: Extracting App-Protected Accessibility Information from Browser-Rendered Websites.	Discovered artifact	?
Fingerprinting Deep Packet Inspection Devices by their Ambiguities.	Discovered artifact	?
MM4flow: A Pre-trained Multi-modal Model for Versatile Network Traffic Analysis.	Discovered artifact	?
Dangers Behind Access Control: Understanding and Exploiting Implicit Permissions in Kubernetes.	Discovered artifact	?
PLRV-O: Advancing Differentially Private Deep Learning via Privacy Loss Random Variable Optimization.	Discovered artifact	?
ImportSnare: Directed Code Manual Hijacking in Retrieval-Augmented Code Generation.	Discovered artifact	?
AD-MPC: Asynchronous Dynamic MPC with Guaranteed Output Delivery.	Discovered artifact	?
Securing Mixed Rust with Hardware Capabilities.	Discovered artifact	?
What Lurks Within? Concept Auditing for Shared Diffusion Models at Scale.	Discovered artifact	?
Posterior Security: Anonymity and Message Hiding of Standard Signatures.	Discovered artifact	?
A Decade-long Landscape of Advanced Persistent Threats: Longitudinal Analysis and Global Trends.	Discovered artifact	?
Same Script, Different Behavior: Characterizing Divergent JavaScript Execution Across Different Device Platforms.	Discovered artifact	?
Poisoning Attacks to Local Differential Privacy for Ranking Estimation.	Discovered artifact	?
Don't Look Up: There Are Sensitive Internal Links in the Clear on GEO Satellites.	Discovered artifact	?
Harnessing Vital Sign Vibration Harmonics for Effortless and Inbuilt XR User Authentication.	Discovered artifact	?
Be Aware of What You Let Pass: Demystifying URL-based Authentication Bypass Vulnerability in Java Web Applications.	Discovered artifact	?
Reviving Discarded Vulnerabilities: Exploiting Previously Unexploitable Linux Kernel Bugs Through Control Metadata Fields.	Discovered artifact	?
Demo: Exploring Utility and Attackability Trade-offs in Local Differential Privacy.	Discovered artifact	?
Phalanx: An FHE-Friendly SNARK for Verifiable Computation on Encrypted Data.	Discovered artifact	?
Rethinking Tamper-Evident Logging: A High-Performance, Co-Designed Auditing System.	Discovered artifact	?
Hardening Deep Neural Network Binaries against Reverse Engineering Attacks.	Discovered artifact	?
Dynamic Vulnerability Patching for Heterogeneous Embedded Systems Using Stack Frame Reconstruction.	Discovered artifact	?
QV-net: Decentralized Self-Tallying Quadratic Voting with Maximal Ballot Secrecy.	Discovered artifact	?
RingSG: Optimal Secure Vertex-Centric Computation for Collaborative Graph Processing.	Discovered artifact	?
Elastic Restaking Networks: United we fall, (partially) divided we stand.	Discovered artifact	?
High-Throughput Universally Composable Threshold FHE Decryption.	Discovered artifact	?

ACM CCS 2024 (200)

Paper	Artifact
FuzzCache: Optimizing Web Application Fuzzing Through Software-Based Data Cache.	Discovered artifact	?
PhySense: Defending Physically Realizable Attacks for Autonomous Systems via Consistency Reasoning.	Discovered artifact	?
Tight ZK CPU: Batched ZK Branching with Cost Proportional to Evaluated Instruction.	Discovered artifact	?
Scalable and Adaptively Secure Any-Trust Distributed Key Generation and All-hands Checkpointing.	Discovered artifact	?
Simple and Practical Amortized Sublinear Private Information Retrieval using Dummy Subsets.	Discovered artifact	?
fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup.	Discovered artifact	?
Multi-Verifier Zero-Knowledge Proofs for Any Constant Fraction of Corrupted Verifiers.	Discovered artifact	?
MGTBench: Benchmarking Machine-Generated Text Detection.	Discovered artifact	?
PLeak: Prompt Leaking Attacks against Large Language Model Applications.	Discovered artifact	?
Efficient Scalable Multi-Party Private Set Intersection(-Variants) from Bicentric Zero-Sharing.	Discovered artifact	?
ArcEDB: An Arbitrary-Precision Encrypted Database via (Amortized) Modular Homomorphic Encryption.	Discovered artifact	?
When Compiler Optimizations Meet Symbolic Execution: An Empirical Study.	Discovered artifact	?
Zero-Knowledge Proofs of Training for Deep Neural Networks.	Discovered artifact	?
Evaluations of Machine Learning Privacy Defenses are Misleading.	Discovered artifact	?
Peeking through the window: Fingerprinting Browser Extensions through Page-Visible Execution Traces and Interactions.	Discovered artifact	?
Unbundle-Rewrite-Rebundle: Runtime Detection and Rewriting of Privacy-Harming Code in JavaScript Bundles.	Discovered artifact	?
Strong Privacy-Preserving Universally Composable AKA Protocol with Seamless Handover Support for Mobile Virtual Network Operator.	Discovered artifact	?
The Privacy-Utility Trade-off in the Topics API.	Discovered artifact	?
Block Ciphers in Idealized Models: Automated Proofs and New Security Results.	Discovered artifact	?
Conditional Encryption with Applications to Secure Personalized Password Typo Correction.	Discovered artifact	?
Blocking Tracking JavaScript at the Function Granularity.	Discovered artifact	?
Precio: Private Aggregate Measurement via Oblivious Shuffling.	Discovered artifact	?
Practical Post-Quantum Signatures for Privacy.	Discovered artifact	?
SurrogatePrompt: Bypassing the Safety Filter of Text-to-Image Models via Substitution.	Discovered artifact	?
GRandLine: Adaptively Secure DKG and Randomness Beacon with (Log-)Quadratic Communication Complexity.	Discovered artifact	?
What Did Come Out of It? Analysis and Improvements of DIDComm Messaging.	Discovered artifact	?
Foundations for Cryptographic Reductions in CCSA Logics.	Discovered artifact	?
Mithridates: Auditing and Boosting Backdoor Resistance of Machine Learning Pipelines.	Discovered artifact	?
CountDown: Refcount-guided Fuzzing for Exposing Temporal Memory Errors in Linux Kernel.	Discovered artifact	?
zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials.	Discovered artifact	?
No Peer, no Cry: Network Application Fuzzing via Fault Injection.	Discovered artifact	?
Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures.	Discovered artifact	?
Derecho: Privacy Pools with Proof-Carrying Disclosures.	Discovered artifact	?
RANsacked: A Domain-Informed Approach for Fuzzing LTE and 5G RAN-Core Interfaces.	Discovered artifact	?
New Secret Keys for Enhanced Performance in (T)FHE.	Discovered artifact	?
DarthShader: Fuzzing WebGPU Shader Translators & Compilers.	Discovered artifact	?
The Illusion of Randomness: An Empirical Analysis of Address Space Layout Randomization Implementations.	Discovered artifact	?
Sui Lutris: A Blockchain Combining Broadcast and Consensus.	Discovered artifact	?
Respire: High-Rate PIR for Databases with Small Records.	Discovered artifact	?
μCFI: Formal Verification of Microarchitectural Control-flow Integrity.	Discovered artifact	?
Call Me By My Name: Simple, Practical Private Information Retrieval for Keyword Queries.	Discovered artifact	?
VERITAS: Plaintext Encoders for Practical Verifiable Homomorphic Encryption.	Discovered artifact	?
BlueSWAT: A Lightweight State-Aware Security Framework for Bluetooth Low Energy.	Discovered artifact	?
Manipulating OpenFlow Link Discovery Packet Forwarding for Topology Poisoning.	Discovered artifact	?
Unveiling the Vulnerability of Private Fine-Tuning in Split-Based Frameworks for Large Language Models: A Bidirectionally Enhanced Attack.	Discovered artifact	?
The Janus Interface: How Fine-Tuning in Large Language Models Amplifies the Privacy Risks.	Discovered artifact	?
Attacks Against the IND-CPAD Security of Exact FHE Schemes.	Discovered artifact	?
Quarantined-TreeKEM: A Continuous Group Key Agreement for MLS, Secure in Presence of Inactive Users.	Discovered artifact	?
"I Had Sort of a Sense that I Was Always Being Watched...Since I Was": Examining Interpersonal Discomfort From Continuous Location-Sharing Applications.	Discovered artifact	?
Eclipse: Preventing Speculative Memory-error Abuse with Artificial Data Dependencies.	Discovered artifact	?
Keeping Up with the KEMs: Stronger Security Notions for KEMs and Automated Analysis of KEM-based Protocols.	Discovered artifact	?
Asynchronous Consensus without Trusted Setup or Public-Key Cryptography.	Discovered artifact	?
SpecGuard: Specification Aware Recovery for Robotic Autonomous Vehicles from Physical Attacks.	Discovered artifact	?
Robust and Reliable Early-Stage Website Fingerprinting Attacks via Spatial-Temporal Distribution Analysis.	Discovered artifact	?
Understanding Implosion in Text-to-Image Generative Models.	Discovered artifact	?
Trident of Poseidon: A Generalized Approach for Detecting Deepfake Voices.	Discovered artifact	?
Scalable Equi-Join Queries over Encrypted Database.	Discovered artifact	?
Non-Transferable Anonymous Tokens by Secret Binding.	Discovered artifact	?
Secret Sharing with Snitching.	Discovered artifact	?
Uncovering Gradient Inversion Risks in Practical Language Model Training.	Discovered artifact	?
ThorPIR: Single Server PIR via Homomorphic Thorp Shuffles.	Discovered artifact	?
Byzantine-Secure Relying Party for Resilient RPKI.	Discovered artifact	?
Detecting Tunneled Flooding Traffic via Deep Semantic Analysis of Packet Length Patterns.	Discovered artifact	?
Benchmarking Secure Sampling Protocols for Differential Privacy.	Discovered artifact	?
Dual Polynomial Commitment Schemes and Applications to Commit-and-Prove SNARKs.	Discovered artifact	?
Dora: A Simple Approach to Zero-Knowledge for RAM Programs.	Discovered artifact	?
Rules Refine the Riddle: Global Explanation for Deep Learning-Based Anomaly Detection in Security Applications.	Discovered artifact	?
VisionGuard: Secure and Robust Visual Perception of Autonomous Vehicles in Practice.	Discovered artifact	?
Is Difficulty Calibration All We Need? Towards More Practical Membership Inference Attacks.	Discovered artifact	?
The Insecurity of Masked Comparisons: SCAs on ML-KEM's FO-Transform.	Discovered artifact	?
Selling Satisfaction: A Qualitative Analysis of Cybersecurity Awareness Vendors' Promises.	Discovered artifact	?
Securing Floating-Point Arithmetic for Noise Addition.	Discovered artifact	?
Certifiable Black-Box Attacks with Randomized Adversarial Examples: Breaking Defenses with Provable Confidence.	Discovered artifact	?
Spec-o-Scope: Cache Probing at Cache Speed.	Discovered artifact	?
A General Framework for Data-Use Auditing of ML Models.	Discovered artifact	?
Detecting Broken Object-Level Authorization Vulnerabilities in Database-Backed Applications.	Discovered artifact	?
SysBumps: Exploiting Speculative Execution in System Calls for Breaking KASLR in macOS for Apple Silicon.	Discovered artifact	?
HomeRun: High-efficiency Oblivious Message Retrieval, Unrestricted.	Discovered artifact	?
RISiren: Wireless Sensing System Attacks via Metasurface.	Discovered artifact	?
BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering.	Discovered artifact	?
PG: Byzantine Fault-Tolerant and Privacy-Preserving Sensor Fusion with Guaranteed Output Delivery.	Discovered artifact	?
Pulsar: Secure Steganography for Diffusion Models.	Discovered artifact	?
Blind Multisignatures for Anonymous Tokens with Decentralized Issuance.	Discovered artifact	?
Fisher Information guided Purification against Backdoor Attacks.	Discovered artifact	?
Non-interactive VSS using Class Groups and Application to DKG.	Discovered artifact	?
Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets.	Discovered artifact	?
RSA-Based Dynamic Accumulator without Hashing into Primes.	Discovered artifact	?
Nakamoto Consensus under Bounded Processing Capacity.	Discovered artifact	?
PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux.	Discovered artifact	?
The Not-So-Silent Type: Vulnerabilities in Chinese IME Keyboards' Network Security Protocols.	Discovered artifact	?
Graphiti: Secure Graph Computation Made More Scalable.	Discovered artifact	?
Fast Two-party Threshold ECDSA with Proactive Security.	Discovered artifact	?
Gramine-TDX: A Lightweight OS Kernel for Confidential VMs.	Discovered artifact	?
Specification and Verification of Strong Timing Isolation of Hardware Enclaves.	Discovered artifact	?
zkPi: Proving Lean Theorems in Zero-Knowledge.	Discovered artifact	?
Sublinear Distributed Product Checks on Replicated Secret-Shared Data over Z2k Without Ring Extensions.	Discovered artifact	?
SeqMIA: Sequential-Metric Based Membership Inference Attack.	Discovered artifact	?
CAPSID: A Private Session ID System for Small UAVs.	Discovered artifact	?
SafeEar: Content Privacy-Preserving Audio Deepfake Detection.	Discovered artifact	?
BaseMirror: Automatic Reverse Engineering of Baseband Commands from Android's Radio Interface Layer.	Discovered artifact	?
SafeGen: Mitigating Sexually Explicit Content Generation in Text-to-Image Models.	Discovered artifact	?
Are We Getting Well-informed? An In-depth Study of Runtime Privacy Notice Practice in Mobile Apps.	Discovered artifact	?
PowerPeeler: A Precise and General Dynamic Deobfuscation Method for PowerShell Scripts.	Discovered artifact	?
Smooth Sensitivity for Geo-Privacy.	Discovered artifact	?
Internet's Invisible Enemy: Detecting and Measuring Web Cache Poisoning in the Wild.	Discovered artifact	?
A First Look at Security and Privacy Risks in the RapidAPI Ecosystem.	Discovered artifact	?
uMMU: Securing Data Confidentiality with Unobservable Memory Subsystem.	Discovered artifact	?
Ents: An Efficient Three-party Training Framework for Decision Trees by Communication Optimization.	Discovered artifact	?
Cross-silo Federated Learning with Record-level Personalized Differential Privacy.	Discovered artifact	?
On the Detectability of ChatGPT Content: Benchmarking, Methodology, and Evaluation through the Lens of Academic Writing.	Discovered artifact	?
RIoTFuzzer: Companion App Assisted Remote Fuzzing for Detecting Vulnerabilities in IoT Devices.	Discovered artifact	?
Demystifying RCE Vulnerabilities in LLM-Integrated Apps.	Discovered artifact	?
PreCurious: How Innocent Pre-Trained Language Models Turn into Privacy Traps.	Discovered artifact	?
Neural Dehydration: Effective Erasure of Black-box Watermarks from DNNs with Limited Data.	Discovered artifact	?
Training Robust ML-based Raw-Binary Malware Detectors in Hours, not Months.	Discovered artifact	?
Test Suites Guided Vulnerability Validation for Node.js Applications.	Discovered artifact	?
Towards Automatic Discovery of Denial of Service Weaknesses in Blockchain Resource Models.	Discovered artifact	?
Faster FHE-Based Single-Server Private Information Retrieval.	Discovered artifact	?
TREC: APT Tactic / Technique Recognition via Few-Shot Provenance Subgraph Learning.	Discovered artifact	?
Prompt Fuzzing for Fuzz Driver Generation.	Discovered artifact	?
The LaZer Library: Lattice-Based Zero Knowledge and Succinct Proofs for Quantum-Safe Privacy.	Discovered artifact	?
Watch Out! Simple Horizontal Class Backdoor Can Trivially Evade Defense.	Discovered artifact	?
Breaching Security Keys without Root: FIDO2 Deception Attacks via Overlays exploiting Limited Display Authenticators.	Discovered artifact	?
Practical Key-Extraction Attacks in Leading MPC Wallets.	Discovered artifact	?
FABESA: Fast (and Anonymous) Attribute-Based Encryption under Standard Assumption.	Discovered artifact	?
Program Environment Fuzzing.	Discovered artifact	?
Arke: Scalable and Byzantine Fault Tolerant Privacy-Preserving Contact Discovery.	Discovered artifact	?
Safeslab: Mitigating Use-After-Free Vulnerabilities via Memory Protection Keys.	Discovered artifact	?
SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols.	Discovered artifact	?
Asynchronous Authentication.	Discovered artifact	?
Helium: Scalable MPC among Lightweight Participants and under Churn.	Discovered artifact	?
Characterizing and Mitigating Phishing Attacks at ccTLD Scale.	Discovered artifact	?
PromSec: Prompt Optimization for Secure Generation of Functional Source Code with Large Language Models (LLMs).	Discovered artifact	?
AITIA: Efficient Secure Computation of Bivariate Causal Discovery.	Discovered artifact	?
Reckle Trees: Updatable Merkle Batch Proofs with Applications.	Discovered artifact	?
Sparrow: Space-Efficient zkSNARK for Data-Parallel Circuits and Applications to Zero-Knowledge Decision Trees.	Discovered artifact	?
S-BDT: Distributed Differentially Private Boosted Decision Trees.	Discovered artifact	?
Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing.	Discovered artifact	?
OctopusTaint: Advanced Data Flow Analysis for Detecting Taint-Based Vulnerabilities in IoT/IIoT Firmware.	Discovered artifact	?
Fuzz to the Future: Uncovering Occluded Future Vulnerabilities via Robust Fuzzing.	Discovered artifact	?
PIC-BI: Practical and Intelligent Combinatorial Batch Identification for UAV assisted IoT Networks.	Discovered artifact	?
ISABELLA: Improving Structures of Attribute-Based Encryption Leveraging Linear Algebra.	Discovered artifact	?
AutoPatch: Automated Generation of Hotpatches for Real-Time Embedded Devices.	Discovered artifact	?
ZeroFake: Zero-Shot Detection of Fake Images Generated and Edited by Text-to-Image Generation Models.	Discovered artifact	?
Rust for Embedded Systems: Current State and Open Problems.	Discovered artifact	?
FOX: Coverage-guided Fuzzing as Online Stochastic Control.	Discovered artifact	?
"Do Anything Now": Characterizing and Evaluating In-The-Wild Jailbreak Prompts on Large Language Models.	Discovered artifact	?
LUNA: Quasi-Optimally Succinct Designated-Verifier Zero-Knowledge Arguments from Lattices.	Discovered artifact	?
QueryCheetah: Fast Automated Discovery of Attribute Inference Attacks Against Query-Based Systems.	Discovered artifact	?
zkLLM: Zero Knowledge Proofs for Large Language Models.	Discovered artifact	?
Samplable Anonymous Aggregation for Private Federated Data Analysis.	Discovered artifact	?
ERACAN: Defending Against an Emerging CAN Threat Model.	Discovered artifact	?
GenderCARE: A Comprehensive Framework for Assessing and Reducing Gender Bias in Large Language Models.	Discovered artifact	?
Atomic and Fair Data Exchange via Blockchain.	Discovered artifact	?
SECOMP: Formally Secure Compilation of Compartmentalized C Programs.	Discovered artifact	?
Data Poisoning Attacks to Locally Differentially Private Frequent Itemset Mining Protocols.	Discovered artifact	?
Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly.	Discovered artifact	?
Principled Microarchitectural Isolation on Cloud CPUs.	Discovered artifact	?
Practical Non-interactive Encrypted Conjunctive Search with Leakage Suppression.	Discovered artifact	?
OSmart: Whitebox Program Option Fuzzing.	Discovered artifact	?
Moderator: Moderating Text-to-Image Diffusion Models through Fine-grained Context-based Policies.	Discovered artifact	?
SeMalloc: Semantics-Informed Memory Allocator.	Discovered artifact	?
Curator Attack: When Blackbox Differential Privacy Auditing Loses Its Power.	Discovered artifact	?
ProphetFuzz: Fully Automated Prediction and Fuzzing of High-Risk Option Combinations with Only Documentation via Large Language Model.	Discovered artifact	?
GAZEploit: Remote Keystroke Inference Attack by Gaze Estimation from Avatar Views in VR/MR Devices.	Discovered artifact	?
Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network.	Discovered artifact	?
TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX.	Discovered artifact	?
Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors.	Discovered artifact	✓
Verifiable Security Policies for Distributed Systems.	Discovered artifact	?
Legilimens: Practical and Unified Content Moderation for Large Language Model Services.	Discovered artifact	?
Image-Perfect Imperfections: Safety, Bias, and Authenticity in the Shadow of Text-To-Image Model Evolution.	Discovered artifact	?
Boosting Practical Control-Flow Integrity with Complete Field Sensitivity and Origin Awareness.	Discovered artifact	?
Accurate and Efficient Recurring Vulnerability Detection for IoT Firmware.	Discovered artifact	?
ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries.	Discovered artifact	?
PhyScout: Detecting Sensor Spoofing Attacks via Spatio-temporal Consistency.	Discovered artifact	?
Fuzzing JavaScript Engines with a Graph-based IR.	Discovered artifact	?
Camel: Communication-Efficient and Maliciously Secure Federated Learning in the Shuffle Model of Differential Privacy.	Discovered artifact	?
Stealing Trust: Unraveling Blind Message Attacks in Web3 Authentication.	Discovered artifact	?
Distributed Backdoor Attacks on Federated Graph Learning and Certified Defenses.	Discovered artifact	?
SWIDE: A Semantic-aware Detection Engine for Successful Web Injection Attacks.	Discovered artifact	?
HyperTheft: Thieving Model Weights from TEE-Shielded Neural Networks via Ciphertext Side Channels.	Discovered artifact	?
VPVet: Vetting Privacy Policies of Virtual Reality Apps.	Discovered artifact	?
Inbox Invasion: Exploiting MIME Ambiguities to Evade Email Attachment Detectors.	Discovered artifact	?
BadMerging: Backdoor Attacks Against Model Merging.	Discovered artifact	?
Unbalanced Private Set Union with Reduced Computation and Communication.	Discovered artifact	?
On Understanding and Forecasting Fuzzers Performance with Static Analysis.	Discovered artifact	?
MiniCAT: Understanding and Detecting Cross-Page Request Forgery Vulnerabilities in Mini-Programs.	Discovered artifact	?
SAFARI: Speech-Associated Facial Authentication for AR/VR Settings via Robust VIbration Signatures.	Discovered artifact	?
Gopher: High-Precision and Deep-Dive Detection of Cryptographic API Misuse in the Go Ecosystem.	Discovered artifact	?
S2NeRF: Privacy-preserving Training Framework for NeRF.	Discovered artifact	?
Towards Fine-Grained Webpage Fingerprinting at Scale.	Discovered artifact	?
Compositional Verification of Composite Byzantine Protocols.	Discovered artifact	?
Program Ingredients Abstraction and Instantiation for Synthesis-based JVM Testing.	Discovered artifact	?
TabularMark: Watermarking Tabular Datasets for Machine Learning.	Discovered artifact	?
Untangling the Knot: Breaking Access Control in Home Wireless Mesh Networks.	Discovered artifact	?
Conan: Distributed Proofs of Compliance for Anonymous Data Collection.	Discovered artifact	?
LiftFuzz: Validating Binary Lifters through Context-aware Fuzzing with GPT.	Discovered artifact	?
CrossFire: Fuzzing macOS Cross-XPU Memory on Apple Silicon.	Discovered artifact	?
A Unified Membership Inference Method for Visual Self-supervised Encoder via Part-aware Capability.	Discovered artifact	?
CoGNN: Towards Secure and Efficient Collaborative Graph Learning.	Discovered artifact	?

ACM CCS 2023 (145)

Paper	Artifact
HE3DB: An Efficient and Elastic Encrypted Database Via Arithmetic-And-Logic Fully Homomorphic Encryption.	Discovered artifact	?
The Effectiveness of Security Interventions on GitHub.	Discovered artifact	?
Asymptotically Faster Multi-Key Homomorphic Encryption from Homomorphic Gadget Decomposition.	Discovered artifact	?
Realizing Flexible Broadcast Encryption: How to Broadcast to a Public-Key Directory.	Discovered artifact	?
Blink: Link Local Differential Privacy in Graph Neural Networks via Bayesian Estimation.	Discovered artifact	?
Formal Analysis of Access Control Mechanism of 5G Core Network.	Discovered artifact	?
ProvG-Searcher: A Graph Representation Learning Approach for Efficient Provenance Graph Search.	Discovered artifact	?
"We've Disabled MFA for You": An Evaluation of the Security and Usability of Multi-Factor Authentication Recovery Deployments.	Discovered artifact	?
BLUFFS: Bluetooth Forward and Future Secrecy Attacks and Defenses.	Discovered artifact	?
Shufflecake: Plausible Deniability for Multiple Hidden Filesystems on Linux.	Discovered artifact	?
Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions.	Discovered artifact	?
A Generic Methodology for the Modular Verification of Security Protocol Implementations.	Discovered artifact	?
FutORAMa: A Concretely Efficient Hierarchical Oblivious RAM.	Discovered artifact	?
Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning.	Discovered artifact	?
Realistic Website Fingerprinting By Augmenting Network Traces.	Discovered artifact	?
Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing.	Discovered artifact	?
HELiKs: HE Linear Algebra Kernels for Secure Inference.	Discovered artifact	?
Unforgeability in Stochastic Gradient Descent.	Discovered artifact	?
Scalable Multiparty Garbling.	Discovered artifact	?
FPT: A Fixed-Point Accelerator for Torus Fully Homomorphic Encryption.	Discovered artifact	?
In Search of netUnicorn: A Data-Collection Platform to Develop Generalizable ML Models for Network Security Problems.	Discovered artifact	?
ASMesh: Anonymous and Secure Messaging in Mesh Networks Using Stronger, Anonymous Double Ratchet.	Discovered artifact	?
Interactive Proofs For Differentially Private Counting.	Discovered artifact	?
Ramen: Souper Fast Three-Party Computation for RAM Programs.	Discovered artifact	?
CheckMate: Automated Game-Theoretic Security Reasoning.	Discovered artifact	?
Improved Distributed RSA Key Generation Using the Miller-Rabin Test.	Discovered artifact	?
Provably Unlinkable Smart Card-based Payments.	Discovered artifact	?
Verifiable Learning for Robust Tree Ensembles.	Discovered artifact	?
Hopper: Interpretative Fuzzing for Libraries.	Discovered artifact	?
Declassiflow: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures.	Discovered artifact	?
Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge.	Discovered artifact	?
ParBFT: Faster Asynchronous BFT Consensus with a Parallel Optimistic Path.	Discovered artifact	?
Decoding the Secrets of Machine Learning in Malware Classification: A Deep Dive into Datasets, Feature Extraction, and Model Performance.	Discovered artifact	?
Threshold Signatures from Inner Product Argument: Succinct, Weighted, and Multi-threshold.	Discovered artifact	?
NestFuzz: Enhancing Fuzzing with Comprehensive Understanding of Input Processing Logic.	Discovered artifact	?
Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge.	Discovered artifact	?
Improving Security Tasks Using Compiler Provenance Information Recovered At the Binary-Level.	Discovered artifact	?
DP-Forward: Fine-tuning and Inference on Language Models with Differential Privacy in Forward Pass.	Discovered artifact	?
FIN: Practical Signature-Free Asynchronous Common Subset in Constant Time.	Discovered artifact	?
Capacity: Cryptographically-Enforced In-Process Capabilities for Modern ARM Architectures.	Discovered artifact	?
Black Ostrich: Web Application Scanning with String Solvers.	Discovered artifact	?
Short Privacy-Preserving Proofs of Liabilities.	Discovered artifact	?
Combined Private Circuits - Combined Security Refurbished.	Discovered artifact	?
Stateful Defenses for Machine Learning Models Are Not Yet Secure Against Black-box Attacks.	Discovered artifact	?
Chipmunk: Better Synchronized Multi-Signatures from Lattices.	Discovered artifact	?
Point Cloud Analysis for ML-Based Malicious Traffic Detection: Reducing Majorities of False Positive Alarms.	Discovered artifact	?
SysXCHG: Refining Privilege with Adaptive System Call Filters.	Discovered artifact	?
Experimenting with Zero-Knowledge Proofs of Training.	Discovered artifact	?
A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries.	Discovered artifact	?
Read Between the Lines: Detecting Tracking JavaScript with Bytecode Classification.	Discovered artifact	?
Efficient Registration-Based Encryption.	Discovered artifact	?
Cybercrime Bitcoin Revenue Estimations: Quantifying the Impact of Methodology and Coverage.	Discovered artifact	?
Concurrent Composition for Interactive Differential Privacy with Adaptive Privacy-Loss Parameters.	Discovered artifact	?
You Call This Archaeology? Evaluating Web Archives for Reproducible Web Security Measurements.	Discovered artifact	?
FINER: Enhancing State-of-the-art Classifiers with Feature Attribution to Facilitate Security Analysis.	Discovered artifact	?
Good-looking but Lacking Faithfulness: Understanding Local Explanation Methods through Trend-based Testing.	Discovered artifact	?
Large Language Models for Code: Security Hardening and Adversarial Testing.	Discovered artifact	?
Efficient Query-Based Attack against ML-Based Android Malware Detection under Zero Knowledge Setting.	Discovered artifact	?
Understanding and Detecting Abused Image Hosting Modules as Malicious Services.	Discovered artifact	?
Hacksaw: Hardware-Centric Kernel Debloating via Device Inventory and Dependency Analysis.	Discovered artifact	?
Password-Stealing without Hacking: Wi-Fi Enabled Practical Keystroke Eavesdropping.	Discovered artifact	?
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts.	Discovered artifact	?
Caveat (IoT) Emptor: Towards Transparency of IoT Device Presence.	Discovered artifact	?
Evading Watermark based Detection of AI-Generated Content.	Discovered artifact	?
Transformer-based Model for Multi-tab Website Fingerprinting Attack.	Discovered artifact	?
Prediction Privacy in Distributed Multi-Exit Neural Networks: Vulnerabilities and Solutions.	Discovered artifact	?
FlexiRand: Output Private (Distributed) VRFs and Application to Blockchains.	Discovered artifact	?
Themis: Fast, Strong Order-Fairness in Byzantine Consensus.	Discovered artifact	?
AIM: Symmetric Primitive for Shorter Signatures with Stronger Security.	Discovered artifact	?
General Data Protection Runtime: Enforcing Transparent GDPR Compliance for Existing Applications.	Discovered artifact	?
MESAS: Poisoning Defense for Federated Learning Resilient against Adaptive Attackers.	Discovered artifact	?
A Thorough Evaluation of RAMBAM.	Discovered artifact	?
Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting.	Discovered artifact	?
AdCPG: Classifying JavaScript Code Property Graphs with Explanations for Ad and Tracker Blocking.	Discovered artifact	?
Put Your Memory in Order: Efficient Domain-based Memory Isolation for WASM Applications.	Discovered artifact	?
COMBINE: COMpilation and Backend-INdependent vEctorization for Multi-Party Computation.	Discovered artifact	?
PackGenome: Automatically Generating Robust YARA Rules for Accurate Malware Packer Detection.	Discovered artifact	?
Lost along the Way: Understanding and Mitigating Path-Misresolution Threats to Container Isolation.	Discovered artifact	?
Demystifying DeFi MEV Activities in Flashbots Bundle.	Discovered artifact	?
martFL: Enabling Utility-Driven Data Marketplace with a Robust and Verifiable Federated Learning Architecture.	Discovered artifact	?
How Hard is Takeover in DPoS Blockchains? Understanding the Security of Coin-based Voting Governance.	Discovered artifact	?
PyRTFuzz: Detecting Bugs in Python Runtimes via Two-Level Collaborative Fuzzing.	Discovered artifact	?
Concentrated Geo-Privacy.	Discovered artifact	?
SkillScanner: Detecting Policy-Violating Voice Applications Through Static Analysis at the Development Phase.	Discovered artifact	?
TypeSqueezer: When Static Recovery of Function Signatures for Binary Executables Meets Dynamic Analysis.	Discovered artifact	?
ADEM: An Authentic Digital EMblem.	Discovered artifact	?
DSFuzz: Detecting Deep State Bugs with Dependent State Exploration.	Discovered artifact	?
FITS: Matching Camera Fingerprints Subject to Software Noise Pollution.	Discovered artifact	?
Efficient Multiparty Probabilistic Threshold Private Set Intersection.	Discovered artifact	?
Group and Attack: Auditing Differential Privacy.	Discovered artifact	?
Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos.	Discovered artifact	?
Travelling the Hypervisor and SSD: A Tag-Based Approach Against Crypto Ransomware with Fine-Grained Data Recovery.	Discovered artifact	?
Level Up: Private Non-Interactive Decision Tree Evaluation using Levelled Homomorphic Encryption.	Discovered artifact	?
Your Battery Is a Blast! Safeguarding Against Counterfeit Batteries with Authentication.	Discovered artifact	?
Compact Frequency Estimators in Adversarial Environments.	Discovered artifact	?
Tainted Secure Multi-Execution to Restrict Attacker Influence.	Discovered artifact	?
Greybox Fuzzing of Distributed Systems.	Discovered artifact	?
Speranza: Usable, Privacy-friendly Software Signing.	Discovered artifact	?
A Good Fishman Knows All the Angles: A Critical Evaluation of Google's Phishing Page Classifier.	Discovered artifact	?
CookieGraph: Understanding and Detecting First-Party Tracking Cookies.	Discovered artifact	?
Stealing the Decoding Algorithms of Language Models.	Discovered artifact	?
CryptoBap: A Binary Analysis Platform for Cryptographic Protocols.	Discovered artifact	?
Recovering Fingerprints from In-Display Fingerprint Sensors via Electromagnetic Side Channel.	Discovered artifact	?
"Get in Researchers; We're Measuring Reproducibility": A Reproducibility Study of Machine Learning Papers in Tier 1 Security Conferences.	Discovered artifact	?
Do Users Write More Insecure Code with AI Assistants?	Discovered artifact	?
ACABELLA: Automated (Crypt)analysis of Attribute-Based Encryption Leveraging Linear Algebra.	Discovered artifact	?
KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis.	Discovered artifact	?
Vulnerability Intelligence Alignment via Masked Graph Attention Networks.	Discovered artifact	?
Unsafe Diffusion: On the Generation of Unsafe Images and Hateful Memes From Text-To-Image Models.	Discovered artifact	?
Jack-in-the-box: An Empirical Study of JavaScript Bundling on the Web and its Security Implications.	Discovered artifact	?
MDTD: A Multi-Domain Trojan Detector for Deep Neural Networks.	Discovered artifact	?
SysPart: Automated Temporal System Call Filtering for Binaries.	Discovered artifact	?
Waks-On/Waks-Off: Fast Oblivious Offline/Online Shuffling and Sorting with Waksman Networks.	Discovered artifact	?
FetchBench: Systematic Identification and Characterization of Proprietary Prefetchers.	Discovered artifact	?
IoTFlow: Inferring IoT Device Behavior at Scale through Static Mobile Companion App Analysis.	Discovered artifact	?
DE-FAKE: Detection and Attribution of Fake Images Generated by Text-to-Image Generation Models.	Discovered artifact	?
TrustBoost: Boosting Trust among Interoperable Blockchains.	Discovered artifact	?
Lifting Network Protocol Implementation to Precise Format Specification with Security Applications.	Discovered artifact	?
Watch This Space: Securing Satellite Communication through Resilient Transmitter Fingerprinting.	Discovered artifact	?
SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems.	Discovered artifact	?
Security Verification of Low-Trust Architectures.	Discovered artifact	?
SyzDirect: Directed Greybox Fuzzing for Linux Kernel.	Discovered artifact	?
Interchain Timestamping for Mesh Security.	Discovered artifact	?
Fast Unbalanced Private Set Union from Fully Homomorphic Encryption.	Discovered artifact	?
Riggs: Decentralized Sealed-Bid Auctions.	Discovered artifact	?
Comparse: Provably Secure Formats for Cryptographic Protocols.	Discovered artifact	?
The Locality of Memory Checking.	Discovered artifact	?
HODOR: Shrinking Attack Surface on Node.js via System Call Limitation.	Discovered artifact	?
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts.	Discovered artifact	?
Fine-Grained Data-Centric Content Protection Policy for Web Applications.	Discovered artifact	?
Secure and Timely GPU Execution in Cyber-physical Systems.	Discovered artifact	?
SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution.	Discovered artifact	?
DPMLBench: Holistic Evaluation of Differentially Private Machine Learning.	Discovered artifact	?
PolicyChecker: Analyzing the GDPR Completeness of Mobile Apps' Privacy Policies.	Discovered artifact	?
MicPro: Microphone-based Voice Privacy Protection.	Discovered artifact	?
Geometry of Sensitivity: Twice Sampling and Hybrid Clipping in Differential Privacy with Optimal Gaussian Noise and Application to Deep Learning.	Discovered artifact	?
Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers.	Discovered artifact	?
Leakage-Abuse Attacks Against Forward and Backward Private Searchable Symmetric Encryption.	Discovered artifact	?
Take Over the Whole Cluster: Attacking Kubernetes via Excessive Permissions of Third-party Applications.	Discovered artifact	?
CoCo: Efficient Browser Extension Vulnerability Detection via Coverage-guided, Concurrent Abstract Interpretation.	Discovered artifact	?
SpecVerilog: Adapting Information Flow Control for Secure Speculation.	Discovered artifact	?
RetSpill: Igniting User-Controlled Data to Burn Away Linux Kernel Protections.	Discovered artifact	?
Narcissus: A Practical Clean-Label Backdoor Attack with Limited Information.	Discovered artifact	?
TunneLs for Bootlegging: Fully Reverse-Engineering GPU TLBs for Challenging Isolation Guarantees of NVIDIA MIG.	Discovered artifact	?
Profile-guided System Optimizations for Accelerated Greybox Fuzzing.	Discovered artifact	?

ACM CCS 2022 (123)

Paper	Artifact
Private and Reliable Neural Network Inference.	Discovered artifact	?
Distributed, Private, Sparse Histograms in the Two-Server Model.	Discovered artifact	?
TurboPack: Honest Majority MPC with Constant Online Communication.	Discovered artifact	?
Reinforced Concrete: A Fast Hash Function for Verifiable Computation.	Discovered artifact	?
Bolt-Dumbo Transformer: Asynchronous Consensus As Fast As the Pipelined BFT.	Discovered artifact	?
Enhanced Membership Inference Attacks against Machine Learning Models.	Discovered artifact	?
Efficient Zero-Knowledge Proofs on Signed Data with Applications to Verifiable Computation on Data Streams.	Discovered artifact	?
QuerySnout: Automating the Discovery of Attribute Inference Attacks against Query-Based Systems.	Discovered artifact	?
Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels.	Discovered artifact	?
ENGRAFT: Enclave-guarded Raft on Byzantine Faulty Nodes.	Discovered artifact	?
Helping or Hindering?: How Browser Extensions Undermine Security.	Discovered artifact	?
Practical, Round-Optimal Lattice-Based Blind Signatures.	Discovered artifact	?
Post Quantum Noise.	Discovered artifact	?
Thora: Atomic and Privacy-Preserving Multi-Channel Updates.	Discovered artifact	?
Sleepy Channels: Bi-directional Payment Channels without Watchtowers.	Discovered artifact	?
i-TiRE: Incremental Timed-Release Encryption or How to use Timed-Release Encryption on Blockchains?	Discovered artifact	?
Membership Inference Attacks and Generalization: A Causal Perspective.	Discovered artifact	?
Tidy: Symbolic Verification of Timed Cryptographic Protocols.	Discovered artifact	?
Threshold Cryptography as a Service (in the Multiserver and YOSO Models).	Discovered artifact	?
Privacy Limitations of Interest-based Advertising on The Web: A Post-mortem Empirical Analysis of Google's FLoC.	Discovered artifact	?
JIT-Picking: Differential Fuzzing of JavaScript Engines.	Discovered artifact	?
Themis: An On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability.	Discovered artifact	?
Victory by KO: Attacking OpenPGP Using Key Overwriting.	Discovered artifact	?
Do Opt-Outs Really Opt Me Out?	Discovered artifact	?
Vizard: A Metadata-hiding Data Analytic System with End-to-End Policy Controls.	Discovered artifact	?
Succinct Zero-Knowledge Batch Proofs for Set Accumulators.	Discovered artifact	?
Widespread Underestimation of Sensitivity in Differentially Private Libraries and How to Fix It.	Discovered artifact	?
Graph Unlearning.	Discovered artifact	?
SFuzz: Slice-based Fuzzing for Real-Time Operating Systems.	Discovered artifact	?
MetaEmu: An Architecture Agnostic Rehosting Framework for Automotive Firmware.	Discovered artifact	?
HammerScope: Observing DRAM Power Consumption Using Rowhammer.	Discovered artifact	?
SortingHat: Efficient Private Decision Tree Evaluation via Homomorphic Encryption and Transciphering.	Discovered artifact	?
SSLGuard: A Watermarking Scheme for Self-supervised Learning Pre-trained Encoders.	Discovered artifact	?
VRust: Automated Vulnerability Detection for Solana Smart Contracts.	Discovered artifact	?
Fast Fully Secure Multi-Party Computation over Any Ring with Two-Thirds Honest Majority.	Discovered artifact	?
STAR: Secret Sharing for Private Threshold Aggregation Reporting.	Discovered artifact	?
Understanding Real-world Threats to Deep Learning Models in Android Apps.	Discovered artifact	?
StrongBox: A GPU TEE on Arm Endpoints.	Discovered artifact	?
On the (In)Security of Secure ROS2.	Discovered artifact	?
Second-Order Low-Randomness d + 1 Hardware Sharing of the AES.	Discovered artifact	?
Shorter Signatures Based on Tailor-Made Minimalist Symmetric-Key Crypto.	Discovered artifact	?
Exposing the Rat in the Tunnel: Using Traffic Analysis for Tor-based Malware Detection.	Discovered artifact	?
Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications.	Discovered artifact	?
When Frodo Flips: End-to-End Key Recovery on FrodoKEM via Rowhammer.	Discovered artifact	?
NFGen: Automatic Non-linear Function Evaluation Code Generator for General-purpose MPC Platforms.	Discovered artifact	?
CINI MINIS: Domain Isolation for Fault and Combined Security.	Discovered artifact	?
LibAFL: A Framework to Build Modular and Reusable Fuzzers.	Discovered artifact	?
Minotaur: Multi-Resource Blockchain Consensus.	Discovered artifact	?
Squirrel: Efficient Synchronized Multi-Signatures from Lattices.	Discovered artifact	?
Dumbo-NG: Fast Asynchronous BFT Consensus with Throughput-Oblivious Latency.	Discovered artifact	?
C2C: Fine-grained Configuration-driven System Call Filtering.	Discovered artifact	?
ATTRITION: Attacking Static Hardware Trojan Detection Techniques Using Reinforcement Learning.	Discovered artifact	?
Watch Your Back: Identifying Cybercrime Financial Relationships in Bitcoin through Back-and-Forth Exploration.	Discovered artifact	?
DangZero: Efficient Use-After-Free Detection via Direct Page Table Access.	Discovered artifact	?
Proof-of-Possession for KEM Certificates using Verifiable Generation.	Discovered artifact	?
Identifying a Training-Set Attack's Target Using Renormalized Influence Estimation.	Discovered artifact	?
On the Privacy Risks of Cell-Based NAS Architectures.	Discovered artifact	?
Kryvos: Publicly Tally-Hiding Verifiable E-Voting.	Discovered artifact	?
Selective MPC: Distributed Computation of Differentially Private Key-Value Statistics.	Discovered artifact	?
Differentially Private Triangle and 4-Cycle Counting in the Shuffle Model.	Discovered artifact	?
AI/ML for Network Security: The Emperor has no Clothes.	Discovered artifact	?
DISTINCT: Identity Theft using In-Browser Communications in Dual-Window Single Sign-On.	Discovered artifact	?
Are Attribute Inference Attacks Just Imputation?	Discovered artifact	?
Evocatio: Conjuring Bug Capabilities from a Single PoC.	Discovered artifact	?
Understanding IoT Security from a Market-Scale Perspective.	Discovered artifact	?
SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embeddings.	Discovered artifact	?
P-Verifier: Understanding and Mitigating Security Risks in Cloud-based IoT Access Policies.	Discovered artifact	?
TRACER: Signature-based Static Analysis for Detecting Recurring Vulnerabilities.	Discovered artifact	?
HyperDbg: Reinventing Hardware-Assisted Debugging.	Discovered artifact	?
DriveFuzz: Discovering Autonomous Driving Bugs through Driving Quality-Guided Fuzzing.	Discovered artifact	?
Phishing URL Detection: A Network-based Approach Robust to Evasion.	Discovered artifact	?
Low-Latency Hardware Private Circuits.	Discovered artifact	?
LPGNet: Link Private Graph Networks for Node Classification.	Discovered artifact	?
Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation Policies.	Discovered artifact	?
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing.	Discovered artifact	?
Auditing Membership Leakages of Multi-Exit Networks.	Discovered artifact	?
Collect Responsibly But Deliver Arbitrarily?: A Study on Cross-User Privacy Leakage in Mobile Apps.	Discovered artifact	?
Overo: Sharing Private Audio Recordings.	Discovered artifact	?
DirtyCred: Escalating Privilege in Linux Kernel.	Discovered artifact	?
InviCloak: An End-to-End Approach to Privacy and Performance in Web Content Distribution.	Discovered artifact	?
Membership Inference Attacks by Exploiting Loss Trajectory.	Discovered artifact	?
Order-Disorder: Imitation Adversarial Attacks for Black-box Neural Ranking Models.	Discovered artifact	?
Empirical Analysis of EIP-1559: Transaction Fees, Waiting Times, and Consensus Security.	Discovered artifact	?
Harnessing Perceptual Adversarial Patches for Crowd Counting.	Discovered artifact	?
When Evil Calls: Targeted Adversarial Voice over IP Network.	Discovered artifact	?
Matproofs: Maintainable Matrix Commitment with Efficient Aggregation.	Discovered artifact	?
Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems.	Discovered artifact	?
TChecker: Precise Static Inter-Procedural Analysis for Detecting Taint-Style Vulnerabilities in PHP Applications.	Discovered artifact	?
Frequency Estimation in the Shuffle Model with Almost a Single Message.	Discovered artifact	?
Federated Boosted Decision Trees with Differential Privacy.	Discovered artifact	?
Securing Reset Operations in NISQ Quantum Computers.	Discovered artifact	?
Physical Hijacking Attacks against Object Trackers.	Discovered artifact	?
NARRATOR: Secure and Practical State Continuity for Trusted Execution in the Cloud.	Discovered artifact	?
Discovering IoT Physical Channel Vulnerabilities.	Discovered artifact	?
Eluding Secure Aggregation in Federated Learning via Model Inconsistency.	Discovered artifact	?
Hidden in Plain Sight: Exploring Encrypted Channels in Android Apps.	Discovered artifact	?
FABEO: Fast Attribute-Based Encryption with Optimal Security.	Discovered artifact	?
ROAST: Robust Asynchronous Schnorr Threshold Signatures.	Discovered artifact	?
Fast Fully Oblivious Compaction and Shuffling.	Discovered artifact	?
FeIDo: Recoverable FIDO2 Tokens Using Electronic IDs.	Discovered artifact	?
pMPL: A Robust Multi-Party Learning Framework with a Privileged Party.	Discovered artifact	?
Bullshark: DAG BFT Protocols Made Practical.	Discovered artifact	?
Batching, Aggregation, and Zero-Knowledge Proofs in Bilinear Accumulators.	Discovered artifact	?
Zapper: Smart Contracts with Data and Identity Privacy.	Discovered artifact	?
The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning.	Discovered artifact	?
Clues in Tweets: Twitter-Guided Discovery and Analysis of SMS Spam.	Discovered artifact	?
NeVerMore: Exploiting RDMA Mistakes in NVMe-oF Storage Applications.	Discovered artifact	?
CANflict: Exploiting Peripheral Conflicts for Data-Link Layer Attacks on Automotive Networks.	Discovered artifact	?
VeRSA: Verifiable Registries with Efficient Client Audits from RSA Authenticated Dictionaries.	Discovered artifact	?
Practical Volume-Hiding Encrypted Multi-Maps with Optimal Overhead and Beyond.	Discovered artifact	?
Microwalk-CI: Practical Side-Channel Analysis for JavaScript Applications.	Discovered artifact	?
Understanding and Mitigating Remote Code Execution Vulnerabilities in Cross-platform Ecosystem.	Discovered artifact	?
zkBridge: Trustless Cross-chain Bridges Made Practical.	Discovered artifact	?
Cross Miniapp Request Forgery: Root Causes, Attacks, and Vulnerability Detection.	Discovered artifact	?
WINK: Wireless Inference of Numerical Keystrokes via Zero-Training Spatiotemporal Analysis.	Discovered artifact	?
An Extensive Study of Residential Proxies in China.	Discovered artifact	?
HeatDeCam: Detecting Hidden Spy Cameras via Thermal Emissions.	Discovered artifact	?
Caulk: Lookup Arguments in Sublinear Time.	Discovered artifact	?
PACE: Fully Parallelizable BFT from Reproposable Byzantine Agreement.	Discovered artifact	?
VOProof: Efficient zkSNARKs from Vector Oracle Compilers.	Discovered artifact	?
Uncovering Intent based Leak of Sensitive Data in Android Framework.	Discovered artifact	?
Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs.	Discovered artifact	?
What Your Firmware Tells You Is Not How You Should Emulate It: A Specification-Guided Approach for Firmware Emulation.	Discovered artifact	?

ACM CCS 2021 (100)

Paper	Artifact
Continuous Release of Data Streams under both Centralized and Local Differential Privacy.	Discovered artifact	?
Hardware Support to Improve Fuzzing Performance and Precision.	Discovered artifact	?
Differentially Private Sparse Vectors with Low Error, Optimal Space, and Fast Access.	Discovered artifact	?
DetectorGuard: Provably Securing Object Detectors against Localized Patch Hiding Attacks.	Discovered artifact	?
The Effect of Google Search on Software Security: Unobtrusive Security Interventions via Content Re-ranking.	Discovered artifact	?
CapSpeaker: Injecting Voices to Microphones via Capacitors.	Discovered artifact	?
Themis: Ambiguity-Aware Network Intrusion Detection based on Symbolic Model Comparison.	Discovered artifact	?
Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves.	Discovered artifact	?
Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head.	Discovered artifact	?
Structured Leakage and Applications to Cryptographic Constant-Time and Cost.	Discovered artifact	?
Appenzeller to Brie: Efficient Zero-Knowledge Proofs for Mixed-Mode Arithmetic and Z2k.	Discovered artifact	?
Packet Scheduling with Optional Client Privacy.	Discovered artifact	?
Fuzzy Message Detection.	Discovered artifact	?
An In-Depth Symbolic Security Analysis of the ACME Standard.	Discovered artifact	?
Side-Channel Attacks on Query-Based Data Anonymization.	Discovered artifact	?
Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization.	Discovered artifact	?
PARASITE: PAssword Recovery Attack against Srp Implementations in ThE wild.	Discovered artifact	?
Consistency Analysis of Data-Usage Purposes in Mobile Apps.	Discovered artifact	?
Efficient Linear Multiparty PSI and Extensions to Circuit/Quorum PSI.	Discovered artifact	?
When Machine Unlearning Jeopardizes Privacy.	Discovered artifact	?
Learning Security Classifiers with Verified Global Robustness Properties.	Discovered artifact	?
Indistinguishability Prevents Scheduler Side Channels in Real-Time Systems.	Discovered artifact	?
SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers.	Discovered artifact	?
Labeled PSI from Homomorphic Encryption with Reduced Computation and Communication.	Discovered artifact	?
SmashEx: Smashing SGX Enclaves Using Exceptions.	Discovered artifact	?
On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees.	Discovered artifact	?
APECS: A Distributed Access Control Framework for Pervasive Edge Computing Services.	Discovered artifact	?
AHEAD: Adaptive Hierarchical Decomposition for Range Query under Local Differential Privacy.	Discovered artifact	?
Cert-RNN: Towards Certifying the Robustness of Recurrent Neural Networks.	Discovered artifact	?
DoubleX: Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale.	Discovered artifact	?
Snipuzz: Black-box Fuzzing of IoT Firmware via Message Snippet Inference.	Discovered artifact	?
A Formally Verified Configuration for Hardware Security Modules in the Cloud.	Discovered artifact	?
CPscan: Detecting Bugs Caused by Code Pruning in IoT Kernels.	Discovered artifact	?
Realtime Robust Malicious Traffic Detection via Frequency Domain Analysis.	Discovered artifact	?
HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs.	Discovered artifact	?
Solver-Aided Constant-Time Hardware Verification.	Discovered artifact	?
DeepAID: Interpreting and Improving Deep Learning-based Anomaly Detection in Security Applications.	Discovered artifact	?
It's Not What It Looks Like: Manipulating Perceptual Hashing based Applications.	Discovered artifact	?
A Concrete Treatment of Efficient Continuous Group Key Agreement via Multi-Recipient PKEs.	Discovered artifact	?
Learning to Explore Paths for Symbolic Execution.	Discovered artifact	?
SoFi: Reflection-Augmented Fuzzing for JavaScript Engines.	Discovered artifact	?
Quantifying and Mitigating Privacy Risks of Contrastive Learning.	Discovered artifact	?
Feature-Indistinguishable Attack to Circumvent Trapdoor-Enabled Defense.	Discovered artifact	?
PPE Circuits for Rational Polynomials.	Discovered artifact	?
COINN: Crypto/ML Codesign for Oblivious Inference via Neural Networks.	Discovered artifact	?
Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Checker for 4G LTE Cellular Devices.	Discovered artifact	?
Shorter and Faster Post-Quantum Designated-Verifier zkSNARKs from Lattices.	Discovered artifact	?
VIP: Safeguard Value Invariant Property for Thwarting Critical Memory Corruption Attacks.	Discovered artifact	?
T-Reqs: HTTP Request Smuggling with Differential Fuzzing.	Discovered artifact	?
Igor: Crash Deduplication Through Root-Cause Clustering.	Discovered artifact	?
ECMO: Peripheral Transplantation to Rehost Embedded Linux Kernels.	Discovered artifact	?
Meteor: Cryptographically Secure Steganography for Realistic Distributions.	Discovered artifact	?
XSinator.com: From a Formal Model to the Automatic Evaluation of Cross-Site Leaks in Web Browsers.	Discovered artifact	?
Private Hierarchical Clustering in Federated Networks.	Discovered artifact	?
Catching Transparent Phish: Analyzing and Detecting MITM Phishing Toolkits.	Discovered artifact	?
Hidden Backdoors in Human-Centric Language Models.	Discovered artifact	?
PalmTree: Learning an Assembly Language Model for Instruction Embedding.	Discovered artifact	?
MirChecker: Detecting Bugs in Rust Programs via Static Analysis.	Discovered artifact	?
TSS: Transformation-Specific Smoothing for Robustness Certification.	Discovered artifact	?
Membership Leakage in Label-Only Exposures.	Discovered artifact	?
Detecting Missed Security Operations Through Differential Checking of Object-based Similar Paths.	Discovered artifact	?
Honest-but-Curious Nets: Sensitive Attributes of Private Inputs Can Be Secretly Coded into the Classifiers' Outputs.	Discovered artifact	?
DNS Cache Poisoning Attack: Resurrections with Side Channels.	Discovered artifact	?
Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate.	Discovered artifact	?
Same Coverage, Less Bloat: Accelerating Binary-only Fuzzing with Coverage-preserving Coverage-guided Tracing.	Discovered artifact	?
Glowworm Attack: Optical TEMPEST Sound Recovery via a Device's Power Indicator LED.	Discovered artifact	?
Simple, Fast Malicious Multiparty Private Set Intersection.	Discovered artifact	?
On the TOCTOU Problem in Remote Attestation.	Discovered artifact	?
V-Shuttle: Scalable and Semantics-Aware Hypervisor Virtual Device Fuzzing.	Discovered artifact	?
Unleashing the Tiger: Inference Attacks on Split Learning.	Discovered artifact	?
Secure Complaint-Enabled Source-Tracking for Encrypted Messaging.	Discovered artifact	?
Out of Sight, Out of Mind: Detecting Orphaned Web Pages at Internet-Scale.	Discovered artifact	?
Prime+Scope: Overcoming the Observer Effect for High-Precision Cache Contention Attacks.	Discovered artifact	?
Compact and Malicious Private Set Intersection for Small Sets.	Discovered artifact	?
12 Angry Developers - A Qualitative Study on Developers' Struggles with CSP.	Discovered artifact	?
Locally Private Graph Neural Networks.	Discovered artifact	?
Rosita++: Automatic Higher-Order Leakage Elimination from Cryptographic Code.	Discovered artifact	?
On-device IoT Certificate Revocation Checking with Small Memory and Low Latency.	Discovered artifact	?
Util: : Lookup: Exploiting Key Decoding in Cryptographic Libraries.	Discovered artifact	?
SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking.	Discovered artifact	?
Towards Transparent and Stealthy Android OS Sandboxing via Customizable Container-Based Virtualization.	Discovered artifact	?
Locating the Security Patches for Disclosed OSS Vulnerabilities with Vulnerability-Commit Correlation Ranking.	Discovered artifact	?
OpenSquare: Decentralized Repeated Modular Squaring Service.	Discovered artifact	?
Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege Reduction.	Discovered artifact	?
DPGen: Automated Program Synthesis for Differential Privacy.	Discovered artifact	?
Spinner: Automated Dynamic Command Subsystem Perturbation.	Discovered artifact	?
DataLens: Scalable Privacy Preserving Training via Gradient Compression and Aggregation.	Discovered artifact	?
Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees.	Discovered artifact	?
Ghost in the Binder: Binder Transaction Redirection Attacks in Android System Services.	Discovered artifact	?
Chunk-Level Password Guessing: Towards Modeling Refined Password Composition Representations.	Discovered artifact	?
Automated Bug Hunting With Data-Driven Symbolic Root Cause Analysis.	Discovered artifact	?
Validating the Integrity of Audit Logs Against Execution Repartitioning Attacks.	Discovered artifact	?
Morpheus: Bringing The (PKCS) One To Meet the Oracle.	Discovered artifact	?
Demons in the Shared Kernel: Abstract Resource Attacks Against OS-level Virtualization.	Discovered artifact	?
QuickSilver: Efficient and Affordable Zero-Knowledge Proofs for Circuits and Polynomials over Any Field.	Discovered artifact	?
HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators.	Discovered artifact	?
You Make Me Tremble: A First Look at Attacks Against Structural Control Systems.	Discovered artifact	?
Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels.	Discovered artifact	?
Membership Inference Attacks Against Recommender Systems.	Discovered artifact	?
Regression Greybox Fuzzing.	Discovered artifact	?

ACM CCS 2020 (57)

Paper	Artifact
Estimating g-Leakage via Machine Learning.	Discovered artifact	?
FREEDOM: Engineering a State-of-the-Art DOM Fuzzer.	Discovered artifact	?
DeepDyve: Dynamic Verification for Deep Neural Networks.	Discovered artifact	?
Lies in the Air: Characterizing Fake-base-station Spam Ecosystem in China.	Discovered artifact	?
VisualPhishNet: Zero-Day Phishing Website Detection by Visual Similarity.	Discovered artifact	?
Blinder - Scalable, Robust Anonymous Committed Broadcast.	Discovered artifact	?
Methodologies for Quantifying (Re-)randomization Security and Timing under JIT-ROP.	Discovered artifact	?
LadderLeak: Breaking ECDSA with Less than One Bit of Nonce Leakage.	Discovered artifact	?
Private Summation in the Multi-Message Shuffle Model.	Discovered artifact	?
Poking a Hole in the Wall: Efficient Censorship-Resistant Internet Communications by Parasitizing on WebRTC.	Discovered artifact	?
Analyzing Information Leakage of Updates to Natural Language Models.	Discovered artifact	?
Security Analysis and Implementation of Relay-Resistant Contactless Payments.	Discovered artifact	?
TrafficSliver: Fighting Website Fingerprinting Attacks with Traffic Splitting.	Discovered artifact	?
Impersonation-as-a-Service: Characterizing the Emerging Criminal Infrastructure for User Impersonation at Scale.	Discovered artifact	?
A Systematic Study of Elastic Objects in Kernel Exploitation.	Discovered artifact	?
Dangerous Skills Got Certified: Measuring the Trustworthiness of Skill Certification in Voice Personal Assistant Platforms.	Discovered artifact	?
Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets.	Discovered artifact	?
Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice.	Discovered artifact	?
Devil is Virtual: Reversing Virtual Inheritance in C++ Binaries.	Discovered artifact	?
Asynchronous Remote Key Generation: An Analysis of Yubico's Proposal for W3C WebAuthn.	Discovered artifact	?
Speculative Probing: Hacking Blind in the Spectre Era.	Discovered artifact	?
Pointproofs: Aggregating Proofs for Multiple Vector Commitments.	Discovered artifact	?
The Boon and Bane of Cross-Signing: Shedding Light on a Common Practice in Public Key Infrastructures.	Discovered artifact	?
Implementing the Exponential Mechanism with Base-2 Differential Privacy.	Discovered artifact	?
PDiff: Semantic-based Patch Presence Testing for Downstream Kernels.	Discovered artifact	?
Deploying Android Security Updates: an Extensive Study Involving Manufacturers, Carriers, and End Users.	Discovered artifact	?
MP-SPDZ: A Versatile Framework for Multi-Party Computation.	Discovered artifact	?
AdvPulse: Universal, Synchronization-free, and Targeted Audio Adversarial Attacks via Subsecond Perturbations.	Discovered artifact	?
Finding Cracks in Shields: On the Security of Control Flow Integrity Mechanisms.	Discovered artifact	?
Composite Backdoor Attack for Deep Neural Network by Mixing Existing Benign Features.	Discovered artifact	?
HoneyPLC: A Next-Generation Honeypot for Industrial Control Systems.	Discovered artifact	?
Demystifying Resource Management Risks in Emerging Mobile App-in-App Ecosystems.	Discovered artifact	?
RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection.	Discovered artifact	?
Practical Lattice-Based Zero-Knowledge Proofs for Integer Relations.	Discovered artifact	?
QuantumHammer: A Practical Hybrid Attack on the LUOV Signature Scheme.	Discovered artifact	?
Phantom of the ADAS: Securing Advanced Driver-Assistance Systems from Split-Second Phantom Attacks.	Discovered artifact	?
WI is Almost Enough: Contingent Payment All Over Again.	Discovered artifact	?
MuSig-DN: Schnorr Multi-Signatures with Verifiably Deterministic Nonces.	Discovered artifact	?
TRUSTORE: Side-Channel Resistant Storage for SGX using Intel Hybrid CPU-FPGA.	Discovered artifact	?
Exaggerated Error Handling Hurts! An In-Depth Study and Context-Aware Detection.	Discovered artifact	?
A Tale of Evil Twins: Adversarial Inputs versus Poisoned Models.	Discovered artifact	?
You've Changed: Detecting Malicious Browser Extensions through their Update Deltas.	Discovered artifact	?
Slimium: Debloating the Chromium Browser with Feature Subsetting.	Discovered artifact	?
Censored Planet: An Internet-wide, Longitudinal Censorship Observatory.	Discovered artifact	?
CrypTFlow2: Practical 2-Party Secure Inference.	Discovered artifact	?
CLAPS: Client-Location-Aware Path Selection in Tor.	Discovered artifact	?
Post-Quantum TLS Without Handshake Signatures.	Discovered artifact	?
A Generic Technique for Automatically Finding Defense-Aware Code Reuse Attacks.	Discovered artifact	?
Mitigation of Attacks on Email End-to-End Encryption.	Discovered artifact	?
VAHunt: Warding Off New Repackaged Android Malware in App-Virtualization's Clothing.	Discovered artifact	?
PMForce: Systematically Analyzing postMessage Handlers at Scale.	Discovered artifact	?
Verifiable Timed Signatures Made Practical.	Discovered artifact	?
CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples.	Discovered artifact	?
FirmXRay: Detecting Bluetooth Link Layer Vulnerabilities From Bare-Metal Firmware.	Discovered artifact	?
Bypassing Tor Exit Blocking with Exit Bridge Onion Services.	Discovered artifact	?
Enhancing State-of-the-art Classifiers with API Semantics to Detect Evolved Android Malware.	Discovered artifact	?
SQUIRREL: Testing Database Management Systems with Language Validity and Coverage Feedback.	Discovered artifact	?

ACM CCS 2019 (64)

Paper	Artifact
Efficient Zero-Knowledge Arguments in the Discrete Log Setting, Revisited.	Discovered artifact	?
ZombieLoad: Cross-Privilege-Boundary Data Sampling.	Discovered artifact	?
TokenScope: Automatically Detecting Inconsistent Behaviors of Cryptocurrency Tokens in Ethereum.	Discovered artifact	?
Principled Unearthing of TCP Side Channel Vulnerabilities.	Discovered artifact	?
Onion Ring ORAM: Efficient Constant Bandwidth Oblivious RAM from (Leveled) TFHE.	Discovered artifact	?
Efficient Multi-Key Homomorphic Encryption with Packed Ciphertexts with Application to Oblivious Neural Network Inference.	Discovered artifact	?
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3.	Discovered artifact	?
GALACTICS: Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited.	Discovered artifact	?
The SPHINCS+ Signature Framework.	Discovered artifact	?
SICO: Surgical Interception Attacks by Manipulating BGP Communities.	Discovered artifact	?
Peeves: Physical Event Verification in Smart Homes.	Discovered artifact	?
Updatable Anonymous Credentials and Applications to Incentive Systems.	Discovered artifact	?
Geneva: Evolving Censorship Evasion Strategies.	Discovered artifact	?
Efficient Two-Round OT Extension and Silent Non-Interactive Secure Computation.	Discovered artifact	?
Insecure Until Proven Updated: Analyzing AMD SEV's Remote Attestation.	Discovered artifact	?
A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes.	Discovered artifact	?
LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs.	Discovered artifact	?
Different is Good: Detecting the Use of Uninitialized Variables through Differential Replay.	Discovered artifact	?
Securely Sampling Biased Coins with Applications to Differential Privacy.	Discovered artifact	?
Matryoshka: Fuzzing Deeply Nested Branches.	Discovered artifact	?
SLAKE: Facilitating Slab Manipulation for Exploiting Vulnerabilities in the Linux Kernel.	Discovered artifact	?
OPERA: Open Remote Attestation for Intel's Secure Enclaves.	Discovered artifact	?
Exploiting Symmetries When Proving Equivalence Properties for Security Protocols.	Discovered artifact	?
Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing.	Discovered artifact	?
The Next 700 Policy Miners: A Universal Method for Building Policy Miners.	Discovered artifact	?
Differentially Private Nonparametric Hypothesis Testing.	Discovered artifact	?
LightBox: Full-stack Protected Stateful Middlebox at Lightning Speed.	Discovered artifact	?
28 Blinks Later: Tackling Practical Challenges of Eye Movement Biometrics.	Discovered artifact	?
A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation.	Discovered artifact	?
Conjure: Summoning Proxies from Unused Address Space.	Discovered artifact	?
Verified Verifiers for Verifying Elections.	Discovered artifact	?
User Account Access Graphs.	Discovered artifact	?
Balance: Dynamic Adjustment of Cryptocurrency Deposits.	Discovered artifact	?
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts.	Discovered artifact	?
Are These Pairing Elements Correct?: Automated Verification and Applications.	Discovered artifact	?
5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol.	Discovered artifact	?
Efficient MPC via Program Analysis: A Framework for Efficient Optimal Mixing.	Discovered artifact	?
MemGuard: Defending against Black-Box Membership Inference Attacks via Adversarial Examples.	Discovered artifact	?
Effective and Light-Weight Deobfuscation and Semantic-Aware Attack Detection for PowerShell Scripts.	Discovered artifact	?
ABS: Scanning Neural Networks for Back-doors by Artificial Brain Stimulation.	Discovered artifact	?
HyperService: Interoperability and Programmability Across Heterogeneous Blockchains.	Discovered artifact	?
HoneyBadgerMPC and AsynchroMix: Practical Asynchronous MPC and its Application to Anonymous Communication.	Discovered artifact	?
Network Hygiene, Incentives, and Regulation: Deployment of Source Address Validation in the Internet.	Discovered artifact	?
Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings.	Discovered artifact	?
Post-Collusion Security and Distance Bounding.	Discovered artifact	?
1 Trillion Dollar Refund: How To Spoof PDF Signatures.	Discovered artifact	?
Erlay: Efficient Transaction Relay for Bitcoin.	Discovered artifact	?
SAMPL: Scalable Auditability of Monitoring Processes using Public Ledgers.	Discovered artifact	?
CryptoGuard: High Precision Detection of Cryptographic Vulnerabilities in Massive-sized Java Projects.	Discovered artifact	?
Hardware-Backed Heist: Extracting ECDSA Keys from Qualcomm's TrustZone.	Discovered artifact	?
Make Some ROOM for the Zeros: Data Sparsity in Secure Distributed Machine Learning.	Discovered artifact	?
Distributed Vector-OLE: Improved Constructions and Implementation.	Discovered artifact	?
Triplet Fingerprinting: More Practical and Portable Website Fingerprinting with N-shot Learning.	Discovered artifact	?
Proof-Carrying Network Code.	Discovered artifact	?
Privacy Risks of Securing Machine Learning Models against Adversarial Examples.	Discovered artifact	?
zkay: Specifying and Enforcing Data Privacy in Smart Contracts.	Discovered artifact	?
Transparency Logs via Append-Only Authenticated Dictionaries.	Discovered artifact	?
AdVersarial: Perceptual Ad Blocking meets Adversarial Machine Learning.	Discovered artifact	?
Traceback for End-to-End Encrypted Messaging.	Discovered artifact	?
(Un)informed Consent: Studying GDPR Consent Notices in the Field.	Discovered artifact	?
Stormy: Statistics in Tor by Measuring Securely.	Discovered artifact	?
Towards Memory Safe Enclave Programming with Rust-SGX.	Discovered artifact	?
Oh, the Places You've Been! User Reactions to Longitudinal Transparency About Third-Party Web Tracking and Inferencing.	Discovered artifact	?
DeepIntent: Deep Icon-Behavior Learning for Detecting Intention-Behavior Discrepancy in Mobile Apps.	Discovered artifact	?

ACM CCS 2018 (53)

Paper	Artifact
The Web's Sixth Sense: A Study of Scripts Accessing Smartphone Sensors.	Discovered artifact	?
Tight on Budget?: Tight Bounds for r-Fold Approximate Differential Privacy.	Discovered artifact	?
Precise Android API Protection Mapping Derivation and Reasoning.	Discovered artifact	?
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.	Discovered artifact	?
Secure Search on Encrypted Data via Multi-Ring Sketch.	Discovered artifact	?
Prime and Prejudice: Primality Testing Under Adversarial Conditions.	Discovered artifact	?
Truth Will Out: Departure-Based Process-Level Detection of Stealthy Attacks on Control Systems.	Discovered artifact	?
Generalizing the SPDZ Compiler For Other Protocols.	Discovered artifact	?
An End-to-End System for Large Scale P2P MPC-as-a-Service and Low-Bandwidth MPC for Weak Participants.	Discovered artifact	?
Symbolic Proofs for Lattice-Based Cryptography.	Discovered artifact	?
BitML: A Calculus for Bitcoin Smart Contracts.	Discovered artifact	?
TACHYON: Fast Signatures from Compact Knapsack.	Discovered artifact	?
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization.	Discovered artifact	?
Domain Validation++ For MitM-Resilient PKI.	Discovered artifact	?
Nemesis: Studying Microarchitectural Timing Leaks in Rudimentary CPU Interrupt Logic.	Discovered artifact	?
HyCC: Compilation of Hybrid Protocols for Practical Secure Computation.	Discovered artifact	?
Screaming Channels: When Electromagnetic Side Channels Meet Radio Transceivers.	Discovered artifact	?
New Constructions for Forward and Backward Private Symmetric Searchable Encryption.	Discovered artifact	?
Mystique: Uncovering Information Leakage from Browser Extensions.	Discovered artifact	?
Towards Paving the Way for Large-Scale Windows Malware Analysis: Generic Binary Unpacking with Orders-of-Magnitude Performance Boost.	Discovered artifact	?
EviHunter: Identifying Digital Evidence in the Permanent Storage of Android Devices via Static Analysis.	Discovered artifact	?
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees.	Discovered artifact	?
Secure Opportunistic Multipath Key Exchange.	Discovered artifact	?
ALCHEMY: A Language and Compiler for Homomorphic Encryption Made easY.	Discovered artifact	?
Investigating System Operators' Perspective on Security Misconfigurations.	Discovered artifact	?
Detecting Violations of Differential Privacy.	Discovered artifact	?
FairSwap: How To Fairly Exchange Digital Goods.	Discovered artifact	?
Peeling the Onion's User Experience Layer: Examining Naturalistic Use of the Tor Browser.	Discovered artifact	?
Lattice-Based zk-SNARKs from Square Span Programs.	Discovered artifact	?
Debin: Predicting Debug Information in Stripped Binaries.	Discovered artifact	?
How You Get Shot in the Back: A Systematical Study about Cryptojacking in the Real World.	Discovered artifact	?
Block Oriented Programming: Automating Data-Only Attacks.	Discovered artifact	?
Privacy-Preserving Dynamic Learning of Tor Network Traffic.	Discovered artifact	?
Model-Reuse Attacks on Deep Learning Systems.	Discovered artifact	?
Secure Outsourced Matrix Computation and Application to Neural Networks.	Discovered artifact	?
Improved Non-Interactive Zero Knowledge with Applications to Post-Quantum Signatures.	Discovered artifact	?
An Exploratory Analysis of Microcode as a Building Block for System Defenses.	Discovered artifact	?
MineSweeper: An In-depth Look into Drive-by Cryptocurrency Mining and Its Defense.	Discovered artifact	?
Measuring Information Leakage in Website Fingerprinting Attacks and Defenses.	Discovered artifact	?
K-Hunt: Pinpointing Insecure Cryptographic Keys from Execution Traces.	Discovered artifact	?
ABY3: A Mixed Protocol Framework for Machine Learning.	Discovered artifact	?
DeepCorr: Strong Flow Correlation Attacks on Tor Using Deep Learning.	Discovered artifact	?
Runtime Analysis of Whole-System Provenance.	Discovered artifact	?
Faceted Secure Multi Execution.	Discovered artifact	?
Predicting Impending Exposure to Malicious Content from User Behavior.	Discovered artifact	?
Deep Fingerprinting: Undermining Website Fingerprinting Defenses with Deep Learning.	Discovered artifact	?
Practical Backward-Secure Searchable Encryption from Symmetric Puncturable Encryption.	Discovered artifact	?
Securify: Practical Security Analysis of Smart Contracts.	Discovered artifact	?
Release the Kraken: New KRACKs in the 802.11 Standard.	Discovered artifact	?
VMHunt: A Verifiable Approach to Partially-Virtualized Binary Code Simplification.	Discovered artifact	?
Yet Another Text Captcha Solver: A Generative Adversarial Network Based Approach.	Discovered artifact	?
Pinto: Enabling Video Privacy for Commodity IoT Cameras.	Discovered artifact	?
NANOPI: Extreme-Scale Actively-Secure Multi-Party Computation.	Discovered artifact	?

ACM CCS 2017 (46)

Paper	Artifact
walk2friends: Inferring Social Links from Mobility Profiles.	Discovered artifact	?
FAME: Fast Attribute-based Message Encryption.	Discovered artifact	?
Economic Factors of Vulnerability Trade and Exploitation.	Discovered artifact	?
Jasmin: High-Assurance and High-Speed Cryptography.	Discovered artifact	?
A Fast and Verified Software Stack for Secure Function Evaluation.	Discovered artifact	?
Practical Graphs for Optimal Side-Channel Resistant Memory-Hard Functions.	Discovered artifact	?
Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions.	Discovered artifact	?
Directed Greybox Fuzzing.	Discovered artifact	?
Forward and Backward Private Searchable Encryption from Constrained Cryptographic Primitives.	Discovered artifact	?
Practical UC-Secure Delegatable Credentials with Attributes and Their Application to Blockchain.	Discovered artifact	?
Deterministic Browser.	Discovered artifact	?
5Gen-C: Multi-input Functional Encryption and Program Obfuscation for Arithmetic Circuits.	Discovered artifact	?
Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives.	Discovered artifact	?
The TypTop System: Personalized Typo-Tolerant Password Checking.	Discovered artifact	?
DIFUZE: Interface Aware Fuzzing for Kernel Drivers.	Discovered artifact	?
A Comprehensive Symbolic Analysis of TLS 1.3.	Discovered artifact	?
Scaling ORAM for Secure Computation.	Discovered artifact	?
Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing.	Discovered artifact	?
Identifying Open-Source License Violation and 1-day Security Risk at Large Scale.	Discovered artifact	?
Side-Channel Attacks on BLISS Lattice-Based Signatures: Exploiting Branch Tracing against strongSwan and Electromagnetic Emanations in Microcontrollers.	Discovered artifact	?
Distributed Measurement with Private Set-Union Cardinality.	Discovered artifact	?
IRON: Functional Encryption using Intel SGX.	Discovered artifact	?
Implementing BP-Obfuscation Using Graph-Induced Encoding.	Discovered artifact	?
IMF: Inferred Model-based Fuzzer.	Discovered artifact	?
S3ORAM: A Computation-Efficient and Constant Client Bandwidth Blowup ORAM with Shamir Secret Sharing.	Discovered artifact	?
The ART of App Compartmentalization: Compiler-based Library Privilege Separation on Stock Android.	Discovered artifact	?
HexType: Efficient Detection of Type Confusion Errors for C++.	Discovered artifact	?
Revive: Rebalancing Off-Blockchain Payment Networks.	Discovered artifact	?
Practical Multi-party Private Set Intersection from Symmetric-Key Techniques.	Discovered artifact	?
DUPLO: Unifying Cut-and-Choose for Garbled Circuits.	Discovered artifact	?
Code-Reuse Attacks for the Web: Breaking Cross-Site Scripting Mitigations via Script Gadgets.	Discovered artifact	?
Rewriting History: Changing the Archived Web from the Present.	Discovered artifact	?
Oblivious Neural Network Predictions via MiniONN Transformations.	Discovered artifact	?
A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components.	Discovered artifact	?
How Unique is Your .onion?: An Analysis of the Fingerprintability of Tor Onion Services.	Discovered artifact	?
Deemon: Detecting CSRF with Dynamic Analysis and Property Graphs.	Discovered artifact	?
Malicious-Secure Private Set Intersection via Dual Execution.	Discovered artifact	?
Deterministic, Stash-Free Write-Only ORAM.	Discovered artifact	?
FreeGuard: A Faster Secure Heap Allocator.	Discovered artifact	?
Machine Learning Models that Remember Too Much.	Discovered artifact	?
Key Reinstallation Attacks: Forcing Nonce Reuse in WPA2.	Discovered artifact	?
Full Accounting for Verifiable Outsourcing.	Discovered artifact	?
Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation.	Discovered artifact	?
Global-Scale Secure Multiparty Computation.	Discovered artifact	?
Pool: Scalable On-Demand Secure Computation Service Against Malicious Adversaries.	Discovered artifact	?
HACL*: A Verified Modern Cryptographic Library.	Discovered artifact	?

ACM CCS 2016 (33)

Paper	Artifact
C-FLAT: Control-Flow Attestation for Embedded Systems Software.	Discovered artifact	?
On the Practical (In-)Security of 64-bit Block Ciphers: Collision Attacks on HTTP over TLS and OpenVPN.	Discovered artifact	?
Slitheen: Perfectly Imitated Decoy Routing through Traffic Replacement.	Discovered artifact	?
Coverage-based Greybox Fuzzing as Markov Chain.	Discovered artifact	?
Frodo: Take off the Ring! Practical, Quantum-Secure Key Exchange from LWE.	Discovered artifact	?
A Systematic Analysis of the Juniper Dual EC Incident.	Discovered artifact	?
Host of Troubles: Multiple Host Ambiguities in HTTP Implementations.	Discovered artifact	?
Λολ: Functional Lattice Cryptography.	Discovered artifact	?
Secure Stable Matching at Scale.	Discovered artifact	?
Practical Detection of Entropy Loss in Pseudo-Random Number Generators.	Discovered artifact	?
Online Tracking: A 1-million-site Measurement and Analysis.	Discovered artifact	?
A Comprehensive Formal Security Analysis of OAuth 2.0.	Discovered artifact	?
On the Security and Performance of Proof of Work Blockchains.	Discovered artifact	?
Breaking Web Applications Built On Top of Encrypted Data.	Discovered artifact	?
TypeSan: Practical Type Confusion Detection.	Discovered artifact	?
An In-Depth Study of More Than Ten Years of Java Exploitation.	Discovered artifact	?
Enforcing Least Privilege Memory Views for Multithreaded Applications.	Discovered artifact	?
Safely Measuring Tor.	Discovered artifact	?
Attribute-based Key Exchange with General Policies.	Discovered artifact	?
Efficient Batched Oblivious PRF with Applications to Private Set Intersection.	Discovered artifact	?
5Gen: A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs.	Discovered artifact	?
Order-Revealing Encryption: New Constructions, Applications, and Lower Bounds.	Discovered artifact	?
The Honey Badger of BFT Protocols.	Discovered artifact	?
POPE: Partial Order Preserving Encoding.	Discovered artifact	?
Build It, Break It, Fix It: Contesting Secure Development.	Discovered artifact	?
Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency.	Discovered artifact	?
Systematic Fuzzing and Testing of TLS Libraries.	Discovered artifact	?
ProvUSB: Block-level Provenance-Based Data Protection for USB Storage Devices.	Discovered artifact	?
Drammer: Deterministic Rowhammer Attacks on Mobile Platforms.	Discovered artifact	?
CSP Is Dead, Long Live CSP! On the Insecurity of Whitelists and the Future of Content Security Policy.	Discovered artifact	?
CREDAL: Towards Locating a Memory Corruption Vulnerability with Your Core Dump.	Discovered artifact	?
Hypnoguard: Protecting Secrets across Sleep-wake Cycles.	Discovered artifact	?
Practical Censorship Evasion Leveraging Content Delivery Networks.	Discovered artifact	?

ACM CCS 2015 (26)

Paper	Artifact
Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice.	Discovered artifact	?
Automating Fast and Secure Translations from Type-I to Type-III Pairing Schemes.	Discovered artifact	?
Automated Proofs of Pairing-Based Cryptography.	Discovered artifact	?
CoDisasm: Medium Scale Concatic Disassembly of Self-Modifying Binaries with Overlapping Instructions.	Discovered artifact	?
Automated Synthesis of Optimized Circuits for Secure Computation.	Discovered artifact	?
A Search Engine Backed by Internet-Wide Scanning.	Discovered artifact	?
SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web.	Discovered artifact	?
Clean Application Compartmentalization with SOAAP.	Discovered artifact	?
Automated Analysis and Synthesis of Authenticated Encryption Schemes.	Discovered artifact	?
CacheBrowser: Bypassing Chinese Censorship without Proxies Using Cached Content.	Discovered artifact	?
Sunlight: Fine-grained Targeting Detection at Scale with Statistical Confidence.	Discovered artifact	?
CCFI: Cryptographically Enforced Control Flow Integrity.	Discovered artifact	?
Nonoutsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions.	Discovered artifact	?
LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code.	Discovered artifact	?
Inference Attacks on Property-Preserving Encrypted Databases.	Discovered artifact	?
WebCapsule: Towards a Lightweight Forensic Engine for Web Browsers.	Discovered artifact	?
Per-Input Control-Flow Integrity.	Discovered artifact	?
Micropayments for Decentralized Currencies.	Discovered artifact	?
VCCFinder: Finding Potential Vulnerabilities in Open-Source Projects to Assist Code Audits.	Discovered artifact	?
Where's Wally?: Precise User Discovery Attacks in Location Proximity Services.	Discovered artifact	?
Privacy-Preserving Deep Learning.	Discovered artifact	?
Moat: Verifying Confidentiality of Enclave Programs.	Discovered artifact	?
Deniable Key Exchanges for Secure Messaging.	Discovered artifact	?
Practical Context-Sensitive CFI.	Discovered artifact	?
Efficient Genome-Wide, Privacy-Preserving Similar Patient Query based on Private Edit Distance.	Discovered artifact	?
IntegriDB: Verifiable SQL for Outsourced Databases.	Discovered artifact	?

ACM CCS 2014 (19)

Paper	Artifact
The Web Never Forgets: Persistent Tracking Mechanisms in the Wild.	Discovered artifact	?
ARPKI: Attack Resilient Public-Key Infrastructure.	Discovered artifact	?
Securing SSL Certificate Verification through Dynamic Linking.	Discovered artifact	?
Optimal Geo-Indistinguishable Mechanisms for Location Privacy.	Discovered artifact	?
A Systematic Approach to Developing and Evaluating Website Fingerprinting Defenses.	Discovered artifact	?
Verifying Curve25519 Software.	Discovered artifact	?
The UNIX Process Identity Crisis: A Standards-Driven Approach to Setuid.	Discovered artifact	?
PrivEx: Private Collection of Traffic Statistics for Anonymous Communication Networks.	Discovered artifact	?
Collaborative Verification of Information Flow for a High-Assurance App Store.	Discovered artifact	?
VerSum: Verifiable Computations over Large Public Logs.	Discovered artifact	?
Breaking Integrated Circuit Device Security through Test Mode Silicon Reverse Engineering.	Discovered artifact	?
A Nearly Four-Year Longitudinal Study of Search-Engine Poisoning.	Discovered artifact	?
RockJIT: Securing Just-In-Time Compilation Using Modular Control-Flow Integrity.	Discovered artifact	?
AutoCog: Measuring the Description-to-permission Fidelity in Android Applications.	Discovered artifact	?
Rosemary: A Robust, Secure, and High-performance Network Operating System.	Discovered artifact	?
Security Analysis of the Estonian Internet Voting System.	Discovered artifact	?
Fail-Secure Access Control.	Discovered artifact	?
SCORAM: Oblivious RAM for Secure Computation.	Discovered artifact	?
Amandroid: A Precise and General Inter-component Data Flow Analysis Framework for Security Vetting of Android Apps.	Discovered artifact	?

ACM CCS 2013 (14)

Paper	Artifact
FPDetective: dusting the web for fingerprinters.	Discovered artifact	?
More efficient oblivious transfer and extensions for faster secure computation.	Discovered artifact	?
Automatic verification of protocols with lists of unbounded length.	Discovered artifact	?
Control-Alt-Hack: the design and evaluation of a card game for computer security awareness and education.	Discovered artifact	?
Tappan Zee (north) bridge: mining memory accesses for introspection.	Discovered artifact	?
Protocol misidentification made easy with format-transforming encryption.	Discovered artifact	?
Rethinking SSL development in an appified world.	Discovered artifact	?
Detecting stealthy, distributed SSH brute-forcing.	Discovered artifact	?
Users get routed: traffic correlation on tor by realistic adversaries.	Discovered artifact	?
SAuth: protecting user accounts from password database leaks.	Discovered artifact	?
Low-fat pointers: compact encoding and efficient gate-level implementation of fat pointers for spatial safety and capability-based security.	Discovered artifact	?
Towards reducing the attack surface of software backdoors.	Discovered artifact	?
Scheduling black-box mutational fuzzing.	Discovered artifact	?
Chucky: exposing missing checks in source code for vulnerability discovery.	Discovered artifact	?

ACM CCS 2012 (7)

Paper	Artifact
Aligot: cryptographic function identification in obfuscated binary programs.	Discovered artifact	?
Adaptive defenses for commodity software through virtual application partitioning.	Discovered artifact	?
The most dangerous code in the world: validating SSL certificates in non-browser software.	Discovered artifact	?
FlowFox: a web browser with flexible and precise information flow control.	Discovered artifact	?
Secure two-party computations in ANSI C.	Discovered artifact	?
OTO: online trust oracle for user-centric trust establishment.	Discovered artifact	?
SkypeMorph: protocol obfuscation for Tor bridges.	Discovered artifact	?

ACM CCS 2011 (4)

Paper	Artifact
Countering GATTACA: efficient and secure testing of fully-sequenced human genomes.	Discovered artifact	?
Automated black-box detection of side-channel vulnerabilities in web applications.	Discovered artifact	?
Fear the EAR: discovering and mitigating execution after redirect vulnerabilities.	Discovered artifact	?
Automatic error finding in access-control policies.	Discovered artifact	?

ACM CCS 2010 (4)

Paper	Artifact
Platform-independent programs.	Discovered artifact	?
@spam: the underground on 140 characters or less.	Discovered artifact	?
Abstraction by set-membership: verifying security protocols and web services with databases.	Discovered artifact	?
Security analysis of India's electronic voting machines.	Discovered artifact	?

ACM CCS 2009 (2)

Paper	Artifact
Attacking cryptographic schemes based on "perturbation polynomials".	Discovered artifact	?
XCS: cross channel scripting and its impact on web applications.	Discovered artifact	?

ACM CCS 2008 (5)

Paper	Artifact
Type-checking zero-knowledge.	Discovered artifact	?
Traitor tracing with constant size ciphertext.	Discovered artifact	?
Computational soundness of observational equivalence.	Discovered artifact	?
Ether: malware analysis via hardware virtualization extensions.	Discovered artifact	?
SOMA: mutual approval for included content in web pages.	Discovered artifact	?

ACM CCS 2007 (6)

Paper	Artifact
Asirra: a CAPTCHA that exploits interest-aligned manual image categorization.	Discovered artifact	?
How much anonymity does network latency leak?	Discovered artifact	?
Protecting browsers from dns rebinding attacks.	Discovered artifact	?
Split-ballot voting: everlasting privacy with distributed trust.	Discovered artifact	?
Predicting vulnerable software components.	Discovered artifact	?
Efficient policy analysis for administrative role based access control.	Discovered artifact	?

ACM CCS 2006 (4)

Paper	Artifact
Puppetnets: misusing web browsers as a distributed attack infrastructure.	Discovered artifact	?
Inferring the source of encrypted HTTP connections.	Discovered artifact	?
Hot or not: revealing hidden services by their clock skew.	Discovered artifact	?
Secure attribute-based systems.	Discovered artifact	?

ACM CCS 2005 (2)

Paper	Artifact
Modeling insider attacks on group key-exchange protocols.	Discovered artifact	?
A framework for concrete reputation-systems with applications to history-based access control.	Discovered artifact	?

ACM CCS 2004 (2)

Paper	Artifact
Group signatures with verifier-local revocation.	Discovered artifact	?
Pong-cache poisoning in GUESS.	Discovered artifact	?

ACM CCS 2003 (1)

Paper	Artifact
PPay: micropayments for peer-to-peer systems.	Discovered artifact	?

ACM CCS 2002 (2)

Paper	Artifact
MOPS: an infrastructure for examining security properties of software.	Discovered artifact	?
Defending against redirect attacks in mobile IP.	Discovered artifact	?

ACM CCS 2001 (2)

Paper	Artifact
On the relationship between strand spaces and multi-agent systems.	Discovered artifact	?
OCB: a block-cipher mode of operation for efficient authenticated encryption.	Discovered artifact	?

NDSS (486)

2025 (98) · 2024 (65) · 2023 (63) · 2022 (44) · 2021 (49) · 2020 (41) · 2019 (38) · 2018 (29) · 2017 (16) · 2016 (13) · 2015 (7) · 2014 (10) · 2013 (1) · 2012 (5) · 2011 (1) · 2010 (2) · 2009 (2) · 2006 (2)

NDSS 2025 (98)

Paper	Artifact
AlphaDog: No-Box Camouflage Attacks via Alpha Channel Oversight	Discovered artifact	?
An Empirical Study on Fingerprint API Misuse with Lifecycle Analysis in Real-world Android Apps	Discovered artifact	?
Be Careful of What You Embed: Demystifying OLE Vulnerabilities	Discovered artifact	?
BULKHEAD: Secure, Scalable, and Efficient Kernel Compartmentalization with PKS	Discovered artifact	?
BumbleBee: Secure Two-party Inference Framework for Large Transformers	Discovered artifact	?
Careful About What App Promotion Ads Recommend! Detecting and Explaining Malware Promotion via App Promotion Graph	Discovered artifact	?
CENSOR: Defense Against Gradient Inversion via Orthogonal Subspace Bayesian Sampling	Discovered artifact	?
CLIBE: Detecting Dynamic Backdoors in Transformer-based NLP Models	Discovered artifact	?
Cross-Origin Web Attacks via HTTP/2 Server Push and Signed HTTP Exchange	Discovered artifact	?
Compiled Models, Built-In Exploits: Uncovering Pervasive Bit-Flip Attack Surfaces in DNN Executables	Discovered artifact	?
Dissecting Payload-based Transaction Phishing on Ethereum	Discovered artifact	?
Explanation as a Watermark: Towards Harmless and Multi-bit Model Ownership Verification via Watermarking Feature Attribution	Discovered artifact	?
Generating API Parameter Security Rules with LLM for API Misuse Detection	Discovered artifact	?
Horcrux: Synthesize, Split, Shift and Stay Alive; Preventing Channel Depletion via Universal and Enhanced Multi-hop Payments	Discovered artifact	?
Incorporating Gradients to Rules: Towards Lightweight, Adaptive Provenance-based Intrusion Detection	Discovered artifact	?
LeakLess: Selective Data Protection against Memory Leakage Attacks for Serverless Platforms	Discovered artifact	?
MALintent: Coverage Guided Intent Fuzzing Framework for Android	Discovered artifact	?
Magmaw: Modality-Agnostic Adversarial Attacks on Machine Learning-Based Wireless Communication Systems	Discovered artifact	?
Manifoldchain: Maximizing Blockchain Throughput via Bandwidth-Clustered Sharding	Discovered artifact	?
Mens Sana In Corpore Sano: Sound Firmware Corpora for Vulnerability Research	Discovered artifact	?
Misdirection of Trust: Demystifying the Abuse of Dedicated URL Shortening Service	Discovered artifact	?
Moneta: Ex-Vivo GPU Driver Fuzzing by Recalling In-Vivo Execution States	Discovered artifact	?
Off-Path TCP Hijacking in Wi-Fi Networks: A Packet-Size Side Channel Attack	Discovered artifact	?
On the Realism of LiDAR Spoofing Attacks against Autonomous Driving Vehicle at High Speed and Long Distance	Discovered artifact	?
Passive Inference Attacks on Split Learning via Adversarial Regularization	Discovered artifact	?
PhantomLiDAR: Cross-modality Signal Injection Attacks against LiDAR	Discovered artifact	?
RACONTEUR: A Knowledgeable, Insightful, and Portable LLM-Powered Shell Command Explainer	Discovered artifact	?
ReDAN: An Empirical Study on Remote DoS Attacks against NAT Networks	Discovered artifact	?
Reinforcement Unlearning	Discovered artifact	?
ReThink: Reveal the Threat of Electromagnetic Interference on Power Inverters	Discovered artifact	?
Revisiting EM-based Estimation for Locally Differentially Private Protocols	Discovered artifact	?
Revisiting Physical-World Adversarial Attack on Traffic Sign Recognition: A Commercial Systems Perspective	Discovered artifact	?
SCRUTINIZER: Towards Secure Forensics on Compromised TrustZone	Discovered artifact	?
Secure Transformer Inference Made Non-interactive	Discovered artifact	?
Silence False Alarms: Identifying Anti-Reentrancy Patterns on Ethereum to Refine Smart Contract Reentrancy Detection	Discovered artifact	?
The Midas Touch: Triggering the Capability of LLMs for RM-API Misuse Detection	Discovered artifact	?
The Philosopher's Stone: Trojaning Plugins of Large Language Models	Discovered artifact	?
The Skeleton Keys: A Large Scale Analysis of Credential Leakage in Mini-apps	Discovered artifact	?
Too Subtle to Notice: Investigating Executable Stack Issues in Linux Systems	Discovered artifact	?
Tweezers: A Framework for Security Event Detection via Event Attribution-centric Tweet Embedding	Discovered artifact	?
Understanding Data Importance in Machine Learning Attacks: Does Valuable Data Pose Greater Harm?	Discovered artifact	?
Understanding Miniapp Malware: Identification, Dissection, and Characterization	Discovered artifact	?
VeriBin: Adaptive Verification of Patches at the Binary Level	Discovered artifact	?
Wallbleed: A Memory Disclosure Vulnerability in the Great Firewall of China	Discovered artifact	?
"Who is Trying to Access My Account?" Exploring User Perceptions and Reactions to Risk-based Authentication Notifications	Discovered artifact	?
A Comprehensive Memory Safety Analysis of Bootloaders	Discovered artifact	?
A Formal Approach to Multi-Layered Privileges for Enclaves	Discovered artifact	?
A Multifaceted Study on the Use of TLS and Auto-detect in Email Ecosystems	Discovered artifact	?
All your (data)base are belong to us: Characterizing Database Ransom(ware) Attacks	Discovered artifact	?
Automatic Insecurity: Exploring Email Auto-configuration in the Wild	Discovered artifact	?
Automatic Library Fuzzing through API Relation Evolvement	Discovered artifact	?
BARBIE: Robust Backdoor Detection Based on Latent Separability	Discovered artifact	?
Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs	Discovered artifact	?
BinEnhance: An Enhancement Framework Based on External Environment Semantics for Binary Code Search	Discovered artifact	?
BitShield: Defending Against Bit-Flip Attacks on DNN Executables	Discovered artifact	?
Blindfold: Confidential Memory Management by Untrusted Operating System	Discovered artifact	?
CCTAG: Configurable and Combinable Tagged Architecture	Discovered artifact	?
Deanonymizing Device Identities via Side-channel Attacks in Exclusive-use IoTs & Mitigation	Discovered artifact	?
DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More	Discovered artifact	?
Distributed Function Secret Sharing and Applications	Discovered artifact	?
Do (Not) Follow the White Rabbit: Challenging the Myth of Harmless Open Redirection	Discovered artifact	?
Exploring User Perceptions of Security Auditing in the Web3 Ecosystem	Discovered artifact	?
Enhancing Security in Third-Party Library Reuse - Comprehensive Detection of 1-day Vulnerability through Code Patch Analysis	Discovered artifact	?
FUZZUER: Enabling Fuzzing of UEFI Interfaces on EDK-2	Discovered artifact	?
GadgetMeter: Quantitatively and Accurately Gauging the Exploitability of Speculative Gadgets	Discovered artifact	?
GhostShot: Manipulating the Image of CCD Cameras with Electromagnetic Interference	Discovered artifact	?
Hidden and Lost Control: on Security Design Risks in IoT User-Facing Matter Controller	Discovered artifact	?
I Know What You Asked: Prompt Leakage via KV-Cache Sharing in Multi-Tenant LLM Serving	Discovered artifact	?
ICSQuartz: Scan Cycle-Aware and Vendor-Agnostic Fuzzing for Industrial Control Systems	Discovered artifact	?
I know what you MEME! Understanding and Detecting Harmful Memes with Multimodal Large Language Models	Discovered artifact	?
Impact Tracing: Identifying the Culprit of Misinformation in Encrypted Messaging Systems	Discovered artifact	?
IsolateGPT: An Execution Isolation Architecture for LLM-Based Agentic Systems	Discovered artifact	?
L-HAWK: A Controllable Physical Adversarial Patch Against a Long-Distance Target	Discovered artifact	?
LADDER: Multi-Objective Backdoor Attack via Evolutionary Algorithm	Discovered artifact	?
LightAntenna: Characterizing the Limits of Fluorescent Lamp-Induced Electromagnetic Interference	Discovered artifact	?
Mysticeti: Reaching the Latency Limits with Uncertified DAGs	Discovered artifact	?
Non-intrusive and Unconstrained Keystroke Inference in VR Platforms via Infrared Side Channel	Discovered artifact	?
On Borrowed Time - Preventing Static Side-Channel Analysis	Discovered artifact	?
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation	Discovered artifact	?
Provably Unlearnable Data Examples	Discovered artifact	?
QMSan: Efficiently Detecting Uninitialized Memory Errors During Fuzzing	Discovered artifact	?
RContainer: A Secure Container Architecture through Extending ARM CCA Hardware Primitives	Discovered artifact	?
Repurposing Neural Networks for Efficient Cryptographic Computation	Discovered artifact	?
Retrofitting XoM for Stripped Binaries without Embedded Data Relocation	Discovered artifact	?
ScopeVerif: Analyzing the Security of Android's Scoped Storage via Differential Analysis	Discovered artifact	?
Securing BGP ASAP: ASPA and other Post-ROV Defenses	Discovered artifact	?
Sheep's Clothing, Wolf's Data: Detecting Server-Induced Client Vulnerabilities in Windows Remote IPC	Discovered artifact	?
SIGuard: Guarding Secure Inference with Post Data Privacy	Discovered artifact	?
SketchFeature: High-Quality Per-Flow Feature Extractor Towards Security-Aware Data Plane	Discovered artifact	?
Speak Up, I'm Listening: Extracting Speech from Zero-Permission VR Sensors	Discovered artifact	?
Statically Discover Cross-Entry Use-After-Free Vulnerabilities in the Linux Kernel	Discovered artifact	?
The Guardians of Name Street: Studying the Defensive Registration Practices of the Fortune 500	Discovered artifact	?
The Forking Way: When TEEs Meet Consensus	Discovered artifact	?
Truman: Constructing Device Behavior Models from OS Drivers to Fuzz Virtual Devices	Discovered artifact	?
Uncovering the iceberg from the tip: Generating API Specifications for Bug Detection via Specification Propagation Analysis	Discovered artifact	?
URVFL: Undetectable Data Reconstruction Attack on Vertical Federated Learning	Discovered artifact	?
VulShield: Protecting Vulnerable Code Before Deploying Patches	Discovered artifact	?
You Can Rand but You Can't Hide: A Holistic Security Analysis of Google Fuchsia's (and gVisor's) Network Stack	Discovered artifact	?

NDSS 2024 (65)

Paper	Artifact
BreakSPF: How Shared Infrastructures Magnify SPF Vulnerabilities Across the Internet	Discovered artifact	?
Bernoulli Honeywords	Discovered artifact	?
Crafter: Facial Feature Crafting against Inversion-based Identity Theft on Deep Models	Discovered artifact	?
CrowdGuard: Federated Backdoor Detection in Federated Learning	Discovered artifact	?
File Hijacking Vulnerability: The Elephant in the Room	Discovered artifact	?
GhostType: The Limits of Using Contactless Electromagnetic Interference to Inject Phantom Keys into Analog Circuits of Keyboards	Discovered artifact	?
IDA: Hybrid Attestation with Support for Interrupts and TOCTOU	Discovered artifact	?
Inaudible Adversarial Perturbation: Manipulating the Recognition of User Speech in Real Time	Discovered artifact	?
LDR: Secure and Efficient Linux Driver Runtime for Embedded TEE Systems	Discovered artifact	?
LiDAR Spoofing Meets the New-Gen: Capability Improvements, Broken Assumptions, and New Attack Strategies	Discovered artifact	?
LMSanitator: Defending Prompt-Tuning Against Task-Agnostic Backdoors	Discovered artifact	?
Low-Quality Training Data Only? A Robust Framework for Detecting Encrypted Malicious Network Traffic	Discovered artifact	?
MOCK: Optimizing Kernel Fuzzing Mutation with Context-aware Dependency	Discovered artifact	?
MPCDiff: Testing and Repairing MPC-Hardened Deep Learning Models	Discovered artifact	?
NODLINK: An Online System for Fine-Grained APT Attack Detection and Investigation	Discovered artifact	?
ShapFuzz: Efficient Fuzzing via Shapley-Guided Byte Selection	Discovered artifact	?
Unus pro omnibus: Multi-Client Searchable Encryption via Access Control	Discovered artifact	?
A Duty to Forget, a Right to be Assured? Exposing Vulnerabilities in Machine Unlearning Services	Discovered artifact	?
Abusing the Ethereum Smart Contract Verification Services for Fun and Profit	Discovered artifact	?
ActiveDaemon: Unconscious DNN Dormancy and Waking Up via User-specific Invisible Token	Discovered artifact	?
Automatic Adversarial Adaption for Stealthy Poisoning Attacks in Federated Learning	Discovered artifact	?
BGP-iSec: Improved Security of Internet Routing Against Post-ROV Attacks	Discovered artifact	?
CAGE: Complementing Arm CCA with GPU Extensions	Discovered artifact	?
Certificate Transparency Revisited: The Public Inspections on Third-party Monitors	Discovered artifact	?
CP-IoT: A Cross-Platform Monitoring System for Smart Home	Discovered artifact	?
DeGPT: Optimizing Decompiler Output with LLM	Discovered artifact	?
Detecting Voice Cloning Attacks via Timbre Watermarking	Discovered artifact	?
DorPatch: Distributed and Occlusion-Robust Adversarial Patch to Evade Certifiable Defenses	Discovered artifact	?
DynPRE: Protocol Reverse Engineering via Dynamic Inference	Discovered artifact	?
EM Eye: Characterizing Electromagnetic Side-channel Eavesdropping on Embedded Cameras	Discovered artifact	?
EnclaveFuzz: Finding Vulnerabilities in SGX Applications	Discovered artifact	?
Faster and Better: Detecting Vulnerabilities in Linux-based IoT Firmware with Optimized Reaching Definition Analysis	Discovered artifact	?
Faults in Our Bus: Novel Bus Fault Attack to Break ARM TrustZone	Discovered artifact	?
From Interaction to Independence: zkSNARKs for Transparent and Non-Interactive Remote Attestation	Discovered artifact	?
Information Based Heavy Hitters for Real-Time DNS Data Exfiltration Detection	Discovered artifact	?
IRRedicator: Pruning IRR with RPKI-Valid BGP Insights	Discovered artifact	?
Invisible Reflections: Leveraging Infrared Laser Reflections to Target Traffic Sign Perception	Discovered artifact	?
K-LEAK: Towards Automating the Generation of Multi-Step Infoleak Exploits against the Linux Kernel	Discovered artifact	?
Like, Comment, Get Scammed: Characterizing Comment Scams on Media Platforms	Discovered artifact	?
LoRDMA: A New Low-Rate DoS Attack in RDMA Networks	Discovered artifact	?
MirageFlow: A New Bandwidth Inflation Attack on Tor	Discovered artifact	?
MASTERKEY: Automated Jailbreaking of Large Language Model Chatbots	Discovered artifact	?
Pencil: Private and Extensible Collaborative Learning without the Non-Colluding Assumption	Discovered artifact	?
Powers of Tau in Asynchrony	Discovered artifact	?
Predictive Context-sensitive Fuzzing	Discovered artifact	?
PriSrv: Privacy-Enhanced and Highly Usable Service Discovery in Wireless Communications	Discovered artifact	?
ReqsMiner: Automated Discovery of CDN Forwarding Request Inconsistencies and DoS Attacks with Grammar-based Fuzzing	Discovered artifact	?
REPLICAWATCHER: Training-less Anomaly Detection in Containerized Microservices	Discovered artifact	?
Proof of Backhaul: Trustfree Measurement of Broadband Bandwidth	Discovered artifact	?
QUACK: Hindering Deserialization Attacks via Static Duck Typing	Discovered artifact	?
Scrappy: SeCure Rate Assuring Protocol with PrivacY	Discovered artifact	?
Secret-Shared Shuffle with Malicious Security	Discovered artifact	?
Secure Multiparty Computation of Threshold Signatures Made More Efficient	Discovered artifact	?
SENSE: Enhancing Microarchitectural Awareness for TEEs via Subscription-Based Notification	Discovered artifact	?
SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems	Discovered artifact	?
SyzBridge: Bridging the Gap in Exploitability Assessment of Linux Kernel Bugs in the Linux Ecosystem	Discovered artifact	?
SSL-WM: A Black-Box Watermarking Approach for Encoders Pre-trained by Self-Supervised Learning	Discovered artifact	?
TALISMAN: Tamper Analysis for Reference Monitors	Discovered artifact	?
The CURE to Vulnerabilities in RPKI Validation	Discovered artifact	?
TextGuard: Provable Defense against Backdoor Attacks on Text Classification	Discovered artifact	?
Understanding the Implementation and Security Implications of Protective DNS Services	Discovered artifact	?
Towards Automated Regulation Analysis for Effective Privacy Compliance	Discovered artifact	?
Untangle: Multi-Layer Web Server Fingerprinting	Discovered artifact	?
VETEOS: Statically Vetting EOSIO Contracts for the "Groundhog Day" Vulnerabilities	Discovered artifact	?
You Can Use But Cannot Recognize: Preserving Visual Privacy in Deep Neural Networks	Discovered artifact	?

NDSS 2023 (63)

Paper	Artifact
An OS-agnostic Approach to Memory Forensics	Discovered artifact	?
Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations	Discovered artifact	?
Brokenwire: Wireless Disruption of CCS Electric Vehicle Charging	Discovered artifact	?
Detecting Unknown Encrypted Malicious Traffic in Real Time via Flow Interaction Graph Analysis	Discovered artifact	?
DARWIN: Survival of the Fittest Fuzzing Mutators	Discovered artifact	?
Efficient Dynamic Proof of Retrievability for Cold Storage	Discovered artifact	?
Evasion Attacks and Defenses on Smart Home Physical Event Verification	Discovered artifact	?
Extrapolating Formal Analysis to Uncover Attacks in Bluetooth Passkey Entry Pairing	Discovered artifact	?
Fusion: Efficient and Secure Inference Resilient to Malicious Servers	Discovered artifact	?
Faster Secure Comparisons with Offline Phase for Efficient Private Set Intersection	Discovered artifact	?
Ghost Domain Reloaded: Vulnerable Links in Domain Name Delegation and Revocation	Discovered artifact	?
Let Me Unwind That For You: Exceptions to Backward-Edge Protection	Discovered artifact	?
Machine Unlearning of Features and Labels	Discovered artifact	?
MyTEE: Own the Trusted Execution Environment on Embedded Devices	Discovered artifact	?
On the Anonymity of Peer-To-Peer Network Anonymity Schemes Used by Cryptocurrencies	Discovered artifact	?
POSE: Practical Off-chain Smart Contract Execution	Discovered artifact	?
PPA: Preference Profiling Attack Against Federated Learning	Discovered artifact	?
Private Certifier Intersection	Discovered artifact	?
QUICforge: Client-side Request Forgery in QUIC	Discovered artifact	?
RoVISQ: Reduction of Video Service Quality via Adversarial Attacks on Deep Learning-based Video Compression	Discovered artifact	?
Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning	Discovered artifact	?
Towards Automatic and Precise Heap Layout Manipulation for General-Purpose Programs	Discovered artifact	?
Your Router is My Prober: Measuring IPv6 Networks via ICMP Rate Limiting Side Channels	Discovered artifact	?
Trellis: Robust and Scalable Metadata-private Anonymous Broadcast	Discovered artifact	?
VICEROY: GDPR-/CCPA-compliant Enforcement of Verifiable Accountless Consumer Requests	Discovered artifact	?
Access Your Tesla without Your Awareness: Compromising Keyless Entry System of Model 3	Discovered artifact	?
Anomaly Detection in the Open World: Normality Shift Detection, Explanation, and Adaptation	Discovered artifact	?
Attacks as Defenses: Designing Robust Audio CAPTCHAs Using Attacks on Automatic Speech Recognition Systems	Discovered artifact	?
Assessing the Impact of Interface Vulnerabilities in Compartmentalized Software	Discovered artifact	?
Backdoor Attacks Against Dataset Distillation	Discovered artifact	?
BARS: Local Robustness Certification for Deep Learning based Traffic Analysis Systems	Discovered artifact	?
BEAGLE: Forensics of Deep Learning Backdoor Attack for Better Defense	Discovered artifact	?
CHKPLUG: Checking GDPR Compliance of WordPress Plugins via Cross-language Code Property Graph	Discovered artifact	?
BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects	Discovered artifact	?
Copy-on-Flip: Hardening ECC Memory Against Rowhammer Attacks	Discovered artifact	?
Cryptographic Oracle-based Conditional Payments	Discovered artifact	?
DiffCSP: Finding Browser Bugs in Content Security Policy Enforcement through Differential Testing	Discovered artifact	?
Double and Nothing: Understanding and Detecting Cryptocurrency Giveaway Scams	Discovered artifact	?
Drone Security and the Mysterious Case of DJI's DroneID	Discovered artifact	?
Focusing on Pinocchio's Nose: A Gradients Scrutinizer to Thwart Split-Learning Hijacking Attacks Using Intrinsic Attributes	Discovered artifact	?
FUZZILLI: Fuzzing for JavaScript JIT Compiler Vulnerabilities	Discovered artifact	?
Him of Many Faces: Characterizing Billion-scale Adversarial and Benign Browser Fingerprints on Commercial Websites	Discovered artifact	?
How to Count Bots in Longitudinal Datasets of IP Addresses	Discovered artifact	?
I Still Know What You Watched Last Sunday: Privacy of the HbbTV Protocol in the European Smart TV Landscape	Discovered artifact	?
InfoMasker: Preventing Eavesdropping Using Phoneme-Based Noise	Discovered artifact	?
LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols	Discovered artifact	?
No Grammar, No Problem: Towards Fuzzing the Linux Kernel without System-Call Descriptions	Discovered artifact	?
OBSan: An Out-Of-Bound Sanitizer to Harden DNN Executables	Discovered artifact	?
OptRand: Optimistically Responsive Reconfigurable Distributed Randomness	Discovered artifact	?
Parakeet: Practical Key Transparency for End-to-End Encrypted Messaging	Discovered artifact	?
Paralyzing Drones via EMI Signal Injection on Sensory Communication Channels	Discovered artifact	?
Preventing SIM Box Fraud Using Device Model Fingerprinting	Discovered artifact	?
RAI2: Responsible Identity Audit Governing the Artificial Intelligence	Discovered artifact	?
ReScan: A Middleware Framework for Realistic and Robust Black-box Web Application Scanning	Discovered artifact	?
REDsec: Running Encrypted Discretized Neural Networks in Seconds	Discovered artifact	?
Sometimes, You Aren't What You Do: Mimicry Attacks against Provenance Graph Host Intrusion Detection Systems	Discovered artifact	?
StealthyIMU: Stealing Permission-protected Private Information From Smartphone Voice Assistant Using Zero-Permission Sensors	Discovered artifact	?
SynthDB: Synthesizing Database via Program Analysis for Security Testing of Web Applications	Discovered artifact	?
The Power of Bamboo: On the Post-Compromise Security for Searchable Symmetric Encryption	Discovered artifact	?
Un-Rocking Drones: Foundations of Acoustic Injection Attacks and Recovery Thereof	Discovered artifact	?
Thwarting Smartphone SMS Attacks at the Radio Interface Layer	Discovered artifact	?
VulHawk: Cross-architecture Vulnerability Detection with Entropy-based Binary Code Search	Discovered artifact	?
BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats	Discovered artifact	?

NDSS 2022 (44)

Paper	Artifact
FirmWire: Transparent Dynamic Analysis for Cellular Baseband Firmware	Discovered artifact	?
HARPO: Learning to Subvert Online Behavioral Advertising	Discovered artifact	?
Get a Model! Model Hijacking Attack Against Machine Learning Models	Discovered artifact	?
Interpretable Federated Transformer Log Learning for Cloud Threat Forensics	Discovered artifact	?
hbACSS: How to Robustly Share Many Secrets	Discovered artifact	?
Property Inference Attacks Against GANs	Discovered artifact	?
Remote Memory-Deduplication Attacks	Discovered artifact	?
SemperFi: Anti-spoofing GPS Receiver for UAVs	Discovered artifact	?
The Droid is in the Details: Environment-aware Evasion of Android Sandboxes	Discovered artifact	?
The Taming of the Stack: Isolating Stack Data from Memory Errors	Discovered artifact	?
Uncovering Cross-Context Inconsistent Access Control Enforcement in Android	Discovered artifact	?
Transparency Dictionaries with Succinct Proofs of Correct Operation	Discovered artifact	?
A Lightweight IoT Cryptojacking Detection Mechanism in Heterogeneous Smart Home Networks	Discovered artifact	?
Building Embedded Systems Like It's 1996	Discovered artifact	?
Chosen-Instruction Attack Against Commercial Code Virtualization Obfuscators	Discovered artifact	?
Clarion: Anonymous Communication from Multiparty Shuffling Protocols	Discovered artifact	?
COOPER: Testing the Binding Code of Scripting Languages with Cooperative Mutation	Discovered artifact	?
Cross-Language Attacks	Discovered artifact	?
Demystifying Local Business Search Poisoning for Illicit Drug Promotion	Discovered artifact	?
Euler: Detecting Network Lateral Movement via Scalable Temporal Graph Link Prediction	Discovered artifact	?
ditto: WAN Traffic Obfuscation at Line Rate	Discovered artifact	?
Evaluating Susceptibility of VPN Implementations to DoS Attacks Using Adversarial Testing	Discovered artifact	?
GhostTalk: Interactive Attack on Smartphone Voice System Through Power Line	Discovered artifact	?
Hazard Integrated: Understanding Security Risks in App Extensions to Team Chat Systems	Discovered artifact	?
HeadStart: Efficiently Verifiable and Low-Latency Participatory Randomness Generation at Scale	Discovered artifact	?
Hybrid Trust Multi-party Computation with Trusted Execution Environment	Discovered artifact	?
Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel	Discovered artifact	?
LogicMEM: Automatic Profile Generation for Binary-Only Memory Forensics via Logic Inference	Discovered artifact	?
MIRROR: Model Inversion for Deep Learning Network with High Fidelity	Discovered artifact	?
Packet-Level Open-World App Fingerprinting on Wireless Traffic	Discovered artifact	?
PHYjacking: Physical Input Hijacking for Zero-Permission Authorization Attacks on Android	Discovered artifact	?
Preventing Kernel Hacks with HAKCs	Discovered artifact	?
Probe the Proto: Measuring Client-Side Prototype Pollution Vulnerabilities of One Million Real-world Websites	Discovered artifact	?
Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel	Discovered artifact	?
RamBoAttack: A Robust and Query Efficient Deep Neural Network Decision Exploit	Discovered artifact	?
RVPLAYER: Robotic Vehicle Forensics by Replay with What-if Reasoning	Discovered artifact	?
ScriptChecker: To Tame Third-party Script Execution With Task Capabilities	Discovered artifact	?
Semantic-Informed Driver Fuzzing Without Both the Hardware Devices and the Emulators	Discovered artifact	?
Shaduf: Non-Cycle Payment Channel Rebalancing	Discovered artifact	?
SynthCT: Towards Portable Constant-Time Code	Discovered artifact	?
Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications	Discovered artifact	?
Titanium: A Metadata-Hiding File-Sharing System with Malicious Security	Discovered artifact	?
Too Afraid to Drive: Systematic Discovery of Semantic DoS Vulnerability in Autonomous Driving Planning under Physical-World Attacks	Discovered artifact	?
What You See is Not What the Network Infers: Detecting Adversarial Examples Based on Semantic Contradiction	Discovered artifact	?

NDSS 2021 (49)

Paper	Artifact
SODA: A Generic Online Detection Framework for Smart Contracts	Discovered artifact	?
All the Numbers are US: Large-scale Abuse of Contact Discovery in Mobile Messengers	Discovered artifact	?
As Strong As Its Weakest Link: How to Break Blockchain DApps at RPC Service	Discovered artifact	?
DOVE: A Data-Oblivious Virtual Environment	Discovered artifact	?
Hey Alexa, is this Skill Safe?: Taking a Closer Look at the Alexa Skill Ecosystem	Discovered artifact	?
Obfuscated Access and Search Patterns in Searchable Encryption	Discovered artifact	?
POP and PUSH: Demystifying and Defending against (Mach) Port-oriented Programming	Discovered artifact	?
Reining in the Web's Inconsistencies with Site Policy	Discovered artifact	?
Rosita: Towards Automatic Elimination of Power-Analysis Leakage in Ciphers	Discovered artifact	?
Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages	Discovered artifact	?
XDA: Accurate, Robust Disassembly with Transfer Learning	Discovered artifact	?
A Formal Analysis of the FIDO UAF Protocol	Discovered artifact	?
ALchemist: Fusing Application and Audit Logs for Precise Attack Provenance without Instrumentation	Discovered artifact	?
BaseSpec: Comparative Analysis of Baseband Software and Cellular Specifications for L3 Protocols	Discovered artifact	?
CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs	Discovered artifact	?
CV-Inspector: Towards Automating Detection of Adblock Circumvention	Discovered artifact	?
Detecting Kernel Memory Leaks in Specialized Modules with Ownership Reasoning	Discovered artifact	?
Emilia: Catching Iago in Legacy Code	Discovered artifact	?
FARE: Enabling Fine-grained Attack Categorization under Low-quality Labeled Data	Discovered artifact	?
Favocado: Fuzzing the Binding Code of JavaScript Engines Using Semantically Correct Test Cases	Discovered artifact	?
FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications	Discovered artifact	?
From Library Portability to Para-rehosting: Natively Executing Microcontroller Software on Commodity Hardware	Discovered artifact	?
GALA: Greedy ComputAtion for Linear Algebra in Privacy-Preserved Neural Networks	Discovered artifact	?
HERA: Hotpatching of Embedded Real-time Applications	Discovered artifact	?
Improving Signal's Sealed Sender	Discovered artifact	?
Hunting the Haunter -- Efficient Relational Symbolic Execution for Spectre with Haunted RelSE	Discovered artifact	?
KUBO: Precise and Scalable Detection of User-triggerable Undefined Behavior Bugs in OS Kernel	Discovered artifact	?
NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces	Discovered artifact	?
OblivSketch: Oblivious Network Measurement as a Cloud Service	Discovered artifact	?
On the Insecurity of SMS One-Time Password Messages against Local Attackers in Modern Mobile Devices	Discovered artifact	?
PGFUZZ: Policy-Guided Fuzzing for Robotic Vehicles	Discovered artifact	?
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification	Discovered artifact	?
Practical Blind Membership Inference Attack via Differential Comparisons	Discovered artifact	?
Practical Non-Interactive Searchable Encryption with Forward and Backward Privacy	Discovered artifact	?
PrivacyFlash Pro: Automating Privacy Policy Generation for Mobile Apps	Discovered artifact	?
QPEP: An Actionable Approach to Secure and Performant Broadband From Geostationary Orbit	Discovered artifact	?
RandRunner: Distributed Randomness from Trapdoor VDFs with Strong Uniqueness	Discovered artifact	?
Reinforcement Learning-based Hierarchical Seed Scheduling for Greybox Fuzzing	Discovered artifact	?
Shadow Attacks: Hiding and Replacing Content in Signed PDFs	Discovered artifact	?
SerialDetector: Principled and Practical Exploration of Object Injection Vulnerabilities for the Web	Discovered artifact	?
SpecTaint: Speculative Taint Analysis for Discovering Spectre Gadgets	Discovered artifact	?
SquirRL: Automating Attack Analysis on Blockchain Incentive Mechanisms with Deep Reinforcement Learning	Discovered artifact	?
SymQEMU: Compilation-based symbolic execution for binaries	Discovered artifact	?
TASE: Reducing Latency of Symbolic Execution with Transactional Memory	Discovered artifact	?
To Err.Is Human: Characterizing the Threat of Unintended URLs in Social Media	Discovered artifact	?
Trust the Crowd: Wireless Witnessing to Detect Attacks on ADS-B-Based Air-Traffic Surveillance	Discovered artifact	?
Who's Hosting the Block Party? Studying Third-Party Blockage of CSP and SRI	Discovered artifact	?
WINNIE : Fuzzing Windows Applications with Harness Synthesis and Fast Cloning	Discovered artifact	?
Your Phone is My Proxy: Detecting and Understanding Mobile Proxy Networks	Discovered artifact	?

NDSS 2020 (41)

Paper	Artifact
A Practical Approach for Taking Down Avalanche Botnets Under Real-World Constraints	Discovered artifact	?
ABSynthe: Automatic Blackbox Side-channel Synthesis on Commodity Microarchitectures	Discovered artifact	?
Automated Cross-Platform Reverse Engineering of CAN Bus Commands From Mobile Apps	Discovered artifact	?
Automated Discovery of Cross-Plane Event-Based Vulnerabilities in Software-Defined Networking	Discovered artifact	?
BLAG: Improving the Accuracy of Blacklists	Discovered artifact	?
Broken Metre: Attacking Resource Metering in EVM	Discovered artifact	?
Bobtail: Improved Blockchain Security with Low-Variance Mining	Discovered artifact	?
ConTExT: A Generic Approach for Mitigating Spectre	Discovered artifact	?
Custos: Practical Tamper-Evident Auditing of Operating Systems Using Trusted Execution	Discovered artifact	?
DeepBinDiff: Learning Program-Wide Code Representations for Binary Diffing	Discovered artifact	?
DESENSITIZATION: Privacy-Aware and Attack-Preserving Crash Report	Discovered artifact	?
Designing a Better Browser for Tor with BLAST	Discovered artifact	?
DISCO: Sidestepping RPKI's Deployment Barriers	Discovered artifact	?
Dynamic Searchable Encryption with Small Client Storage	Discovered artifact	?
Encrypted DNS -> Privacy? A Traffic Analysis Perspective	Discovered artifact	?
FlowPrint: Semi-Supervised Mobile-App Fingerprinting on Encrypted Network Traffic	Discovered artifact	?
FUSE: Finding File Upload Bugs via Penetration Testing	Discovered artifact	?
Heterogeneous Private Information Retrieval	Discovered artifact	?
HFL: Hybrid Fuzzing on the Linux Kernel	Discovered artifact	?
HYPER-CUBE: High-Dimensional Hypervisor Fuzzing	Discovered artifact	?
Into the Deep Web: Understanding E-commerce Fraud from Autonomous Chat with Cybercriminals	Discovered artifact	?
Learning-based Practical Smartphone Eavesdropping with Built-in Accelerometer	Discovered artifact	?
MassBrowser: Unblocking the Censored Web for the Masses, by the Masses	Discovered artifact	?
MACAO: A Maliciously-Secure and Client-Efficient Active ORAM Framework	Discovered artifact	?
Metal: A Metadata-Hiding File-Sharing System	Discovered artifact	?
Metamorph: Injecting Inaudible Commands into Over-the-air Voice Controlled Systems	Discovered artifact	?
Not All Coverage Measurements Are Equal: Fuzzing by Coverage Accounting for Input Prioritization	Discovered artifact	?
On the Resilience of Biometric Authentication Systems against Random Inputs	Discovered artifact	?
On Using Application-Layer Middlebox Protocols for Peeking Behind NAT Gateways	Discovered artifact	?
Packet-Level Signatures for Smart Home Devices	Discovered artifact	?
Practical Traffic Analysis Attacks on Secure Messaging Applications	Discovered artifact	?
SurfingAttack: Interactive Hidden Attack on Voice Assistants Using Ultrasonic Guided Waves	Discovered artifact	?
SymTCP: Eluding Stateful Deep Packet Inspection with Automated Discrepancy Discovery	Discovered artifact	?
SVLAN: Secure & Scalable Network Virtualization	Discovered artifact	?
The Attack of the Clones Against Proof-of-Authority	Discovered artifact	?
TKPERM: Cross-platform Permission Knowledge Transfer to Detect Overprivileged Third-party Applications	Discovered artifact	?
When Malware is Packin' Heat; Limits of Machine Learning Classifiers Based on Static Analysis Features	Discovered artifact	?
Unicorn: Runtime Provenance-Based Detector for Advanced Persistent Threats	Discovered artifact	?
Withdrawing the BGP Re-Routing Curtain: Understanding the Security Impact of BGP Poisoning through Real-World Measurements	Discovered artifact	?
You Are What You Do: Hunting Stealthy Malware via Data Provenance Analysis	Discovered artifact	?
uRAI: Securing Embedded Systems with Return Address Integrity	Discovered artifact	?

NDSS 2019 (38)

Paper	Artifact
Adversarial Attacks Against Automatic Speech Recognition Systems via Psychoacoustic Hiding.	Discovered artifact	?
A Treasury System for Cryptocurrencies: Enabling Better Collaborative Intelligence.	Discovered artifact	?
BadBluetooth: Breaking Android Security Mechanisms via Malicious Bluetooth Peripherals.	Discovered artifact	?
Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers.	Discovered artifact	?
CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines.	Discovered artifact	?
Constructing an Adversary Solver for Equihash.	Discovered artifact	?
Data Oblivious ISA Extensions for Side Channel-Resistant and High Performance Computing.	Discovered artifact	?
Don't Trust The Locals: Investigating the Prevalence of Persistent Client-Side Cross-Site Scripting in the Wild.	Discovered artifact	?
Enemy At the Gateways: Censorship-Resilient Proxy Distribution Using Game Theory.	Discovered artifact	?
Fine-Grained and Controlled Rewriting in Blockchains: Chameleon-Hashing Gone Attribute-Based.	Discovered artifact	?
Giving State to the Stateless: Augmenting Trustworthy Computation with Ledgers.	Discovered artifact	?
How Bad Can It Git? Characterizing Secret Leakage in Public GitHub Repositories.	Discovered artifact	?
How to End Password Reuse on the Web.	Discovered artifact	?
ICSREF: A Framework for Automated Reverse Engineering of Industrial Control Systems Binaries.	Discovered artifact	?
JavaScript Template Attacks: Automatically Inferring Host Information for Targeted Exploits.	Discovered artifact	?
maTLS: How to Make TLS middlebox-aware?	Discovered artifact	?
MBeacon: Privacy-Preserving Beacons for DNA Methylation Data.	Discovered artifact	?
Measurement and Analysis of Hajime, a Peer-to-peer IoT Botnet.	Discovered artifact	?
ML-Leaks: Model and Data Independent Membership Inference Attacks and Defenses on Machine Learning Models.	Discovered artifact	?
NAUTILUS: Fishing for Deep Bugs with Grammars.	Discovered artifact	?
Nearby Threats: Reversing, Analyzing, and Attacking Google's 'Nearby Connections' on Android.	Discovered artifact	?
Neural Machine Translation Inspired Binary Code Similarity Comparison beyond Function Pairs.	Discovered artifact	?
NIC: Detecting Adversarial Samples with Neural Network Invariant Checking.	Discovered artifact	?
OBFUSCURO: A Commodity Obfuscation Engine on Intel SGX.	Discovered artifact	?
One Engine To Serve 'em All: Inferring Taint Rules Without Architectural Semantics.	Discovered artifact	?
PeriScope: An Effective Probing and Fuzzing Framework for the Hardware-OS Boundary.	Discovered artifact	?
Practical Hidden Voice Attacks against Speech and Speaker Recognition Systems.	Discovered artifact	?
REDQUEEN: Fuzzing with Input-to-State Correspondence.	Discovered artifact	?
rORAM: Efficient Range ORAM with O(log2 N) Locality.	Discovered artifact	?
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks.	Discovered artifact	?
Stealthy Adversarial Perturbations Against Real-Time Video Classification Systems.	Discovered artifact	?
TEE-aided Write Protection Against Privileged Data Tampering.	Discovered artifact	?
The use of TLS in Censorship Circumvention.	Discovered artifact	?
Thunderclap: Exploring Vulnerabilities in Operating System IOMMU Protection via DMA from Untrustworthy Peripherals.	Discovered artifact	?
TIMBER-V: Tag-Isolated Memory Bringing Fine-grained Enclaves to RISC-V.	Discovered artifact	?
Total Recall: Persistence of Passwords in Android.	Discovered artifact	?
Unveiling your keystrokes: A Cache-based Side-channel Attack on Graphics Libraries.	Discovered artifact	?
We Value Your Privacy ... Now Take Some Cookies: Measuring the GDPR's Impact on Web Privacy.	Discovered artifact	?

NDSS 2018 (29)

Paper	Artifact
What You Corrupt Is Not What You Crash: Challenges in Fuzzing Embedded Devices	Discovered artifact	?
Didn’t You Hear Me? – Towards More Successful Web Vulnerability Notifications	Discovered artifact	?
rtCaptcha: A Real-Time CAPTCHA Based Liveness Detection System	Discovered artifact	?
Automated Attack Discovery in TCP Congestion Control Using a Model-guided Approach	Discovered artifact	?
LTEInspector: A Systematic Approach for Adversarial Testing of 4G LTE	Discovered artifact	?
A Security Analysis of Honeywords	Discovered artifact	?
Revisiting Private Stream Aggregation: Lattice-Based PSA	Discovered artifact	?
ZeroTrace : Oblivious Memory Primitives from Intel SGX	Discovered artifact	?
Automated Website Fingerprinting through Deep Learning	Discovered artifact	?
VulDeePecker: A Deep Learning-Based System for Vulnerability Detection	Discovered artifact	?
Kitsune: An Ensemble of Autoencoders for Online Network Intrusion Detection	Discovered artifact	?
Feature Squeezing: Detecting Adversarial Examples in Deep Neural Networks	Discovered artifact	?
Trojaning Attack on Neural Networks	Discovered artifact	?
Broken Fingers: On the Usage of the Fingerprint API in Android	Discovered artifact	?
KeyDrown: Eliminating Software-Based Keystroke Timing Side-Channel Attacks	Discovered artifact	?
K-Miner: Uncovering Memory Corruption in Linux	Discovered artifact	?
CFIXX: Object Type Integrity for C++	Discovered artifact	?
Superset Disassembly: Statically Rewriting x86 Binaries Without Heuristics	Discovered artifact	?
Bug Fixes, Improvements, … and Privacy Leaks – A Longitudinal Study of PII Leaks Across Android App Versions	Discovered artifact	?
OBLIVIATE: A Data Oblivious Filesystem for Intel SGX	Discovered artifact	?
When Coding Style Survives Compilation: De-anonymizing Programmers from Executable Binaries	Discovered artifact	?
SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE.JS.	Discovered artifact	?
JavaScript Zero: Real JavaScript and Zero Side-Channel Attacks	Discovered artifact	?
Riding out DOMsday: Towards Detecting and Preventing DOM Cross-Site Scripting	Discovered artifact	?
JSgraph: Enabling Reconstruction of Web Attacks via Efficient Tracking of Live In-Browser JavaScript Executions	Discovered artifact	?
Resolving the Predicament of Android Custom Permissions	Discovered artifact	?
Chainspace: A Sharded Smart Contracts Platform	Discovered artifact	?
Settling Payments Fast and Private: Efficient Decentralized Routing for Path-Based Transactions	Discovered artifact	?
Inside Job: Applying Traffic Analysis to Measure Tor from Within	Discovered artifact	?

NDSS 2017 (16)

Paper	Artifact
A Large-scale Analysis of the Mnemonic Password Advice	Discovered artifact	?
Constant Round Maliciously Secure 2PC with Function-independent Preprocessing using LEGO	Discovered artifact	?
MARX: Uncovering Class Hierarchies in C++ Programs	Discovered artifact	?
Enabling Reconstruction of Attacks on Users via Efficient Browsing Snapshots	Discovered artifact	?
Safelnit: Comprehensive and Practical Mitigation of Uninitialized Read Vulnerabilities	Discovered artifact	?
Catching Worms, Trojan Horses and PUPs: Unsupervised Detection of Silent Delivery Campaigns	Discovered artifact	?
BOOMERANG: Exploiting the Semantic Gap in Trusted Execution Environments	Discovered artifact	?
The Effect of DNS on Tor's Anonymity	Discovered artifact	?
TenantGuard: Scalable Runtime Verification of Cloud-Wide VM-Level Network Isolation	Discovered artifact	?
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability	Discovered artifact	?
Unleashing Use-Before-Initialization Vulnerabilities in the Linux Kernel Using Targeted Stack Spraying	Discovered artifact	?
VUzzer: Application-aware Evolutionary Fuzzing	Discovered artifact	?
Thou Shalt Not Depend on Me: Analysing the Use of Outdated JavaScript Libraries on the Web	Discovered artifact	?
P2P Mixing and Unlinkable Bitcoin Transactions	Discovered artifact	?
The Security Impact of HTTPS Interception	Discovered artifact	?
Obfuscation-Resilient Privacy Leak Detection for Mobile Apps Through Differential Analysis	Discovered artifact	?

NDSS 2016 (13)

Paper	Artifact
Don’t Forget to Lock the Back Door! A Characterization of IPv6 Network Security Policy	Discovered artifact	?
Attacking the Network Time Protocol	Discovered artifact	?
Practical Attacks Against Privacy and Availability in 4G/LTE Mobile Communication Systems	Discovered artifact	?
Towards Automated Dynamic Analysis for Linux-based Embedded Firmware	Discovered artifact	?
Protecting C++ Dynamic Dispatch Through VTable Interleaving	Discovered artifact	?
Efficient Private Statistics with Succinct Sketches	Discovered artifact	?
Measuring and Mitigating AS-level Adversaries Against Tor	Discovered artifact	?
Website Fingerprinting at Internet Scale	Discovered artifact	?
Extract Me If You Can: Abusing PDF Parsers in Malware Detectors	Discovered artifact	?
Automatically Evading Classifiers: A Case Study on PDF Malware Classifiers	Discovered artifact	?
LO-PHI: Low-Observable Physical Host Instrumentation for Malware Analysis	Discovered artifact	?
Kratos: Discovering Inconsistent Security Policy Enforcement in the Android Framework	Discovered artifact	?
Enabling Client-Side Crash-Resistance to Overcome Diversification and Information Hiding	Discovered artifact	?

NDSS 2015 (7)

Paper	Artifact
Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware	Discovered artifact	?
ABY - A Framework for Efficient Mixed-Protocol Secure Two-Party Computation	Discovered artifact	?
Efficient RAM and Control Flow in Verifiable Outsourced Computation	Discovered artifact	?
Opaque Control-Flow Integrity	Discovered artifact	?
Gracewipe: Secure and Verifiable Deletion under Coercion	Discovered artifact	?
CopperDroid: Automatic Reconstruction of Android Malware Behaviors	Discovered artifact	?
Seven Months' Worth of Mistakes: A Longitudinal Study of Typosquatting Abuse	Discovered artifact	?

NDSS 2014 (10)

Paper	Artifact
Avatar: A Framework to Support Dynamic Security Analysis of Embedded Systems' Firmwares	Discovered artifact	?
AccelPrint: Imperfections of Accelerometers Make Smartphones Trackable	Discovered artifact	?
Breaking and Fixing Origin-Based Access Control in Hybrid Web/Mobile Application Frameworks	Discovered artifact	?
The Sniper Attack: Anonymously Deanonymizing and Disabling the Tor Network	Discovered artifact	?
From Very Weak to Very Strong: Analyzing Password-Strength Meters	Discovered artifact	?
Hardening Persona - Improving Federated Web Login	Discovered artifact	?
Botcoin: Monetizing Stolen Cycles	Discovered artifact	?
A Machine-learning Approach for Classifying and Categorizing Android Sources and Sinks	Discovered artifact	?
AirBag: Boosting Smartphone Resistance to Malware Infection	Discovered artifact	?
Efficient Private File Retrieval by Combining ORAM and PIR	Discovered artifact	?

NDSS 2013 (1)

Paper	Artifact
InteGuard: Toward Automatic Protection of Third-Party Web Service Integrations	Discovered artifact	?

NDSS 2012 (5)

Paper	Artifact
Making argument systems for outsourced computation practical (sometimes)	Discovered artifact	?
Charm: A Framework for Rapidly Prototyping Cryptosystems	Discovered artifact	?
Private Set Intersection: Are Garbled Circuits Better than Custom Protocols?	Discovered artifact	?
Shadow: Running Tor in a Box for Accurate and Efficient Experimentation	Discovered artifact	?
Chrome Extensions: Threat Analysis and Countermeasures	Discovered artifact	?

NDSS 2011 (1)

Paper	Artifact
Efficient Privacy-Preserving Biometric Identification.	Discovered artifact	?

NDSS 2010 (2)

Paper	Artifact
Preventing Capability Leaks in Secure JavaScript Subsets.	Discovered artifact	?
Adnostic: Privacy Preserving Targeted Advertising.	Discovered artifact	?

NDSS 2009 (2)

Paper	Artifact
CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable.	Discovered artifact	?
Spectrogram: A Mixture-of-Markov-Chains Model for Anomaly Detection in Web Traffic.	Discovered artifact	?

NDSS 2006 (2)

Paper	Artifact
Isolating Intrusions by Automatic Experiments.	Discovered artifact	?
Inoculating SSH Against Address Harvesting.	Discovered artifact	?

IEEE S&P (692)

2025 (137) · 2024 (155) · 2023 (95) · 2022 (80) · 2021 (62) · 2020 (41) · 2019 (28) · 2018 (14) · 2017 (24) · 2016 (9) · 2015 (11) · 2014 (9) · 2013 (7) · 2012 (8) · 2010 (2) · 2009 (1) · 2008 (3) · 2006 (2) · 2003 (2) · 2002 (1) · 2000 (1)

IEEE S&P 2025 (137)

Paper	Artifact
PEFTGuard: Detecting Backdoor Attacks Against Parameter-Efficient Fine-Tuning.	Discovered artifact	?
GPTracker: A Large-Scale Measurement of Misused GPTs.	Discovered artifact	?
Edge Unlearning is Not "on Edge"! an Adaptive Exact Unlearning System on Resource-Constrained Devices.	Discovered artifact	?
Verifiable Secret Sharing Simplified.	Discovered artifact	?
CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction.	Discovered artifact	?
Smaug: Modular Augmentation of LLVM for MPC.	Discovered artifact	?
Efficient Storage Integrity in Adversarial Settings.	Discovered artifact	?
Adversarial Robust ViT-Based Automatic Modulation Recognition in Practical Deep Learning-Based Wireless Systems.	Discovered artifact	?
Towards ML-KEM & ML-DSA on OpenTitan.	Discovered artifact	?
Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt.	Discovered artifact	?
PQ-Hammer: End-to-End Key Recovery Attacks on Post-Quantum Cryptography Using Rowhammer.	Discovered artifact	?
Liquefaction: Privately Liquefying Blockchain Assets.	Discovered artifact	?
Hash-Prune-Invert: Improved Differentially Private Heavy-Hitter Detection in the Two-Server Model.	Discovered artifact	?
Ringtail: Practical Two-Round Threshold Signatures from Learning with Errors.	Discovered artifact	?
Preprocessing for Life: Dishonest-Majority MPC with a Trusted or Untrusted Dealer.	Discovered artifact	?
Improved Constructions for Distributed Multi-Point Functions.	Discovered artifact	?
Verifiable Boosted Tree Ensembles.	Discovered artifact	?
TreePIR: Efficient Private Retrieval of Merkle Proofs via Tree Colorings with Fast Indexing and Zero Storage Overhead.	Discovered artifact	?
MatriGear: Accelerating Authenticated Matrix Triple Generation with Scalable Prime Fields via Optimized HE Packing.	Discovered artifact	?
Firmrca: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-Based Fault Localization.	Discovered artifact	?
A Composability Analysis Framework for Web3 Wallet Recovery Mechanisms.	Discovered artifact	?
Differentially Private Selection Using Smooth Sensitivity.	Discovered artifact	?
Racedb: Detecting Request Race Vulnerabilities in Database-Backed Web Applications.	Discovered artifact	?
Unveiling Security Vulnerabilities in Git Large File Storage Protocol.	Discovered artifact	?
Scheduled Disclosure: Turning Power into Timing Without Frequency Scaling.	Discovered artifact	?
Impossibility Results for Post-Compromise Security in Real-World Communication Systems.	Discovered artifact	?
Saecred: A State-Aware, Over-the-Air Protocol Testing Approach for Discovering Parsing Bugs in SAE Handshake Implementations of COTS Wi-Fi Access Points.	Discovered artifact	?
VerITAS: Verifying Image Transformations at Scale.	Discovered artifact	?
Countmamba: A Generalized Website Fingerprinting Attack via Coarse-Grained Representation and Fine-Grained Prediction.	Discovered artifact	?
Beyond the Horizon: Uncovering Hosts and Services Behind Misconfigured Firewalls.	Discovered artifact	?
MANTIS: Detection of Zero-Day Malicious Domains Leveraging Low Reputed Hosting Infrastructure.	Discovered artifact	?
Phecda: Post-Quantum Transparent zkSNARKs from Improved Polynomial Commitment and VOLE-in-the-Head with Application in Publicly Verifiable AES.	Discovered artifact	?
Half Spectre, Full Exploit: Hardening Rowhammer Attacks with Half-Spectre Gadgets.	Discovered artifact	?
Fuzz-Testing Meets LLM-Based Agents: An Automated and Efficient Framework for Jailbreaking Text-to-Image Generation Models.	Discovered artifact	?
INCOGNITOS: A Practical Unikernel Design for Full-System Obfuscation in Confidential Virtual Machines.	Discovered artifact	?
Permissionless Verifiable Information Dispersal (Data Availability for Bitcoin Rollups).	Discovered artifact	?
Disassembly as Weighted Interval Scheduling with Learned Weights.	Discovered artifact	?
Sparta: Practical Anonymity with Long-Term Resistance to Traffic Analysis.	Discovered artifact	?
Not All Edges are Equally Robust: Evaluating the Robustness of Ranking-Based Federated Learning.	Discovered artifact	?
EPScan: Automated Detection of Excessive RBAC Permissions in Kubernetes Applications.	Discovered artifact	?
Mon CHERI: Mitigating Uninitialized Memory Access with Conditional Capabilities.	Discovered artifact	?
SHARK: Actively Secure Inference Using Function Secret Sharing.	Discovered artifact	?
Growlithe: A Developer-Centric Compliance Tool for Serverless Applications.	Discovered artifact	?
P2C2T: Preserving the Privacy of Cross-Chain Transfer.	Discovered artifact	?
Codebreaker: Dynamic Extraction Attacks on Code Language Models.	Discovered artifact	?
Differentially Private Release of Israel's National Registry of Live Births.	Discovered artifact	?
"Sorry for Bugging you so much." Exploring Developers' Behavior Towards Privacy-Compliant Implementation.	Discovered artifact	?
On the (In)Security of LLM App Stores.	Discovered artifact	?
Opera: Achieving Secure and High-Performance OLAP with Parallelized Homomorphic Comparisons.	Discovered artifact	?
Towards Efficient and Practical Multi-party Computation under Inconsistent Trust in TEEs.	Discovered artifact	?
"Only as Strong as the Weakest Link": On the Security of Brokered Single Sign-On on the Web.	Discovered artifact	?
CoBBL: Dynamic Constraint Generation for SNARKs.	Discovered artifact	?
Follow My Flow: Unveiling Client-Side Prototype Pollution Gadgets from One Million Real-World Websites.	Discovered artifact	?
Groundhog: A Restart-Based Systems Framework for Increasing Availability in Threshold Cryptosystems.	Discovered artifact	?
UnMarker: A Universal Attack on Defensive Image Watermarking.	Discovered artifact	?
Myco: Unlocking Polylogarithmic Accesses in Metadata-Private Messaging.	Discovered artifact	?
ALPACA: Anonymous Blocklisting with Constant-Sized Updatable Proofs.	Discovered artifact	?
Open Sesame! On the Security and Memorability of Verbal Passwords.	Discovered artifact	?
Tiktag: Breaking ARM's Memory Tagging Extension with Speculative Execution.	Discovered artifact	?
Chimera: Fuzzing P4 Network Infrastructure for Multi-Plane Bug Detection and Vulnerability Discovery.	Discovered artifact	?
Transparency in Usable Privacy and Security Research: Scholars' Perspectives, Practices, and Recommendations.	Discovered artifact	?
BaseBridge: Bridging the Gap Between Over-the-Air and Emulation Testing for Cellular Baseband Firmware.	Discovered artifact	?
DPolicy: Managing Privacy Risks Across Multiple Releases with Differential Privacy.	Discovered artifact	?
Rushing at SPDZ: On the Practical Security of Malicious MPC Implementations.	Discovered artifact	?
Fun-tuning: Characterizing the Vulnerability of Proprietary LLMs to Optimization-Based Prompt Injection Attacks via the Fine-Tuning Interface.	Discovered artifact	?
Architectural Neural Backdoors from First Principles.	Discovered artifact	?
Hermes: Efficient and Secure Multi-Writer Encrypted Database.	Discovered artifact	?
From Easy to Hard: Building a Shortcut for Differentially Private Image Synthesis.	Discovered artifact	?
SV-TrustEval-C: Evaluating Structure and Semantic Reasoning in Large Language Models for Source Code Vulnerability Analysis.	Discovered artifact	?
Make a Feint to the East While Attacking in the West: Blinding LLM-Based Code Auditors with Flashboom Attacks.	Discovered artifact	?
Redefining Indirect Call Analysis with KallGraph.	Discovered artifact	?
Query Provenance Analysis: Efficient and Robust Defense Against Query-Based Black-Box Attacks.	Discovered artifact	?
HyperPianist: Pianist with Linear-Time Prover and Logarithmic Communication Cost.	Discovered artifact	?
Is MPC Secure? Leveraging Neural Network Classifiers to Detect Data Leakage Vulnerabilities in MPC Implementations.	Discovered artifact	?
DataSentinel: A Game-Theoretic Detection of Prompt Injection Attacks.	Discovered artifact	?
Mind the Location Leakage in LEO Direct-to-Cell Satellite Networks.	Discovered artifact	?
Cauchyproofs: Batch-Updatable Vector Commitment with Easy Aggregation and Application to Stateless Blockchains.	Discovered artifact	?
A Low-Cost Privacy-Preserving Digital Wallet for Humanitarian Aid Distribution.	Discovered artifact	?
Machine Learning with Privacy for Protected Attributes.	Discovered artifact	?
SCAD: Towards a Universal and Automated Network Side-Channel Vulnerability Detection.	Discovered artifact	?
Harmonycloak: Making Music Unlearnable for Generative AI.	Discovered artifact	?
BadRAM: Practical Memory Aliasing Attacks on Trusted Execution Environments.	Discovered artifact	?
Connecting the Extra Dots (Contexts): Correlating External Information about Point of Interest for Attack Investigation.	Discovered artifact	?
IUBIK: Isolating User Bytes in Commodity Operating System Kernels via Memory Tagging Extensions.	Discovered artifact	?
Trust Nobody: Privacy-Preserving Proofs for Edited Photos with Your Laptop.	Discovered artifact	?
Slice+Slice Baby: Generating Last-Level Cache Eviction Sets in the Blink of an Eye.	Discovered artifact	?
AccuRevoke: Enhancing Certificate Revocation with Distributed Cryptographic Accumulators.	Discovered artifact	?
Investigating Physical Latency Attacks Against Camera-Based Perception.	Discovered artifact	?
Augmented Shuffle Protocols for Accurate and Robust Frequency Estimation Under Differential Privacy.	Discovered artifact	?
"It's almost like Frankenstein": Investigating the Complexities of Scientific Collaboration and Privilege Management within Research Computing Infrastructures.	Discovered artifact	?
PEARTS: Provable Execution in Real-Time Embedded Systems.	Discovered artifact	?
Transport Layer Obscurity: Circumventing SNI Censorship on the TLS-Layer.	Discovered artifact	?
Papercraft: Lattice-Based Verifiable Delay Function Implemented.	Discovered artifact	?
PFortifier: Mitigating PHP Object Injection Through Automatic Patch Generation.	Discovered artifact	?
RGFuzz: Rule-Guided Fuzzer for WebAssembly Runtimes.	Discovered artifact	?
Restricting the Link: Effects of Focused Attention and Time Delay on Phishing Warning Effectiveness.	Discovered artifact	?
Rapid Reversing of Non-Linear CPU Cache Slice Functions: Unlocking Physical Address Leakage.	Discovered artifact	?
Stateful Analysis and Fuzzing of Commercial Baseband Firmware.	Discovered artifact	?
Analyzing Ad Prevalence, Characteristics, and Compliance in Alexa Skills.	Discovered artifact	?
Clubcards for the WebPKI: Smaller Certificate Revocation Tests in Theory and Practice.	Discovered artifact	?
Constant Latency and Finality for Dynamically Available DAG.	Discovered artifact	?
BAIT: Large Language Model Backdoor Scanning by Inverting Attack Target.	Discovered artifact	?
Ring Referral: Efficient Publicly Verifiable Ad hoc Credential Scheme with Issuer and Strong User Anonymity for Decentralized Identity and More.	Discovered artifact	?
Robust Threshold ECDSA with Online-Friendly Design in Three Rounds.	Discovered artifact	?
Evaluating the Effectiveness of Memory Safety Sanitizers.	Discovered artifact	?
TreeKEM: A Modular Machine-Checked Symbolic Security Analysis of Group Key Agreement in Messaging Layer Security.	Discovered artifact	?
From One Stolen Utterance: Assessing the Risks of Voice Cloning in the AIGC Era.	Discovered artifact	?
Predator: Directed Web Application Fuzzing for Efficient Vulnerability Validation.	Discovered artifact	?
TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries.	Discovered artifact	?
The Digital Cybersecurity Expert: How Far Have We Come?	Discovered artifact	?
Benchmarking Attacks on Learning with Errors.	Discovered artifact	?
SoK: Decoding the Enigma of Encrypted Network Traffic Classifiers.	Discovered artifact	?
Training Solo: On the Limitations of Domain Isolation Against Spectre-v2 Attacks.	Discovered artifact	?
PyLingual: Toward Perfect Decompilation of Evolving High-Level Languages.	Discovered artifact	?
Breaking the Barrier: Post-Barrier Spectre Attacks.	Discovered artifact	?
Space RADSIM: Binary-Agnostic Fault Injection to Evaluate Cosmic Radiation Impact on Exploit Mitigation Techniques in Space.	Discovered artifact	?
A Wall Behind A Wall: Emerging Regional Censorship in China.	Discovered artifact	?
Low-Cost and Robust Global Time Synchronization.	Discovered artifact	?
HouseFuzz: Service-Aware Grey-Box Fuzzing for Vulnerability Detection in Linux-Based Firmware.	Discovered artifact	?
BridgeRouter: Automated Capability Upgrading of Out-Of-Bounds Write Vulnerabilities to Arbitrary Memory Write Primitives in the Linux Kernel.	Discovered artifact	?
"Check-Before-you-Solve": Verifiable Time-Lock Puzzles.	Discovered artifact	?
The File That Contained the Keys Has Been Removed: An Empirical Analysis of Secret Leaks in Cloud Buckets and Responsible Disclosure Outcomes.	Discovered artifact	?
Alleviating the Fear of Losing Alignment in LLM Fine-tuning.	Discovered artifact	?
Gold OPRF: Post-Quantum Oblivious Power-Residue PRF.	Discovered artifact	?
CoinDef: A Comprehensive Code Injection Defense for the Electron Framework.	Discovered artifact	?
PGUS: Pretty Good User Security for Thick MVNOs with a Novel Sanitizable Blind Signature.	Discovered artifact	?
RankGuess: Password Guessing Using Adversarial Ranking.	Discovered artifact	?
Empc: Effective Path Prioritization for Symbolic Execution with Path Cover.	Discovered artifact	?
Exploring Parent-Child Perceptions on Safety in Generative AI: Concerns, Mitigation Strategies, and Design Implications.	Discovered artifact	?
CipherSteal: Stealing Input Data from TEE-Shielded Neural Networks with Ciphertext Side Channels.	Discovered artifact	?
EvilHarmony: Stealthy Adversarial Attacks Against Black-Box Speech Recognition Systems.	Discovered artifact	?
FairZK: A Scalable System to Prove Machine Learning Fairness in Zero-Knowledge.	Discovered artifact	?
Identifying Incoherent Search Sessions: Search Click Fraud Remediation Under Real-World Constraints.	Discovered artifact	?
CamLopa: A Hidden Wireless Camera Localization Framework via Signal Propagation Path Analysis.	Discovered artifact	?
MicroNova: Folding-Based Arguments with Efficient (On-Chain) Verification.	Discovered artifact	?
My Model is Malware to You: Transforming AI Models into Malware by Abusing TensorFlow APIs.	Discovered artifact	?
Lombard-VLD: Voice Liveness Detection Based on Human Auditory Feedback.	Discovered artifact	?

IEEE S&P 2024 (155)

Paper	Artifact
An Analysis of Recent Advances in Deepfake Image Detection in an Evolving Threat Landscape.	Discovered artifact	?
Larger-scale Nakamoto-style Blockchains Don't Necessarily Offer Better Security.	Discovered artifact	?
Device-Oriented Group Messaging: A Formal Cryptographic Analysis of Matrix' Core.	Discovered artifact	?
Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes.	Discovered artifact	?
"False negative - that one is going to kill you": Understanding Industry Perspectives of Static Analysis based Security Testing.	Discovered artifact	?
DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing.	Discovered artifact	?
Casual Users and Rational Choices within Differential Privacy.	Discovered artifact	?
SoK: Security and Privacy of Blockchain Interoperability.	Discovered artifact	?
P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF.	Discovered artifact	?
Tabbed Out: Subverting the Android Custom Tab Security Model.	Discovered artifact	?
CaFA: Cost-aware, Feasible Attacks With Database Constraints Against Neural Tabular Classifiers.	Discovered artifact	?
Automated Synthesis of Effect Graph Policies for Microservice-Aware Stateful System Call Specialization.	Discovered artifact	?
Don't Eject the Impostor: Fast Three-Party Computation With a Known Cheater.	Discovered artifact	?
Understanding Parents' Perceptions and Practices Toward Children's Security and Privacy in Virtual Reality.	Discovered artifact	?
SINBAD: Saliency-informed detection of breakage caused by ad blocking.	Discovered artifact	?
SyzGen++: Dependency Inference for Augmenting Kernel Driver Fuzzing.	Discovered artifact	?
Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay.	Discovered artifact	?
Kairos: Practical Intrusion Detection and Investigation using Whole-system Provenance.	Discovered artifact	?
OdScan: Backdoor Scanning for Object Detection Models.	Discovered artifact	?
ALIF: Low-Cost Adversarial Audio Attacks on Black-Box Speech Platforms using Linguistic Features.	Discovered artifact	?
Attacking Byzantine Robust Aggregation in High Dimensions.	Discovered artifact	?
Test-Time Poisoning Attacks Against Test-Time Adaptation Models.	Discovered artifact	?
It's Simplex! Disaggregating Measures to Improve Certified Robustness.	Discovered artifact	?
ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation.	Discovered artifact	?
SoK: Efficient Design and Implementation of Polynomial Hash Functions over Prime Fields.	Discovered artifact	?
Sophon: Non-Fine-Tunable Learning to Restrain Task Transferability For Pre-trained Models.	Discovered artifact	?
Can we cast a ballot as intended and be receipt free?	Discovered artifact	?
Sabre: Cutting through Adversarial Noise with Adaptive Spectral Filtering and Input Reconstruction.	Discovered artifact	?
ConjunCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks.	Discovered artifact	?
Threshold ECDSA in Three Rounds.	Discovered artifact	?
SoK: Unintended Interactions among Machine Learning Defenses and Risks.	Discovered artifact	?
Janus: Safe Biometric Deduplication for Humanitarian Aid Distribution.	Discovered artifact	?
Synq: Public Policy Analytics Over Encrypted Data.	Discovered artifact	?
DPI: Ensuring Strict Differential Privacy for Infinite Data Streaming.	Discovered artifact	?
A Representative Study on Human Detection of Artificially Generated Media Across Countries.	Discovered artifact	?
Practical Attacks Against DNS Reputation Systems.	Discovered artifact	?
DeepTheft: Stealing DNN Model Architectures through Power Side Channel.	Discovered artifact	?
hinTS: Threshold Signatures with Silent Setup.	Discovered artifact	?
Efficient and Generic Microarchitectural Hash-Function Recovery.	Discovered artifact	?
Thwarting Last-Minute Voter Coercion.	Discovered artifact	?
Efficient Zero-Knowledge Arguments For Paillier Cryptosystem.	Discovered artifact	?
Baffle: Hiding Backdoors in Offline Reinforcement Learning Datasets.	Discovered artifact	?
Sticky Tags: Efficient and Deterministic Spatial Memory Error Mitigation using Persistent Memory Tags.	Discovered artifact	?
More Haste, Less Speed: Cache Related Security Threats in Continuous Integration Services.	Discovered artifact	?
Backdooring Multimodal Learning.	Discovered artifact	?
Specious Sites: Tracking the Spread and Sway of Spurious News Stories at Scale.	Discovered artifact	?
Where Are the Red Lines? Towards Ethical Server-Side Scans in Security and Privacy Research.	Discovered artifact	?
Nurgle: Exacerbating Resource Consumption in Blockchain State Storage via MPT Manipulation.	Discovered artifact	?
You Only Prompt Once: On the Capabilities of Prompt Learning on Large Language Models to Tackle Toxic Content.	Discovered artifact	?
Non-Atomic Arbitrage in Decentralized Finance.	Discovered artifact	?
Leaky Address Masking: Exploiting Unmasked Spectre Gadgets with Noncanonical Address Translation.	Discovered artifact	?
Learn What You Want to Unlearn: Unlearning Inversion Attacks against Machine Unlearning.	Discovered artifact	?
SoK: Privacy-Preserving Data Synthesis.	Discovered artifact	?
Titan : Efficient Multi-target Directed Greybox Fuzzing.	Discovered artifact	?
To Boldly Go Where No Fuzzer Has Gone Before: Finding Bugs in Linux' Wireless Stacks through VirtIO Devices.	Discovered artifact	?
Time-Aware Projections: Truly Node-Private Graph Statistics under Continual Observation.	Discovered artifact	?
Measuring the Effects of Stack Overflow Code Snippet Evolution on Open-Source Software Security.	Discovered artifact	?
Orca: FSS-based Secure Training and Inference with GPUs.	Discovered artifact	?
Budget Recycling Differential Privacy.	Discovered artifact	?
APP-Miner: Detecting API Misuses via Automatically Mining API Path Patterns.	Discovered artifact	?
Asterisk: Super-fast MPC with a Friend.	Discovered artifact	?
Prune+PlumTree - Finding Eviction Sets at Scale.	Discovered artifact	?
A Systematic Study of Physical Sensor Attack Hardness.	Discovered artifact	?
Parse Me, Baby, One More Time: Bypassing HTML Sanitizer via Parsing Differentials.	Discovered artifact	?
Pudding: Private User Discovery in Anonymity Networks.	Discovered artifact	?
NetShuffle: Circumventing Censorship with Shuffle Proxies at the Edge.	Discovered artifact	?
Cohere: Managing Differential Privacy in Large Scale Systems.	Discovered artifact	?
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers.	Discovered artifact	?
FlowMur: A Stealthy and Practical Audio Backdoor Attack with Limited Knowledge.	Discovered artifact	?
Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis.	Discovered artifact	?
DNSBomb: A New Practical-and-Powerful Pulsing DoS Attack Exploiting DNS Queries-and-Responses.	Discovered artifact	?
TuDoor Attack: Systematically Exploring and Exploiting Logic Vulnerabilities in DNS Response Pre-processing with Malformed Packets.	Discovered artifact	?
Make Revocation Cheaper: Hardware-Based Revocable Attribute-Based Encryption.	Discovered artifact	?
MAWSEO: Adversarial Wiki Search Poisoning for Illicit Online Promotion.	Discovered artifact	?
Undefined-oriented Programming: Detecting and Chaining Prototype Pollution Gadgets in Node.js Template Engines for Malicious Consequences.	Discovered artifact	?
PIRANA: Faster Multi-query PIR via Constant-weight Codes.	Discovered artifact	?
AFGen: Whole-Function Fuzzing for Applications and Libraries.	Discovered artifact	?
Pianist: Scalable zkRollups via Fully Distributed Zero-Knowledge Proofs.	Discovered artifact	?
Attacking and Improving the Tor Directory Protocol.	Discovered artifact	?
MEA-Defender: A Robust Watermark against Model Extraction Attack.	Discovered artifact	?
Need for Speed: Taming Backdoor Attacks with Speed and Precision.	Discovered artifact	?
Investigating Voter Perceptions of Printed Physical Audit Trails for Online Voting.	Discovered artifact	?
E-Vote Your Conscience: Perceptions of Coercion and Vote Buying, and the Usability of Fake Credentials in Online Voting.	Discovered artifact	?
ERASan: Efficient Rust Address Sanitizer.	Discovered artifact	?
Leveraging Prefix Structure to Detect Volumetric DDoS Attack Signatures with Programmable Switches.	Discovered artifact	?
Robust Backdoor Detection for Deep Learning via Topological Evolution Dynamics.	Discovered artifact	?
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time.	Discovered artifact	?
Targeted and Troublesome: Tracking and Advertising on Children's Websites.	Discovered artifact	?
On SMS Phishing Tactics and Infrastructure.	Discovered artifact	?
Private Hierarchical Governance for Encrypted Messaging.	Discovered artifact	?
Measure-Observe-Remeasure: An Interactive Paradigm for Differentially-Private Exploratory Analysis.	Discovered artifact	?
Video-Based Cryptanalysis: Extracting Cryptographic Keys from Video Footage of a Device's Power LED Captured by Standard Video Cameras.	Discovered artifact	?
Multi-Instance Adversarial Attack on GNN-Based Malicious Domain Detection.	Discovered artifact	?
Optimal Flexible Consensus and its Application to Ethereum.	Discovered artifact	?
"Len or index or count, anything but v1": Predicting Variable Names in Decompilation Output with Transfer Learning.	Discovered artifact	?
TCP Spoofing: Reliable Payload Transmission Past the Spoofed TCP Handshake.	Discovered artifact	?
BOLT: Privacy-Preserving, Accurate and Efficient Inference for Transformers.	Discovered artifact	?
Benzene: A Practical Root Cause Analysis System with an Under-Constrained State Mutation.	Discovered artifact	?
Universal Neural-Cracking-Machines: Self-Configurable Password Models from Auxiliary Data.	Discovered artifact	?
Patchy Performance? Uncovering the Vulnerability Management Practices of IoT-Centric Vendors.	Discovered artifact	?
BELT: Old-School Backdoor Attacks can Evade the State-of-the-Art Defense with Backdoor Exclusivity Lifting.	Discovered artifact	?
Private Analytics via Streaming, Sketching, and Silently Verifiable Proofs.	Discovered artifact	?
To Auth or Not To Auth? A Comparative Analysis of the Pre- and Post-Login Security Landscape.	Discovered artifact	?
Flash: A Comprehensive Approach to Intrusion Detection via Provenance Graph Representation Learning.	Discovered artifact	?
BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect.	Discovered artifact	?
From Chatbots to Phishbots?: Phishing Scam Generation in Commercial Large Language Models.	Discovered artifact	?
Do You Play It by the Books? A Study on Incident Response Playbooks and Influencing Factors.	Discovered artifact	?
SoK: Prudent Evaluation Practices for Fuzzing.	Discovered artifact	?
WeSee: Using Malicious #VC Interrupts to Break AMD SEV-SNP.	Discovered artifact	?
Signing in Four Public Software Package Registries: Quantity, Quality, and Influencing Factors.	Discovered artifact	?
eAudit: A Fast, Scalable and Deployable Audit Data Collection System.	Discovered artifact	?
Large-Scale Study of Vulnerability Scanners for Ethereum Smart Contracts.	Discovered artifact	?
DrSec: Flexible Distributed Representations for Efficient Endpoint Security.	Discovered artifact	?
AquaSonic: Acoustic Manipulation of Underwater Data Center Operations and Resource Management.	Discovered artifact	?
Real-Time Website Fingerprinting Defense via Traffic Cluster Anonymization.	Discovered artifact	?
Hyena: Balancing Packing, Reuse, and Rotations for Encrypted Inference.	Discovered artifact	?
From Principle to Practice: Vertical Data Minimization for Machine Learning.	Discovered artifact	?
Distribution Preserving Backdoor Attack in Self-supervised Learning.	Discovered artifact	?
The Times They Are A-Changin': Characterizing Post-Publication Changes to Online News.	Discovered artifact	?
LLMs Cannot Reliably Identify and Reason About Security Vulnerabilities (Yet?): A Comprehensive Evaluation, Framework, and Benchmarks.	Discovered artifact	?
The Inventory is Dark and Full of Misinformation: Understanding Ad Inventory Pooling in the Ad-Tech Supply Chain.	Discovered artifact	?
Moderating New Waves of Online Hate with Chain-of-Thought Reasoning in Large Language Models.	Discovered artifact	?
GrOVe: Ownership Verification of Graph Neural Networks using Embeddings.	Discovered artifact	?
Break the Wall from Bottom: Automated Discovery of Protocol-Level Evasion Vulnerabilities in Web Application Firewalls.	Discovered artifact	?
SyzTrust: State-aware Fuzzing on Trusted OS Designed for IoT Devices.	Discovered artifact	?
SwiftRange: A Short and Efficient Zero-Knowledge Range Argument For Confidential Transactions and More.	Discovered artifact	?
Where URLs Become Weapons: Automated Discovery of SSRF Vulnerabilities in Web Applications.	Discovered artifact	?
LACMUS: Latent Concept Masking for General Robustness Enhancement of DNNs.	Discovered artifact	?
SmartInv: Multimodal Learning for Smart Contract Invariant Inference.	Discovered artifact	?
MM-BD: Post-Training Detection of Backdoor Attacks with Arbitrary Backdoor Pattern Types Using a Maximum Margin Statistic.	Discovered artifact	?
LLMIF: Augmented Large Language Model for Fuzzing IoT Devices.	Discovered artifact	?
Rethinking IC Layout Vulnerability: Simulation-Based Hardware Trojan Threat Assessment with High Fidelity.	Discovered artifact	?
A Picture is Worth 500 Labels: A Case Study of Demographic Disparities in Local Machine Learning Models for Instagram and TikTok.	Discovered artifact	?
Obelix: Mitigating Side-Channels Through Dynamic Obfuscation.	Discovered artifact	?
Architectural Mimicry: Innovative Instructions to Efficiently Address Control-Flow Leakage in Data-Oblivious Programs.	Discovered artifact	✓
Shedding Light on CVSS Scoring Inconsistencies: A User-Centric Study on Evaluating Widespread Security Vulnerabilities.	Discovered artifact	?
POMABuster: Detecting Price Oracle Manipulation Attacks in Decentralized Finance.	Discovered artifact	?
Jasmine: Scale up JavaScript Static Security Analysis with Computation-based Semantic Explanation.	Discovered artifact	?
GAuV: A Graph-Based Automated Verification Framework for Perfect Semi-Honest Security of Multiparty Computation Protocols.	Discovered artifact	?
Understanding and Bridging the Gap Between Unsupervised Network Representation Learning and Security Analytics.	Discovered artifact	?
SrcMarker: Dual-Channel Source Code Watermarking via Scalable Code Transformations.	Discovered artifact	?
Pulling Off The Mask: Forensic Analysis of the Deceptive Creator Wallets Behind Smart Contract Fraud.	Discovered artifact	?
Wear's my Data? Understanding the Cross-Device Runtime Permission Model in Wearables.	Discovered artifact	?
Few-shot Unlearning.	Discovered artifact	?
MQTTactic: Security Analysis and Verification for Logic Flaws in MQTT Implementations.	Discovered artifact	?
Exploring the Orthogonality and Linearity of Backdoor Attacks.	Discovered artifact	?
No Privacy Left Outside: On the (In-)Security of TEE-Shielded DNN Partition for On-Device ML.	Discovered artifact	?
Why Does Little Robustness Help? A Further Step Towards Understanding Adversarial Transferability.	Discovered artifact	?
Predecessor-aware Directed Greybox Fuzzing.	Discovered artifact	?
Springproofs: Efficient Inner Product Arguments for Vectors of Arbitrary Length.	Discovered artifact	?
Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts.	Discovered artifact	?
Bounded and Unbiased Composite Differential Privacy.	Discovered artifact	?
Cerberus: Enabling Efficient and Effective In-Network Monitoring on Programmable Switches.	Discovered artifact	?
Securely Fine-tuning Pre-trained Encoders Against Adversarial Examples.	Discovered artifact	?
Piano: Extremely Simple, Single-Server PIR with Sublinear Server Computation.	Discovered artifact	?

IEEE S&P 2023 (95)

Paper	Artifact
Pyfet: Forensically Equivalent Transformation for Python Binary Decompilation.	Discovered artifact	?
Practically-exploitable Cryptographic Vulnerabilities in Matrix.	Discovered artifact	?
ImU: Physical Impersonating Attack for Face Recognition System with Natural Style Changes.	Discovered artifact	?
Sound Verification of Security Protocols: From Design to Interoperable Implementations.	Discovered artifact	?
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts.	Discovered artifact	?
MEGA: Malleable Encryption Goes Awry.	Discovered artifact	?
Threshold Signatures in the Multiverse.	Discovered artifact	?
SecureCells: A Secure Compartmentalized Architecture.	Discovered artifact	?
FLUTE: Fast and Secure Lookup Table Evaluations.	Discovered artifact	?
TEEzz: Fuzzing Trusted Applications on COTS Android Devices.	Discovered artifact	?
ODDFuzz: Discovering Java Deserialization Vulnerabilities via Structure-Aware Directed Greybox Fuzzing.	Discovered artifact	?
StyleFool: Fooling Video Classification Systems via Style Transfer.	Discovered artifact	?
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols.	Discovered artifact	?
Inducing Wireless Chargers to Voice Out for Inaudible Command Attacks.	Discovered artifact	?
Robust Multi-tab Website Fingerprinting Attacks in the Wild.	Discovered artifact	?
Discop: Provably Secure Steganography in Practice Based on "Distribution Copies".	Discovered artifact	?
Locally Differentially Private Frequency Estimation Based on Convolution Framework.	Discovered artifact	?
RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks.	Discovered artifact	?
It's like flossing your teeth: On the Importance and Challenges of Reproducible Builds for Software Supply Chain Security.	Discovered artifact	?
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System.	Discovered artifact	?
SQUIP: Exploiting the Scheduler Queue Contention Side Channel.	Discovered artifact	?
A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs.	Discovered artifact	?
Scatter and Split Securely: Defeating Cache Contention and Occupancy Attacks.	Discovered artifact	?
Rethinking Searchable Symmetric Encryption.	Discovered artifact	?
SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers.	Discovered artifact	?
Optimistic Fast Confirmation While Tolerating Malicious Majority in Blockchains.	Discovered artifact	?
SPHINCS+C: Compressing SPHINCS+ With (Almost) No Cost.	Discovered artifact	?
Scaphy: Detecting Modern ICS Attacks by Correlating Behaviors in SCADA and PHYsical.	Discovered artifact	?
Deep perceptual hashing algorithms with hidden dual purpose: when client-side scanning does facial recognition.	Discovered artifact	?
UTopia: Automatic Generation of Fuzz Driver using Unit Tests.	Discovered artifact	?
SegFuzz: Segmentizing Thread Interleaving to Discover Kernel Concurrency Bugs through Fuzzing.	Discovered artifact	?
Less is more: refinement proofs for probabilistic proofs.	Discovered artifact	?
Scaling JavaScript Abstract Interpretation to Detect and Exploit Node.js Taint-style Vulnerability.	Discovered artifact	?
BLEDiff: Scalable and Property-Agnostic Noncompliance Checking for BLE Implementations.	Discovered artifact	?
It's (DOM) Clobbering Time: Attack Techniques, Prevalence, and Defenses.	Discovered artifact	?
SoK: Taxonomy of Attacks on Open-Source Software Supply Chains.	Discovered artifact	?
SoK: Certified Robustness for Deep Neural Networks.	Discovered artifact	?
3DFed: Adaptive and Extensible Framework for Covert Backdoor Attack in Federated Learning.	Discovered artifact	?
ViDeZZo: Dependency-aware Virtual Device Fuzzing.	Discovered artifact	?
Side Eye: Characterizing the Limits of POV Acoustic Eavesdropping from Smartphone Cameras with Rolling Shutters and Movable Lenses.	Discovered artifact	?
Private Eye: On the Limits of Textual Screen Peeking via Eyeglass Reflections in Video Conferencing.	Discovered artifact	?
Practical Program Modularization with Type-Based Dependence Analysis.	Discovered artifact	?
From 5G Sniffing to Harvesting Leakages of Privacy-Preserving Messengers.	Discovered artifact	?
SelectFuzz: Efficient Directed Fuzzing with Selective Path Exploration.	Discovered artifact	?
RoFL: Robustness of Secure Federated Learning.	Discovered artifact	?
Flamingo: Multi-Round Single-Server Secure Aggregation with Applications to Private Federated Learning.	Discovered artifact	?
When Top-down Meets Bottom-up: Detecting and Exploiting Use-After-Cleanup Bugs in Linux Kernel.	Discovered artifact	?
Protected or Porous: A Comparative Analysis of Threat Detection Capability of IoT Safeguards.	Discovered artifact	?
REGA: Scalable Rowhammer Mitigation with Refresh-Generating Activations.	Discovered artifact	?
SoK: Cryptographic Neural-Network Computation.	Discovered artifact	?
Disguising Attacks with Explanation-Aware Backdoors.	Discovered artifact	?
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing.	Discovered artifact	?
XFL: Naming Functions in Binaries with Extreme Multi-label Learning.	Discovered artifact	?
Lambretta: Learning to Rank for Twitter Soft Moderation.	Discovered artifact	?
Examining Zero-Shot Vulnerability Repair with Large Language Models.	Discovered artifact	?
High-Order Masking of Lattice Signatures in Quasilinear Time.	Discovered artifact	?
Deepfake Text Detection: Limitations and Opportunities.	Discovered artifact	?
Red Team vs. Blue Team: A Real-World Hardware Trojan Detection Case Study Across Four Modern CMOS Technology Generations.	Discovered artifact	?
BlindHub: Bitcoin-Compatible Privacy-Preserving Payment Channel Hubs Supporting Variable Amounts.	Discovered artifact	?
On the Evolution of (Hateful) Memes by Means of Multimodal Contrastive Learning.	Discovered artifact	?
ELSA: Secure Aggregation for Federated Learning with Malicious Actors.	Discovered artifact	?
The Leaky Web: Automated Discovery of Cross-Site Information Leaks in Browsers and the Web.	Discovered artifact	?
Blue Is the New Black (Market): Privacy Leaks and Re-Victimization from Police-Auctioned Cellphones.	Discovered artifact	?
zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure.	Discovered artifact	?
Private, Efficient, and Accurate: Protecting Models Trained by Multi-party Learning with Differential Privacy.	Discovered artifact	?
Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis.	Discovered artifact	?
IPvSeeYou: Exploiting Leaked Identifiers in IPv6 for Street-Level Geolocation.	Discovered artifact	?
Public Verification for Private Hash Matching.	Discovered artifact	?
Practical Timing Side-Channel Attacks on Memory Compression.	Discovered artifact	?
Private Access Control for Function Secret Sharing.	Discovered artifact	?
Typing High-Speed Cryptography against Spectre v1.	Discovered artifact	?
Shedding Light on Inconsistencies in Grid Cybersecurity: Disconnects and Recommendations.	Discovered artifact	?
ShadowNet: A Secure and Efficient On-device Model Inference System for Convolutional Neural Networks.	Discovered artifact	?
Blue's Clues: Practical Discovery of Non-Discoverable Bluetooth Devices.	Discovered artifact	?
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.	Discovered artifact	?
Not Yet Another Digital ID: Privacy-Preserving Humanitarian Aid Distribution.	Discovered artifact	?
TeSec: Accurate Server-side Attack Investigation for Web Applications.	Discovered artifact	?
GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics.	Discovered artifact	?
Volttack: Control IoT Devices by Manipulating Power Supply Voltage.	Discovered artifact	?
"Always Contribute Back": A Qualitative Study on Security Challenges of the Open Source Supply Chain.	Discovered artifact	?
Space Odyssey: An Experimental Software Security Analysis of Satellites.	Discovered artifact	?
DepthFake: Spoofing 3D Face Authentication with a 2D Photo.	Discovered artifact	?
From Grim Reality to Practical Solution: Malware Classification in Real-World Noise.	Discovered artifact	?
ObjectSeeker: Certifiably Robust Object Detection against Patch Hiding Attacks via Patch-agnostic Masking.	Discovered artifact	?
A Theory to Instruct Differentially-Private Learning via Clipping Bias Reduction.	Discovered artifact	?
WarpAttack: Bypassing CFI through Compiler-Introduced Double-Fetches.	Discovered artifact	?
Jigsaw Puzzle: Selective Backdoor Attack to Subvert Malware Classifiers.	Discovered artifact	?
D-ARM: Disassembling ARM Binaries by Lightweight Superset Instruction Interpretation and Graph Modeling.	Discovered artifact	?
Understanding the (In)Security of Cross-side Face Verification Systems in Mobile Apps: A System Perspective.	Discovered artifact	?
GeeSolver: A Generic, Efficient, and Effortless Solver with Self-Supervised Learning for Breaking Text Captchas.	Discovered artifact	?
Limits of I/O Based Ransomware Detection: An Imitation Based Attack.	Discovered artifact	?
Mew: Enabling Large-Scale and Dynamic Link-Flooding Defenses on Programmable Switches.	Discovered artifact	?
Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning.	Discovered artifact	?
TrojanModel: A Practical Trojan Attack against Automatic Speech Recognition Systems.	Discovered artifact	?
WeRLman: To Tackle Whale (Transactions), Go Deep (RL).	Discovered artifact	?

IEEE S&P 2022 (80)

Paper	Artifact
How to Attack and Generate Honeywords.	Discovered artifact	?
LINKTELLER: Recovering Private Edges from Graph Neural Networks via Influence Analysis.	Discovered artifact	?
Exploit the Last Straw That Breaks Android Systems.	Discovered artifact	?
Low-Bandwidth Threshold ECDSA via Pseudorandom Correlation Generators.	Discovered artifact	?
Spook.js: Attacking Chrome Strict Site Isolation via Speculative Execution.	Discovered artifact	?
HARDLOG: Practical Tamper-Proof System Auditing Using a Novel Audit Device.	Discovered artifact	?
Four Attacks and a Proof for Telegram.	Discovered artifact	?
Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques.	Discovered artifact	?
Transcending TRANSCEND: Revisiting Malware Classification in the Presence of Concept Drift.	Discovered artifact	?
IronMask: Versatile Verification of Masking Security.	Discovered artifact	?
ProVerif with Lemmas, Induction, Fast Subsumption, and Much More.	Discovered artifact	?
Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures.	Discovered artifact	✓
Bad Characters: Imperceptible NLP Attacks.	Discovered artifact	?
Noise-SDR: Arbitrary Modulation of Electromagnetic Noise from Unprivileged Software and Its Impact on Emission Security.	Discovered artifact	?
Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models.	Discovered artifact	?
JIGSAW: Efficient and Scalable Path Constraints Fuzzing.	Discovered artifact	?
Delay Wreaks Havoc on Your Smart Home: Delay-based Automation Interference Attacks.	Discovered artifact	?
Repairing DoS Vulnerability of Real-World Regexes.	Discovered artifact	?
Practical Asynchronous Distributed Key Generation.	Discovered artifact	?
Waldo: A Private Time-Series Database from Function Secret Sharing.	Discovered artifact	?
DEEPCASE: Semi-Supervised Contextual Analysis of Security Events.	Discovered artifact	?
Evaluating Physical-Layer BLE Location Tracking Attacks on Mobile Devices.	Discovered artifact	?
Surakav: Generating Realistic Traces for a Strong Website Fingerprinting Defense.	Discovered artifact	?
HEAPSTER: Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images.	Discovered artifact	?
Adversarial Prefetch: New Cross-Core Cache Side Channel Attacks.	Discovered artifact	?
How Does Usable Security (Not) End Up in Software Products? Results From a Qualitative Interview Study.	Discovered artifact	?
Hark: A Deep Learning System for Navigating Privacy Feedback at Scale.	Discovered artifact	?
Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations.	Discovered artifact	?
ShorTor: Improving Tor Network Latency via Multi-hop Overlay Routing.	Discovered artifact	?
IRQDebloat: Reducing Driver Attack Surface in Embedded Devices.	Discovered artifact	?
AccEar: Accelerometer Acoustic Eavesdropping with Unconstrained Vocabulary.	Discovered artifact	?
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning.	Discovered artifact	?
"They're not that hard to mitigate": What Cryptographic Library Developers Think About Timing Attacks.	Discovered artifact	?
BLACKSMITH: Scalable Rowhammering in the Frequency Domain.	Discovered artifact	?
BadEncoder: Backdoor Attacks to Pre-trained Encoders in Self-Supervised Learning.	Discovered artifact	?
Peekaboo: A Hub-Based Approach to Enable Transparency in Data Processing within Smart Homes.	Discovered artifact	?
FuzzUSB: Hybrid Stateful Fuzzing of USB Gadget Stacks.	Discovered artifact	?
PGPatch: Policy-Guided Logic Bug Patching for Robotic Vehicles.	Discovered artifact	?
Finding and Exploiting CPU Features using MSR Templating.	Discovered artifact	?
Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks.	Discovered artifact	?
PATA: Fuzzing with Path Aware Taint Analysis.	Discovered artifact	?
GREBE: Unveiling Exploitation Potential for Linux Kernel Bugs.	Discovered artifact	?
Piccolo: Exposing Complex Backdoors in NLP Transformer Models.	Discovered artifact	?
SoK: How Robust is Image Classification Deep Neural Network Watermarking?	Discovered artifact	?
Goshawk: Hunting Memory Corruptions via Structure-Aware and Object-Centric Memory Operation Synopsis.	Discovered artifact	?
Property Inference from Poisoning.	Discovered artifact	?
Transfer Attacks Revisited: A Large-Scale Empirical Study in Real Computer Vision Settings.	Discovered artifact	?
SPIRAL: Fast, High-Rate Single-Server PIR via FHE Composition.	Discovered artifact	?
Mitigating Information Leakage Vulnerabilities with Type-based Data Isolation.	Discovered artifact	?
Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA.	Discovered artifact	?
DeepCoFFEA: Improved Flow Correlation Attacks on Tor via Metric Learning and Amplification.	Discovered artifact	?
CirC: Compiler infrastructure for proof systems, software verification, and more.	Discovered artifact	?
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents.	Discovered artifact	?
Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions.	Discovered artifact	?
Quantifying Blockchain Extractable Value: How dark is the forest?	Discovered artifact	?
DeepSteal: Advanced Model Extractions Leveraging Efficient Weight Stealing in Memories.	Discovered artifact	?
SecFloat: Accurate Floating-Point meets Secure 2-Party Computation.	Discovered artifact	?
Wobfuscator: Obfuscating JavaScript Malware via Opportunistic Translation to WebAssembly.	Discovered artifact	?
SNARKBlock: Federated Anonymous Blocklisting from Hidden Common Input Aggregate Proofs.	Discovered artifact	?
SYMBEXCEL: Automated Analysis and Understanding of Malicious Excel 4.0 Macros.	Discovered artifact	?
Scraping Sticky Leftovers: App User Information Left on Servers After Account Deletion.	Discovered artifact	?
Private Approximate Nearest Neighbor Search with Sublinear Communication.	Discovered artifact	?
Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis.	Discovered artifact	?
Model Stealing Attacks Against Inductive Graph Neural Networks.	Discovered artifact	?
Domains Do Change Their Spots: Quantifying Potential Abuse of Residual Trust.	Discovered artifact	?
IRShield: A Countermeasure Against Adversarial Physical-Layer Wireless Sensing.	Discovered artifact	?
ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs.	Discovered artifact	?
27 Years and 81 Million Opportunities Later: Investigating the Use of Email Encryption for an Entire University.	Discovered artifact	?
Model Orthogonalization: Class Distance Hardening in Neural Networks for Better Security.	Discovered artifact	?
SIRAJ: A Unified Framework for Aggregation of Malicious Entity Detectors.	Discovered artifact	?
Sphinx: Enabling Privacy-Preserving Online Learning over the Cloud.	Discovered artifact	?
Augury: Using Data Memory-Dependent Prefetchers to Leak Data at Rest.	Discovered artifact	?
RT-TEE: Real-time System Availability for Cyber-physical Systems using ARM TrustZone.	Discovered artifact	?
Committed to Trust: A Qualitative Study on Security & Trust in Open Source Software Projects.	Discovered artifact	?
DEPCOMM: Graph Summarization on System Audit Logs for Attack Investigation.	Discovered artifact	?
WTAGRAPH: Web Tracking and Advertising Detection using Graph Neural Networks.	Discovered artifact	?
SHADEWATCHER: Recommendation-guided Cyber Threat Analysis using System Audit Records.	Discovered artifact	?
Graphics Peeping Unit: Exploiting EM Side-Channel Information of GPUs to Eavesdrop on Your Neighbors.	Discovered artifact	?
vSGX: Virtualizing SGX Enclaves on AMD SEV.	Discovered artifact	?
Locally Differentially Private Sparse Vector Aggregation.	Discovered artifact	?

IEEE S&P 2021 (62)

Paper	Artifact
SoK: The Faults in our ASRs: An Overview of Attacks against Automatic Speech Recognition and Speaker Identification Systems.	Discovered artifact	?
Bitcoin-Compatible Virtual Channels.	Discovered artifact	?
An Interactive Prover for Protocol Verification in the Computational Model.	Discovered artifact	?
Runtime Recovery of Web Applications under Zero-Day ReDoS Attacks.	Discovered artifact	?
Survivalism: Systematic Analysis of Windows Malware Living-Off-The-Land.	Discovered artifact	?
The EMV Standard: Break, Fix, Verify.	Discovered artifact	?
DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers.	Discovered artifact	?
Trouble Over-The-Air: An Analysis of FOTA Apps in the Android Ecosystem.	Discovered artifact	?
Invisible for both Camera and LiDAR: Security of Multi-Sensor Fusion based Perception in Autonomous Driving Under Physical-World Attacks.	Discovered artifact	?
Is Private Learning Possible with Instance Encoding?	Discovered artifact	?
Compositional Security for Reentrant Applications.	Discovered artifact	?
Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems.	Discovered artifact	?
Data Privacy in Trigger-Action Systems.	Discovered artifact	?
Detecting Filter List Evasion with Event-Loop-Turn Granularity JavaScript Signatures.	Discovered artifact	?
Bookworm Game: Automatic Discovery of LTE Vulnerabilities Through Documentation Analysis.	Discovered artifact	?
One Engine to Fuzz 'em All: Generic Language Processor Testing with Semantic Validation.	Discovered artifact	?
Using Selective Memoization to Defeat Regular Expression Denial of Service (ReDoS).	Discovered artifact	?
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.	Discovered artifact	?
Many-out-of-Many Proofs and Applications to Anonymous Zether.	Discovered artifact	?
Doing good by fighting fraud: Ethical anti-fraud systems for mobile payments.	Discovered artifact	?
Black Widow: Blackbox Data-driven Web Scanning.	Discovered artifact	?
Reading Between the Lines: An Extensive Evaluation of the Security and Privacy Implications of EPUB Reading Systems.	Discovered artifact	?
Compositional Non-Interference for Fine-Grained Concurrent Programs.	Discovered artifact	?
Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.	Discovered artifact	?
A Novel Dynamic Analysis Infrastructure to Instrument Untrusted Execution Flow Across User-Kernel Spaces.	Discovered artifact	?
They Would do Better if They Worked Together: The Case of Interaction Problems Between Password Managers and Websites.	Discovered artifact	?
Post-quantum WireGuard.	Discovered artifact	?
Epochal Signatures for Deniable Group Chats.	Discovered artifact	?
DifuzzRTL: Differential Fuzz Testing to Find CPU Bugs.	Discovered artifact	?
Fingerprinting the Fingerprinters: Learning to Detect Browser Fingerprinting Behaviors.	Discovered artifact	?
Poltergeist: Acoustic Adversarial Machine Learning against Cameras and Computer Vision.	Discovered artifact	?
Proof-of-Learning: Definitions and Practice.	Discovered artifact	?
Real-World Snapshots vs. Theory: Questioning the t-Probing Security Model.	Discovered artifact	?
CANNON: Reliable and Stealthy Remote Shutdown Attacks via Unaltered Automotive Microcontrollers.	Discovered artifact	?
Android Custom Permissions Demystified: From Privilege Escalation to Design Shortcomings.	Discovered artifact	?
ARBITRAR: User-Guided API Misuse Detection.	Discovered artifact	?
PEGASUS: Bridging Polynomial and Non-polynomial Evaluations in Homomorphic Encryption.	Discovered artifact	?
DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis.	Discovered artifact	?
Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma.	Discovered artifact	?
SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically.	Discovered artifact	?
DynPTA: Combining Static and Dynamic Analysis for Practical Selective Data Protection.	Discovered artifact	?
SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask.	Discovered artifact	?
Improving Password Guessing via Representation Learning.	Discovered artifact	?
CRYLOGGER: Detecting Crypto Misuses Dynamically.	Discovered artifact	?
Trust, But Verify: A Longitudinal Analysis Of Android OEM Compliance and Customization.	Discovered artifact	?
CrossTalk: Speculative Data Leaks Across Cores Are Real.	Discovered artifact	?
SiRnn: A Math Library for Secure RNN Inference.	Discovered artifact	?
Diane: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices.	Discovered artifact	?
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts.	Discovered artifact	?
Lockable Signatures for Blockchains: Scriptless Scripts for All Signatures.	Discovered artifact	?
Bomberman: Defining and Defeating Hardware Ticking Timebombs at Design-time.	Discovered artifact	?
Method Confusion Attack on Bluetooth Pairing.	Discovered artifact	?
SoK: Fully Homomorphic Encryption Compilers.	Discovered artifact	?
HackEd: A Pedagogical Analysis of Online Vulnerability Discovery Exercises.	Discovered artifact	?
Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages.	Discovered artifact	?
Detecting AI Trojans Using Meta Neural Analysis.	Discovered artifact	?
Happer: Unpacking Android Apps via a Hardware-Assisted Approach.	Discovered artifact	?
An I/O Separation Model for Formal Verification of Kernel Implementations.	Discovered artifact	?
ConDySTA: Context-Aware Dynamic Supplement to Static Taint Analysis.	Discovered artifact	?
StochFuzz: Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting.	Discovered artifact	?
On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols.	Discovered artifact	?
Self-Supervised Euphemism Detection and Identification for Content Moderation.	Discovered artifact	?

IEEE S&P 2020 (41)

Paper	Artifact
CrypTFlow: Secure TensorFlow Inference.	Discovered artifact	?
MarkUs: Drop-in use-after-free prevention for low-level languages.	Discovered artifact	?
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.	Discovered artifact	?
BIAS: Bluetooth Impersonation AttackS.	Discovered artifact	?
Ijon: Exploring Deep State Spaces via Fuzzing.	Discovered artifact	?
ZEXE: Enabling Decentralized Private Computation.	Discovered artifact	?
LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection.	Discovered artifact	?
HopSkipJumpAttack: A Query-Efficient Decision-Based Attack.	Discovered artifact	?
Pseudorandom Black Swans: Cache Attacks on CTR_DRBG.	Discovered artifact	?
Are We Susceptible to Rowhammer? An End-to-End Methodology for Cloud Providers.	Discovered artifact	?
Even Black Cats Cannot Stay Hidden in the Dark: Full-band De-anonymization of Bluetooth Classic Devices.	Discovered artifact	?
Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability.	Discovered artifact	?
RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization.	Discovered artifact	?
A Security Analysis of the Facebook Ad Library.	Discovered artifact	?
Spectector: Principled Detection of Speculative Information Flows.	Discovered artifact	?
How not to prove your election outcome.	Discovered artifact	?
TextExerciser: Feedback-driven Text Input Exercising for Android Applications.	Discovered artifact	?
AdGraph: A Graph-Based Approach to Ad and Tracker Blocking.	Discovered artifact	?
Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity.	Discovered artifact	?
SPIDER: Enabling Fast Patch Propagation In Related Software Repositories.	Discovered artifact	?
Towards a Natural Perspective of Smart Homes for Practical Security and Safety Analyses.	Discovered artifact	?
This PIN Can Be Easily Guessed: Analyzing the Security of Smartphone Unlock PINs.	Discovered artifact	?
Do Cookie Banners Respect my Choice? : Measuring Legal Compliance of Banners from IAB Europe's Transparency and Consent Framework.	Discovered artifact	?
Plundervolt: Software-based Fault Injection Attacks against Intel SGX.	Discovered artifact	?
Ask the Experts: What Should Be on an IoT Privacy and Security Label?	Discovered artifact	?
ICLab: A Global, Longitudinal Internet Censorship Measurement Platform.	Discovered artifact	?
Privacy Risks of General-Purpose Language Models.	Discovered artifact	?
Fuzzing JavaScript Engines with Aspect-preserving Mutation.	Discovered artifact	?
VerX: Safety Verification of Smart Contracts.	Discovered artifact	?
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.	Discovered artifact	?
Karonte: Detecting Insecure Multi-binary Interactions in Embedded Firmware.	Discovered artifact	?
HydRand: Efficient Continuous Distributed Randomness.	Discovered artifact	?
Path Oblivious Heap: Optimal and Practical Oblivious Priority Queue.	Discovered artifact	?
VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts.	Discovered artifact	?
Towards Scalable Threshold Cryptosystems.	Discovered artifact	?
Dragonblood: Analyzing the Dragonfly Handshake of WPA3 and EAP-pwd.	Discovered artifact	?
High Precision Open-World Website Fingerprinting.	Discovered artifact	?
SEVurity: No Security Without Integrity : Breaking Integrity-Free Memory Encryption with Minimal Assumptions.	Discovered artifact	?
Unexpected Data Dependency Creation and Chaining: A New Attack to SDN.	Discovered artifact	?
OHIE: Blockchain Scaling Made Simple.	Discovered artifact	?
Automatic Uncovering of Hidden Behaviors From Input Validation in Mobile Apps.	Discovered artifact	?

IEEE S&P 2019 (28)

Paper	Artifact
SoK: Shining Light on Shadow Stacks.	Discovered artifact	?
Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem.	Discovered artifact	?
F-BLEAU: Fast Black-Box Leakage Estimation.	Discovered artifact	?
SoK: The Challenges, Pitfalls, and Perils of Using Hardware Performance Counters for Security.	Discovered artifact	?
True2F: Backdoor-Resistant Authentication Tokens.	Discovered artifact	?
Asm2Vec: Boosting Static Representation Robustness for Binary Clone Search against Code Obfuscation and Compiler Optimization.	Discovered artifact	?
Threshold ECDSA from ECDSA Assumptions: The Multiparty Case.	Discovered artifact	?
Perun: Virtual Payment Hubs over Cryptocurrencies.	Discovered artifact	?
Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises.	Discovered artifact	?
Fidelius: Protecting User Secrets from Compromised Browsers.	Discovered artifact	?
An Extensive Formal Security Analysis of the OpenID Financial-Grade API.	Discovered artifact	?
SoK: General Purpose Compilers for Secure Multi-Party Computation.	Discovered artifact	?
Razzer: Finding Kernel Race Bugs through Fuzzing.	Discovered artifact	?
Touching the Untouchables: Dynamic Security Analysis of the LTE Control Plane.	Discovered artifact	?
Spectre Attacks: Exploiting Speculative Execution.	Discovered artifact	?
Certified Robustness to Adversarial Examples with Differential Privacy.	Discovered artifact	?
Reasoning Analytically about Password-Cracking Software.	Discovered artifact	?
Resident Evil: Understanding Residential IP Proxy as a Dark Service.	Discovered artifact	?
Full-Speed Fuzzing: Reducing Fuzzing Overhead through Coverage-Guided Tracing.	Discovered artifact	?
How Well Do My Results Generalize? Comparing Security and Privacy Survey Results from MTurk, Web, and Telephone Samples.	Discovered artifact	?
Breaking LTE on Layer Two.	Discovered artifact	?
RIDL: Rogue In-Flight Data Load.	Discovered artifact	?
NEUZZ: Efficient Fuzzing with Neural Program Smoothing.	Discovered artifact	?
SoK: Sanitizing for Security.	Discovered artifact	?
LBM: A Security Framework for Peripherals within the Linux Kernel.	Discovered artifact	?
Theory and Practice of Finding Eviction Sets.	Discovered artifact	?
SensorID: Sensor Calibration Fingerprinting for Smartphones.	Discovered artifact	?
Why Does Your Data Leak? Uncovering the Data Leakage in Cloud from Mobile Apps.	Discovered artifact	?

IEEE S&P 2018 (14)

Paper	Artifact
DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice.	Discovered artifact	?
Secure Two-party Threshold ECDSA from ECDSA Assumptions.	Discovered artifact	?
When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts.	Discovered artifact	?
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation.	Discovered artifact	?
Manipulating Machine Learning: Poisoning Attacks and Countermeasures for Regression Learning.	Discovered artifact	?
Compiler-Assisted Code Randomization.	Discovered artifact	?
Tracking Certificate Misissuance in the Wild.	Discovered artifact	?
FuturesMEX: Secure, Distributed Futures Market Exchange.	Discovered artifact	?
Distance-Bounding Protocols: Verification without Time and Location.	Discovered artifact	?
T-Fuzz: Fuzzing by Program Transformation.	Discovered artifact	?
A Tale of Two Studies: The Best and Worst of YubiKey Usability.	Discovered artifact	?
Routing Around Congestion: Defeating DDoS Attacks and Adverse Network Conditions via Reactive BGP Routing.	Discovered artifact	?
FP-STALKER: Tracking Browser Fingerprint Evolutions.	Discovered artifact	?
Doubly-Efficient zkSNARKs Without Trusted Setup.	Discovered artifact	?

IEEE S&P 2017 (24)

Paper	Artifact
Identifying Personal DNA Methylation Profiles by Genotype Inference.	Discovered artifact	?
Hijacking Bitcoin: Routing Attacks on Cryptocurrencies.	Discovered artifact	?
Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes.	Discovered artifact	?
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate.	Discovered artifact	?
SymCerts: Practical Symbolic Execution for Exposing Noncompliance in X.509 Certificate Validation Implementations.	Discovered artifact	?
Protecting Bare-Metal Embedded Systems with Privilege Overlays.	Discovered artifact	?
Machine-Checked Proofs of Privacy for Electronic Voting Protocols.	Discovered artifact	?
Implementing and Proving the TLS 1.3 Record Layer.	Discovered artifact	?
To Catch a Ratter: Monitoring the Behavior of Amateur DarkComet RAT Operators in the Wild.	Discovered artifact	?
Stack Overflow Considered Harmful? The Impact of Copy&Paste on Android Application Security.	Discovered artifact	?
SoK: Cryptographically Protected Database Search.	Discovered artifact	?
Hardening Java's Access Control by Abolishing Implicit Privilege Elevation.	Discovered artifact	?
VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery.	Discovered artifact	?
Securing Augmented Reality Output.	Discovered artifact	?
Pyramid: Enhancing Selectivity in Big Data Protection with Count Featurization.	Discovered artifact	?
SoK: Exploiting Network Printers.	Discovered artifact	?
From Trash to Treasure: Timing-Sensitive Garbage Collection.	Discovered artifact	?
NEZHA: Efficient Domain-Independent Differential Testing.	Discovered artifact	?
Membership Inference Attacks Against Machine Learning Models.	Discovered artifact	?
HVLearn: Automated Black-Box Analysis of Hostname Verification in SSL/TLS Implementations.	Discovered artifact	?
Scalable Bias-Resistant Distributed Randomness.	Discovered artifact	?
Catena: Efficient Non-equivocation via Bitcoin.	Discovered artifact	?
Cryptographic Function Detection in Obfuscated Binaries via Bit-Precise Symbolic Loop Mapping.	Discovered artifact	?
vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases.	Discovered artifact	?

IEEE S&P 2016 (9)

Paper	Artifact
Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication.	Discovered artifact	?
A Method for Verifying Privacy-Type Properties: The Unbounded Case.	Discovered artifact	?
Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks.	Discovered artifact	?
Cloak of Visibility: Detecting When Machines Browse a Different Web.	Discovered artifact	?
PhotoProof: Cryptographic Image Authentication for Any Set of Permissible Transformations.	Discovered artifact	?
Return to the Zombie Gadgets: Undermining Destructive Code Reads via Code Inference Attacks.	Discovered artifact	?
Keeping Authorities "Honest or Bust" with Decentralized Witness Cosigning.	Discovered artifact	?
Verifiable ASICs.	Discovered artifact	?
Revisiting Square-Root ORAM: Efficient Random Access in Multi-party Computation.	Discovered artifact	?

IEEE S&P 2015 (11)

Paper	Artifact
ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data.	Discovered artifact	?
Micro-Policies: Formally Verified, Tag-Based Security Monitors.	Discovered artifact	?
Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs.	Discovered artifact	?
SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies.	Discovered artifact	?
Post-Quantum Key Exchange for the TLS Protocol from the Ring Learning with Errors Problem.	Discovered artifact	?
Riposte: An Anonymous Messaging System Handling Millions of Users.	Discovered artifact	?
Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices.	Discovered artifact	?
ObliVM: A Programming Framework for Secure Computation.	Discovered artifact	?
GraphSC: Parallel Secure Computation Made Easy.	Discovered artifact	?
Effective Real-Time Android Application Auditing.	Discovered artifact	?
Automatic Inference of Search Patterns for Taint-Style Vulnerabilities.	Discovered artifact	?

IEEE S&P 2014 (9)

Paper	Artifact
Secure Multiparty Computations on Bitcoin.	Discovered artifact	?
Hacking Blind.	Discovered artifact	?
When HTTPS Meets CDN: A Case of Authentication in Delegated Service.	Discovered artifact	?
Stopping a Rapid Tornado with a Puff.	Discovered artifact	?
Quantifying Information Flow for Dynamic Secrets.	Discovered artifact	?
Pivot: Fast, Synchronous Mashup Isolation Using Generator Chains.	Discovered artifact	?
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations.	Discovered artifact	?
Automated Verification of Group Key Agreement Protocols.	Discovered artifact	?
Practical Evasion of a Learning-Based Classifier: A Case Study.	Discovered artifact	?

IEEE S&P 2013 (7)

Paper	Artifact
Efficient Garbling from a Fixed-Key Blockcipher.	Discovered artifact	?
Declarative, Temporal, and Practical Programming with Capabilities.	Discovered artifact	?
A Scanner Darkly: Protecting User Privacy from Perceptual Applications.	Discovered artifact	?
Anon-Pass: Practical Anonymous Subscriptions.	Discovered artifact	?
Welcome to the Entropics: Boot-Time Entropy in Embedded Devices.	Discovered artifact	?
Just-In-Time Code Reuse: On the Effectiveness of Fine-Grained Address Space Layout Randomization.	Discovered artifact	?
Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework.	Discovered artifact	?

IEEE S&P 2012 (8)

Paper	Artifact
Detecting Hoaxes, Frauds, and Deception in Writing Style Online.	Discovered artifact	?
Sharing Mobile Code Securely with Information Flow Control.	Discovered artifact	?
The Quest to Replace Passwords: A Framework for Comparative Evaluation of Web Authentication Schemes.	Discovered artifact	?
Hummingbird: Privacy at the Time of Twitter.	Discovered artifact	?
Peek-a-Boo, I Still See You: Why Efficient Traffic Analysis Countermeasures Fail.	Discovered artifact	?
ReDeBug: Finding Unpatched Code Clones in Entire OS Distributions.	Discovered artifact	?
Third-Party Web Tracking: Policy and Technology.	Discovered artifact	?
Dissecting Android Malware: Characterization and Evolution.	Discovered artifact	?

IEEE S&P 2010 (2)

Paper	Artifact
A Proof-Carrying File System.	Discovered artifact	?
Chip and PIN is Broken.	Discovered artifact	?

IEEE S&P 2009 (1)

Paper	Artifact
Plaintext Recovery Attacks against SSH.	Discovered artifact	?

IEEE S&P 2008 (3)

Paper	Artifact
ClearShot: Eavesdropping on Keyboard Input from Video.	Discovered artifact	?
Civitas: Toward a Secure Voting System.	Discovered artifact	?
Pacemakers and Implantable Cardiac Defibrillators: Software Radio Attacks and Zero-Power Defenses.	Discovered artifact	?

IEEE S&P 2006 (2)

Paper	Artifact
A Framework for the Evaluation of Intrusion Detection Systems.	Discovered artifact	?
Locating Hidden Servers.	Discovered artifact	?

IEEE S&P 2003 (2)

Paper	Artifact
Active Mapping: Resisting NIDS Evasion without Altering Traffic.	Discovered artifact	?
Using Replication and Partitioning to Build Secure Distributed Systems.	Discovered artifact	?

IEEE S&P 2002 (1)

Paper	Artifact
Optical Time-Domain Eavesdropping Risks of CRT Displays.	Discovered artifact	?

IEEE S&P 2000 (1)

Paper	Artifact
Kronos: A Scalable Group Re-Keying Approach for Secure Multicast.	Discovered artifact	?

USENIX Security (841)

2025 (68) · 2024 (155) · 2023 (144) · 2022 (77) · 2021 (104) · 2020 (48) · 2019 (56) · 2018 (41) · 2017 (28) · 2016 (32) · 2015 (18) · 2014 (19) · 2013 (9) · 2012 (8) · 2011 (6) · 2010 (5) · 2009 (2) · 2008 (4) · 2007 (3) · 2005 (3) · 2004 (1) · 2003 (2) · 2002 (2) · 2001 (6)

USENIX Security 2025 (68)

Paper	Artifact
Easy As Child's Play: An Empirical Study on Age Verification of Adult-Oriented Android Apps	Discovered artifact	?
Abusability of Automation Apps in Intimate Partner Violence	Discovered artifact	?
A First Look at Governments' Enterprise Security Guidance	Discovered artifact	?
Mind the Inconspicuous: Revealing the Hidden Weakness in Aligned LLMs' Refusal Boundaries	Discovered artifact	?
My ZIP isn't your ZIP: Identifying and Exploiting Semantic Gaps Between ZIP Parsers	Discovered artifact	?
SoK: Towards a Unified Approach to Applied Replicability for Computer Security	Discovered artifact	?
Exposing the Guardrails: Reverse-Engineering and Jailbreaking Safety Filters in DALL*E Text-to-Image Pipelines	Discovered artifact	?
Neural Invisibility Cloak: Concealing Adversary in Images via Compromised AI-driven Image Signal Processing	Discovered artifact	?
Backdooring Bias (B^2) into Stable Diffusion Models	Discovered artifact	?
CloudFlow: Identifying Security-sensitive Data Flows in Serverless Applications	Discovered artifact	?
Approve Once, Regret Forever: On the Exploitation of Ethereum's Approve-TransferFrom Ecosystem	Discovered artifact	?
SoK: Inaccessible & Insecure: An Exposition of Authentication Challenges Faced by Blind and Visually Impaired Users in State-of-the-Art Academic Proposals	Discovered artifact	?
SoK: Come Together - Unifying Security, Information Theory, and Cognition for a Mixed Reality Deception Attack Ontology & Analysis Framework	Discovered artifact	?
I Know What You Said: Unveiling Hardware Cache Side-Channels in Local Large Language Model Inference	Discovered artifact	?
AidFuzzer: Adaptive Interrupt-Driven Firmware Fuzzing via Run-Time State Recognition	Discovered artifact	?
Efficient 2PC for Constant Round Secure Equality Testing and Comparison	Discovered artifact	?
zkGPT: An Efficient Non-interactive Zero-knowledge Proof Framework for LLM Inference	Discovered artifact	?
Efficient Multi-Party Private Set Union Without Non-Collusion Assumptions	Discovered artifact	?
"I wasn't sure if this is indeed a security risk": Data-driven Understanding of Security Issue Reporting in GitHub Repositories of Open Source npm Packages	Discovered artifact	?
Context Matters: Qualitative Insights into Developers' Approaches and Challenges with Software Composition Analysis	Discovered artifact	?
A limited technical background is sufficient for attack-defense tree acceptability	Discovered artifact	?
"It's not my responsibility to write them": An Empirical Study of Software Product Managers and Security Requirements	Discovered artifact	?
Patching Up: Stakeholder Experiences of Security Updates for Connected Medical Devices	Discovered artifact	?
StruQ: Defending Against Prompt Injection with Structured Queries	Discovered artifact	?
TEEcorrelate: An Information-Preserving Defense against Performance-Counter Attacks on TEEs	Discovered artifact	?
Systematic Evaluation of Randomized Cache Designs against Cache Occupancy	Discovered artifact	?
General-Purpose f-DP Estimation and Auditing in a Black-Box Setting	Discovered artifact	?
FastLloyd: Federated, Accurate, Secure, and Tunable k-Means Clustering with Differential Privacy	Discovered artifact	?
Addressing Sensitivity Distinction in Local Differential Privacy: A General Utility-Optimized Framework	Discovered artifact	?
"I'm regretting that I hit run": In-situ Assessment of Potential Malware	Discovered artifact	?
"I'm trying to learn...and I'm shooting myself in the foot": Beginners' Struggles When Solving Binary Exploitation Exercises	Discovered artifact	?
"That's my perspective from 30 years of doing this": An Interview Study on Practices, Experiences, and Challenges of Updating Cryptographic Code	Discovered artifact	?
"I have no idea how to make it safer": Studying Security and Privacy Mindsets of Browser Extension Developers	Discovered artifact	?
DP-BREM: Differentially-Private and Byzantine-Robust Federated Learning with Client Momentum	Discovered artifact	?
No Way to Sign Out? Unpacking Non-Compliance with Google Play's App Account Deletion Requirements	Discovered artifact	?
ImpROV: Measurement and Practical Mitigation of Collateral Damage in RPKI Route Origin Validation	Discovered artifact	?
"I Cannot Write This Because It Violates Our Content Policy": Understanding Content Moderation Policies and User Experiences in Generative AI Products	Discovered artifact	?
DiskSpy: Exploring a Long-Range Covert-Channel Attack via mmWave Sensing of mm-level HDD Vibrations	Discovered artifact	?
The Ghost Navigator: Revisiting the Hidden Vulnerability of Localization in Autonomous Driving	Discovered artifact	?
BarraCUDA: Edge GPUs do Leak DNN Weights	Discovered artifact	?
NeuroScope: Reverse Engineering Deep Neural Network on Edge Devices using Dynamic Analysis	Discovered artifact	?
On the Atomicity and Efficiency of Blockchain Payment Channels	Discovered artifact	?
Following Devils' Footprint: Towards Real-time Detection of Price Manipulation Attacks	Discovered artifact	?
Thunderdome: Timelock-Free Rationally-Secure Virtual Channels	Discovered artifact	?
SoK: Towards Effective Automated Vulnerability Repair	Discovered artifact	?
SoK: Automated TTP Extraction from CTI Reports - Are We There Yet?	Discovered artifact	?
High Stakes, Low Certainty: Evaluating the Efficacy of High-Level Indicators of Compromise in Ransomware Attribution	Discovered artifact	?
'Hey mum, I dropped my phone down the toilet': Investigating Hi Mum and Dad SMS Scams in the United Kingdom	Discovered artifact	?
"Please don't send that bot anything": A Mixed-methods Study of Personal Impersonation Attacks Targeting Digital Payments on Social Media	Discovered artifact	?
Improved Secure Two-party Computation from a Geometric Perspective	Discovered artifact	?
zk-promises: Anonymous Moderation, Reputation, and Blocking from Anonymous Credentials with Callbacks	Discovered artifact	?
A Formal Analysis of Apple's iMessage PQ3 Protocol	Discovered artifact	?
Tracking the Takes and Trajectories of English-Language News Narratives across Trustworthy and Worrisome Websites	Discovered artifact	?
The Conspiracy Money Machine: Uncovering Telegram's Conspiracy Channels and their Profit Model	Discovered artifact	?
For Human Ears Only: Preventing Automated Monitoring on Voice Data	Discovered artifact	?
Websites' Global Privacy Control Compliance at Scale and over Time	Discovered artifact	?
Privacy Law Enforcement Under Centralized Governance: A Qualitative Analysis of Four Years' Special Privacy Rectification Campaigns	Discovered artifact	?
Who Pays Whom? Anonymous EMV-Compliant Contactless Payments	Discovered artifact	?
Privacy Solution or Menace? Investigating Perceptions of Radio-Frequency Sensing	Discovered artifact	?
As Advertised? Understanding the Impact of Influencer VPN Ads	Discovered artifact	?
ELFuzz: Efficient Input Generation via LLM-driven Synthesis Over Fuzzer Space	Discovered artifact	?
SoK: Gradient Inversion Attacks in Federated Learning	Discovered artifact	?
Addressing the Address Books' (Interdependent) Privacy Issues	Discovered artifact	?
DiffLoc: WiFi Hidden Camera Localization Based on Electromagnetic Diffraction	Discovered artifact	?
How to Compare Bandwidth Constrained Two-Party Secure Messaging Protocols: A Quest for A More Efficient and Secure Post-Quantum Protocol	Discovered artifact	?
Private Set Intersection and other Set Operations in the Third Party Setting	Discovered artifact	?
A Framework for Abusability Analysis: The Case of Passkeys in Interpersonal Threat Models	Discovered artifact	?
Leuvenshtein: Efficient FHE-based Edit Distance Computation with Single Bootstrap per Cell	Discovered artifact	?

USENIX Security 2024 (155)

Paper	Artifact
AttackGNN: Red-Teaming GNNs in Hardware Security Using Reinforcement Learning	Discovered artifact	?
Page-Oriented Programming: Subverting Control-Flow Integrity of Commodity Operating System Kernels with Non-Writable Code Pages	Discovered artifact	?
Loopy Hell(ow): Infinite Traffic Loops at the Application Layer	Discovered artifact	?
Efficient Privacy Auditing in Federated Learning	Discovered artifact	?
Lotto: Secure Participant Selection against Adversarial Servers in Federated Learning	Discovered artifact	?
A Taxonomy of C Decompiler Fidelity Issues	Discovered artifact	?
SymFit: Making the Common (Concrete) Case Fast for Binary-Code Concolic Execution	Discovered artifact	?
K-Waay: Fast and Deniable Post-Quantum X3DH without Ring Signatures	Discovered artifact	?
Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging	Discovered artifact	?
PhishDecloaker: Detecting CAPTCHA-cloaked Phishing Websites via Hybrid Vision-based Interactive Models	Discovered artifact	?
Less Defined Knowledge and More True Alarms: Reference-based Phishing Detection without a Pre-defined Reference List	Discovered artifact	?
The Impact of Exposed Passwords on Honeyword Efficacy	Discovered artifact	?
UIHash: Detecting Similar Android UIs through Grid-Based Visual Appearance Representation	Discovered artifact	?
Racing for TLS Certificate Validation: A Hijacker's Guide to the Android TLS Galaxy	Discovered artifact	?
Vulnerability-oriented Testing for RESTful APIs	Discovered artifact	?
KnowPhish: Large Language Models Meet Multimodal Knowledge Graphs for Enhancing Reference-Based Phishing Detection	Discovered artifact	?
Exploring ChatGPT's Capabilities on Vulnerability Management	Discovered artifact	?
Large Language Models for Code Analysis: Do LLMs Really Do Their Job?	Discovered artifact	?
OptFuzz: Optimization Path Guided Fuzzing for JavaScript JIT Compilers	Discovered artifact	?
Towards Generic Database Management System Fuzzing	Discovered artifact	?
HYPERPILL: Fuzzing for Hypervisor-bugs by Leveraging the Hardware Virtualization Interface	Discovered artifact	?
Gradients Look Alike: Sensitivity is Often Overestimated in DP-SGD	Discovered artifact	?
SoK: The Good, The Bad, and The Unbalanced: Measuring Structural Limitations of Deepfake Media Datasets	Discovered artifact	?
Can I Hear Your Face? Pervasive Attack on Voice Authentication Systems with a Single Face Image	Discovered artifact	?
dp-promise: Differentially Private Diffusion Probabilistic Models for Image Synthesis	Discovered artifact	?
Take a Step Further: Understanding Page Spray in Linux Kernel Exploitation	Discovered artifact	?
EVOKE: Efficient Revocation of Verifiable Credentials in IoT Networks	Discovered artifact	?
DNN-GP: Diagnosing and Mitigating Model's Faults Using Latent Concepts	Discovered artifact	?
Yes, One-Bit-Flip Matters! Universal DNN Model Inference Depletion with Runtime Code Fault Injection	Discovered artifact	?
Don't Waste My Efforts: Pruning Redundant Sanitizer Checks by Developer-Implemented Type Checks	Discovered artifact	?
Practical Security Analysis of Zero-Knowledge Proof Circuits	Discovered artifact	?
True Attacks, Attack Attempts, or Benign Triggers? An Empirical Measurement of Network Alerts in a Security Operations Center	Discovered artifact	?
ZenHammer: Rowhammer Attacks on AMD Zen-based Platforms	Discovered artifact	?
00SEVen - Re-enabling Virtual Machine Forensics: Introspecting Confidential VMs Using Privileged in-VM Agents	Discovered artifact	?
WEBRR: A Forensic System for Replaying and Investigating Web-Based Attacks in The Modern Web	Discovered artifact	?
An LLM-Assisted Easy-to-Trigger Backdoor Attack on Code Completion Models: Injecting Disguised Vulnerabilities against Strong Detection	Discovered artifact	?
REMARK-LLM: A Robust and Efficient Watermarking Framework for Generative Large Language Models	Discovered artifact	?
Instruction Backdoor Attacks Against Customized LLMs	Discovered artifact	?
Formalizing and Benchmarking Prompt Injection Attacks and Defenses	Discovered artifact	?
FIRE: Combining Multi-Stage Filtering with Taint Analysis for Scalable Recurring Vulnerability Detection	Discovered artifact	?
ORANalyst: Systematic Testing Framework for Open RAN Implementations	Discovered artifact	?
A Binary-level Thread Sanitizer or Why Sanitizing on the Binary Level is Hard	Discovered artifact	?
Lightweight Authentication of Web Data via Garble-Then-Prove	Discovered artifact	?
Invalidate+Compare: A Timer-Free GPU Cache Attack Primitive	Discovered artifact	?
AutoFHE: Automated Adaption of CNNs for Efficient Evaluation over FHE	Discovered artifact	?
Fast and Private Inference of Deep Neural Networks by Co-designing Activation Functions	Discovered artifact	?
Accelerating Secure Collaborative Machine Learning with Protocol-Aware RDMA	Discovered artifact	?
CalcuLatency: Leveraging Cross-Layer Network Latency Measurements to Detect Proxy-Enabled Abuse	Discovered artifact	?
6Sense: Internet-Wide IPv6 Scanning and its Security Applications	Discovered artifact	?
Did the Neurons Read your Book? Document-level Membership Inference for Large Language Models	Discovered artifact	?
A Linear Reconstruction Approach for Attribute Inference Attacks against Synthetic Data	Discovered artifact	?
Critical Code Guided Directed Greybox Fuzzing for Commits	Discovered artifact	?
Inf2Guard: An Information-Theoretic Framework for Learning Privacy-Preserving Representations against Inference Attacks	Discovered artifact	?
Property Existence Inference against Generative Models	Discovered artifact	?
Data Coverage for Guided Fuzzing	Discovered artifact	?
SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities	Discovered artifact	?
FEASE: Fast and Expressive Asymmetric Searchable Encryption	Discovered artifact	?
GFWeb: Measuring the Great Firewall's Web Censorship at Scale	Discovered artifact	?
Snowflake, a censorship circumvention system using temporary WebRTC proxies	Discovered artifact	?
That Doesn't Go There: Attacks on Shared State in Multi-User Augmented Reality Applications	Discovered artifact	?
"I'm not convinced that they don't collect more than is necessary": User-Controlled Data Minimization Design in Search Engines	Discovered artifact	?
The Effect of Design Patterns on (Present and Future) Cookie Consent Decisions	Discovered artifact	?
Neural Network Semantic Backdoor Detection and Mitigation: A Causality-Based Approach	Discovered artifact	?
Transferability of White-box Perturbations: Query-Efficient Adversarial Attacks against Commercial DNN Services	Discovered artifact	?
It Doesn't Look Like Anything to Me: Using Diffusion Model to Subvert Visual Phishing Detectors	Discovered artifact	?
Athena: Analyzing and Quantifying Side Channels of Transport Layer Protocols	Discovered artifact	?
SOAP: A Social Authentication Protocol	Discovered artifact	?
Engaging Company Developers in Security Research Studies: A Comprehensive Literature Review and Quantitative Survey	Discovered artifact	?
"What Keeps People Secure is That They Met The Security Team": Deconstructing Drivers And Goals of Organizational Security Awareness	Discovered artifact	?
Sync+Sync: A Covert Channel Built on fsync with Storage	Discovered artifact	?
Pixel Thief: Exploiting SVG Filter Leakage in Firefox and Chrome	Discovered artifact	?
HECKLER: Breaking Confidential VMs with Malicious Interrupts	Discovered artifact	?
Mempool Privacy via Batched Threshold Encryption: Attacks and Defenses	Discovered artifact	?
GuideEnricher: Protecting the Anonymity of Ethereum Mixing Service Users with Deep Reinforcement Learning	Discovered artifact	?
All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts	Discovered artifact	?
Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts	Discovered artifact	?
Rethinking the Invisible Protection against Unauthorized Image Usage in Stable Diffusion	Discovered artifact	?
Splitting the Difference on Adversarial Training	Discovered artifact	?
DONAPI: Malicious NPM Packages Detector using Behavior Sequence Knowledge Mapping	Discovered artifact	?
SecurityNet: Assessing Machine Learning Vulnerabilities on Public Models	Discovered artifact	?
SoK: What Don't We Know? Understanding Security Vulnerabilities in SNARKs	Discovered artifact	?
Digital Discrimination of Users in Sanctioned States: The Case of the Cuba Embargo	Discovered artifact	?
A Broad Comparative Evaluation of Software Debloating Tools	Discovered artifact	?
VoltSchemer: Use Voltage Noise to Manipulate Your Wireless Charger	Discovered artifact	?
VibSpeech: Exploring Practical Wideband Eavesdropping via Bandlimited Signal of Vibration-based Side Channel	Discovered artifact	?
GPU Memory Exploitation for Fun and Profit	Discovered artifact	?
Fledging Will Continue Until Privacy Improves: Empirical Analysis of Google's Privacy-Preserving Targeted Advertising	Discovered artifact	?
BackdoorIndicator: Leveraging OOD Data for Proactive Backdoor Detection in Federated Learning	Discovered artifact	?
Uncovering the Limits of Machine Learning for Automatic Vulnerability Detection	Discovered artifact	?
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks	Discovered artifact	?
LaKey: Efficient Lattice-Based Distributed PRFs Enable Scalable Distributed Key Management	Discovered artifact	?
Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications	Discovered artifact	?
Finding Traceability Attacks in the Bluetooth Low Energy Specification and Its Implementations	Discovered artifact	?
Exploring Covert Third-party Identifiers through External Storage in the Android New Era	Discovered artifact	?
Smudged Fingerprints: Characterizing and Improving the Performance of Web Application Fingerprinting	Discovered artifact	?
LLM-Fuzzer: Scaling Assessment of Large Language Model Jailbreaks	Discovered artifact	?
Making Them Ask and Answer: Jailbreaking Large Language Models in Few Queries via Disguise and Reconstruction	Discovered artifact	?
Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities	Discovered artifact	?
From One Thousand Pages of Specification to Unveiling Hidden Bugs: Large Language Model Assisted Fuzzing of Matter IoT Devices	Discovered artifact	?
"What do you want from theory alone?" Experimenting with Tight Auditing of Differentially Private Synthetic Data Generation	Discovered artifact	?
Towards More Practical Threat Models in Artificial Intelligence Security	Discovered artifact	?
TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning	Discovered artifact	?
"Belt and suspenders" or "just red tape"?: Investigating Early Artifacts and User Perceptions of IoT App Security Certification	Discovered artifact	?
"I really just leaned on my community for support": Barriers, Challenges, and Coping Mechanisms Used by Survivors of Technology-Facilitated Abuse to Seek Social Support	Discovered artifact	?
ATTention Please! An Investigation of the App Tracking Transparency Permission	Discovered artifact	?
Tickets or Privacy? Understand the Ecosystem of Chinese Ticket Grabbing Apps	Discovered artifact	?
Learning with Semantics: Towards a Semantics-Aware Routing Anomaly Detection System	Discovered artifact	?
MAGIC: Detecting Advanced Persistent Threats via Masked Graph Representation Learning	Discovered artifact	?
DeepEclipse: How to Break White-Box DNN-Watermarking Schemes	Discovered artifact	?
SHiFT: Semi-hosted Fuzz Testing for Embedded Applications	Discovered artifact	?
GridSE: Towards Practical Secure Geographic Search via Prefix Symmetric Searchable Encryption	Discovered artifact	?
Abuse-Resistant Location Tracking: Balancing Privacy and Safety in the Offline Finding Ecosystem	Discovered artifact	?
ElectionGuard: a Cryptographic Toolkit to Enable Verifiable Elections	Discovered artifact	?
A High Coverage Cybersecurity Scale Predictive of User Behavior	Discovered artifact	?
Biosignal Authentication Considered Harmful Today	Discovered artifact	?
Abandon All Hope Ye Who Enter Here: A Dynamic, Longitudinal Investigation of Android's Data Safety Section	Discovered artifact	?
iHunter: Hunting Privacy Violations at Scale in the Software Supply Chain on iOS	Discovered artifact	?
A NEW HOPE: Contextual Privacy Policies for Mobile Applications and An Approach Toward Automated Generation	Discovered artifact	?
Deciphering Textual Authenticity: A Generalized Strategy through the Lens of Large Language Semantics for Detecting Human vs. Machine-Generated Text	Discovered artifact	?
Prompt Stealing Attacks Against Text-to-Image Generation Models	Discovered artifact	?
Quantifying Privacy Risks of Prompts in Visual Prompt Learning	Discovered artifact	?
Improving Indirect-Call Analysis in LLVM with Type and Data-Flow Co-Analysis	Discovered artifact	?
I Experienced More than 10 DeFi Scams: On DeFi Users' Perception of Security Breaches and Countermeasures	Discovered artifact	?
LR-Miner: Static Race Detection in OS Kernels by Mining Locking Rules	Discovered artifact	?
GhostRace: Exploiting and Mitigating Speculative Race Conditions	Discovered artifact	?
zkCross: A Novel Architecture for Cross-Chain Privacy-Preserving Auditing	Discovered artifact	?
CARDSHARK: Understanding and Stablizing Linux Kernel Concurrency Bugs Against the Odds	Discovered artifact	?
Pixel+ and Pixel++: Compact and Efficient Forward-Secure Multi-Signatures for PoS Blockchain Consensus	Discovered artifact	?
VOGUES: Validation of Object Guise using Estimated Components	Discovered artifact	?
Cryptographic Analysis of Delta Chat	Discovered artifact	?
Unbalanced Circuit-PSI from Oblivious Key-Value Retrieval	Discovered artifact	?
PEPSI: Practically Efficient Private Set Intersection in the Unbalanced Setting	Discovered artifact	?
Scalable Private Set Union, with Stronger Security	Discovered artifact	?
O-Ring and K-Star: Efficient Multi-party Private Set Intersection	Discovered artifact	?
DVSorder: Ballot Randomization Flaws Threaten Voter Privacy	Discovered artifact	?
Navigating the Privacy Compliance Maze: Understanding Risks with Privacy-Configurable Mobile SDKs	Discovered artifact	?
Demystifying the Security Implications in IoT Device Rental Services	Discovered artifact	?
SAIN: Improving ICS Attack Detection Sensitivity via State-Aware Invariants	Discovered artifact	?
Privacy Side Channels in Machine Learning Systems	Discovered artifact	?
Hijacking Attacks against Neural Network by Analyzing Training Data	Discovered artifact	?
Landscape More Secure Than Portrait? Zooming Into the Directionality of Digital Images With Security Implications	Discovered artifact	?
POPSTAR: Lightweight Threshold Reporting with Reduced Leakage	Discovered artifact	?
DaCapo: Automatic Bootstrapping Management for Efficient Fully Homomorphic Encryption	Discovered artifact	?
Leveraging Semantic Relations in Code and Data to Enhance Taint Analysis of Embedded Systems	Discovered artifact	?
SCAVY: Automated Discovery of Memory Corruption Targets in Linux Kernel for Privilege Escalation	Discovered artifact	?
The Challenges of Bringing Cryptography from Research Papers to Products: Results from an Interview Study with Experts	Discovered artifact	?
A Mixed-Methods Study on User Experiences and Challenges of Recovery Codes for an End-to-End Encrypted Service	Discovered artifact	?
Devil in the Room: Triggering Audio Backdoors in the Physical World	Discovered artifact	?
p-Jack: Physical-World Adversarial Attack on Monocular Depth Estimation with Perspective Hijacking	Discovered artifact	?
AE-Morpher: Improve Physical Robustness of Adversarial Objects against LiDAR-based Detectors via Object Reconstruction	Discovered artifact	?
EaTVul: ChatGPT-based Evasion Attack Against Software Vulnerability Detection	Discovered artifact	?
FVD-DPM: Fine-grained Vulnerability Detection via Conditional Diffusion Probabilistic Models	Discovered artifact	?
A Wolf in Sheep's Clothing: Practical Black-box Adversarial Attacks for Evading Learning-based Windows Malware Detection in the Wild	Discovered artifact	?
Leakage-Abuse Attacks Against Structured Encryption for SQL	Discovered artifact	?
Key Recovery Attacks on Approximate Homomorphic Encryption with Non-Worst-Case Noise Flooding Countermeasures	Discovered artifact	?

USENIX Security 2023 (144)

Paper	Artifact
Framing Frames: Bypassing Wi-Fi Encryption by Manipulating Transmit Queues	Discovered artifact	?
Formal Analysis and Patching of BLE-SC Pairing	Discovered artifact	?
Abuse Vectors: A Framework for Conceptualizing IoT-Enabled Interpersonal Abuse	Discovered artifact	?
"It's the Equivalent of Feeling Like You're in Jail": Lessons from Firsthand and Secondhand Accounts of IoT-Enabled Intimate Partner Abuse	Discovered artifact	?
The Digital-Safety Risks of Financial Technologies for Survivors of Intimate Partner Violence	Discovered artifact	?
Sneaky Spy Devices and Defective Detectors: The Ecosystem of Intimate Partner Surveillance with Covert Devices	Discovered artifact	?
Towards a General Video-based Keystroke Inference Attack	Discovered artifact	?
Auditory Eyesight: Demystifying ms-Precision Keystroke Tracking Attacks on Unconstrained Keyboard Inputs	Discovered artifact	?
Watch your Watch: Inferring Personality Traits from Wearable Activity Trackers	Discovered artifact	?
How to Cover up Anomalous Accesses to Electronic Health Records	Discovered artifact	?
KENKU: Towards Efficient and Stealthy Black-box Adversarial Attacks against ASR Systems	Discovered artifact	?
Tubes Among Us: Analog Attack on Automatic Speaker Identification	Discovered artifact	?
Near-Optimal Oblivious Key-Value Stores for Efficient PSI, PSU and Volume-Hiding Multi-Maps	Discovered artifact	?
Distance-Aware Private Set Intersection	Discovered artifact	?
Efficient Unbalanced Private Set Intersection Cardinality and User-friendly Privacy-preserving Contact Tracing	Discovered artifact	?
Auditing Frameworks Need Resource Isolation: A Systematic Study on the Super Producer Threat to System Auditing and Its Mitigation	Discovered artifact	?
AIRTAG: Towards Automated Attack Investigation by Unsupervised Learning with Log Texts	Discovered artifact	?
Exploring Tenants' Preferences of Privacy Negotiation in Airbnb	Discovered artifact	?
Know Your Cybercriminal: Evaluating Attacker Preferences by Measuring Profile Sales on an Active, Leading Criminal Market for User Impersonation at Scale	Discovered artifact	?
An Input-Agnostic Hierarchical Deep Learning Framework for Traffic Fingerprinting	Discovered artifact	?
Subverting Website Fingerprinting Defenses with Robust Traffic Representation	Discovered artifact	?
Rosetta: Enabling Robust TLS Encrypted Traffic Classification in Diverse Network Environments with TCP-Aware Traffic Augmentation	Discovered artifact	?
TPatch: A Triggered Physical Adversarial Patch	Discovered artifact	?
CAPatch: Physical Adversarial Patch against Image Captioning Systems	Discovered artifact	?
Hard-label Black-box Universal Adversarial Patch Attack	Discovered artifact	?
Glimpse: On-Demand PoW Light Client with Constant-Size Storage for DeFi	Discovered artifact	?
Exploring User Reactions and Mental Models Towards Perceptual Manipulation Attacks in Mixed Reality	Discovered artifact	?
Improving Real-world Password Guessing Attacks via Bi-directional Transformers	Discovered artifact	?
Arana: Discovering and Characterizing Password Guessing Attacks in Practice	Discovered artifact	?
Lalaine: Measuring and Characterizing Non-Compliance of Apple Privacy Labels	Discovered artifact	?
Continuous Learning for Android Malware Detection	Discovered artifact	?
Cryptographic Administration for Secure Group Messaging	Discovered artifact	?
uFUZZ: Redesign of Parallel Fuzzing using Microservice Architecture	Discovered artifact	?
VIPER: Spotting Syscall-Guard Variables for Data-Only Attacks	Discovered artifact	?
AURC: Detecting Errors in Program Code and Documentation	Discovered artifact	?
Measuring Up to (Reasonable) Consumer Expectations: Providing an Empirical Basis for Holding IoT Manufacturers Legally Responsible	Discovered artifact	?
Detecting and Handling IoT Interaction Threats in Multi-Platform Multi-Control-Channel Smart Homes	Discovered artifact	?
PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov Models	Discovered artifact	?
Your Exploit is Mine: Instantly Synthesizing Counterattack Smart Contract	Discovered artifact	?
Proxy Hunting: Understanding and Characterizing Proxy-based Upgradeable Smart Contracts in Blockchains	Discovered artifact	?
GLeeFuzz: Fuzzing WebGL Through Error Message Guided Mutation	Discovered artifact	?
SCARF - A Low-Latency Block Cipher for Secure Cache-Randomization	Discovered artifact	?
Synchronization Storage Channels (S2C): Timer-less Cache Side-Channel Attacks on the Apple M1 via Hardware Synchronization Instructions	Discovered artifact	?
InfinityGauntlet: Expose Smartphone Fingerprint Authentication to Brute-force Attack	Discovered artifact	?
CodexLeaks: Privacy Leaks from Code Generation Language Models in GitHub Copilot	Discovered artifact	?
Freaky Leaky SMS: Extracting User Locations by Analyzing SMS Timings	Discovered artifact	?
PTW: Pivotal Tuning Watermarking for Pre-Trained Image Generators	Discovered artifact	?
Hey Kimya, Is My Smart Speaker Spying on Me? Taking Control of Sensor Privacy Through Isolation and Amnesia	Discovered artifact	?
Learning Normality is Enough: A Software-based Mitigation against Inaudible Voice Attacks	Discovered artifact	?
QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems	Discovered artifact	?
To Cloud or not to Cloud: A Qualitative Study on Self-Hosters' Motivation, Operation, and Security Mindset	Discovered artifact	?
"I wouldn't want my unsafe code to run my pacemaker": An Interview Study on the Use, Comprehension, and Perceived Risks of Unsafe Rust	Discovered artifact	?
Network Responses to Russia's Invasion of Ukraine in 2022: A Cautionary Tale for Internet Freedom	Discovered artifact	?
Timeless Timing Attacks and Preload Defenses in Tor's DNS Cache	Discovered artifact	?
A Data-free Backdoor Injection Approach in Neural Networks	Discovered artifact	?
Sparsity Brings Vulnerabilities: Exploring New Metrics in Backdoor Attacks	Discovered artifact	?
Aliasing Backdoor Attacks on Pre-trained Models	Discovered artifact	?
ASSET: Robust Backdoor Data Detection Across a Multiplicity of Deep Learning Paradigms	Discovered artifact	?
DDRace: Finding Concurrency UAF Vulnerabilities in Linux Drivers with Directed Fuzzing	Discovered artifact	?
Automata-Guided Control-Flow-Sensitive Fuzz Driver Generation	Discovered artifact	?
PatchVerif: Discovering Faulty Patches in Robotic Vehicles	Discovered artifact	?
You Can't See Me: Physical Removal Attacks on LiDAR-based Autonomous Vehicles Driving Frameworks	Discovered artifact	?
Fast IDentity Online with Anonymous Credentials (FIDO-AC)	Discovered artifact	?
Inducing Authentication Failures to Bypass Credit Card PINs	Discovered artifact	?
An Empirical Study & Evaluation of Modern CAPTCHAs	Discovered artifact	?
Two Sides of the Shield: Understanding Protective DNS adoption factors	Discovered artifact	?
The Maginot Line: Attacking the Boundary of DNS Caching Protection	Discovered artifact	?
Inductive Graph Unlearning	Discovered artifact	?
GAP: Differentially Private Graph Neural Networks with Aggregation Perturbation	Discovered artifact	?
PrivGraph: Differentially Private Graph Data Publication by Exploiting Community Information	Discovered artifact	?
The Case for Learned Provenance Graph Storage Systems	Discovered artifact	?
A Large Scale Study of the Ethereum Arbitrage Ecosystem	Discovered artifact	?
ACon^2: Adaptive Conformal Consensus for Provable Blockchain Oracles	Discovered artifact	?
Snapping Snap Sync: Practical Attacks on Go Ethereum Synchronising Nodes	Discovered artifact	?
LibScan: Towards More Precise Third-Party Library Identification for Android Applications	Discovered artifact	?
Union under Duress: Understanding Hazards of Duplicate Resource Mismediation in Android Software Supply Chain	Discovered artifact	?
UVSCAN: Detecting Third-Party Component Usage Violations in IoT Firmware	Discovered artifact	?
Beyond Typosquatting: An In-depth Look at Package Confusion	Discovered artifact	?
Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning	Discovered artifact	?
Detecting API Post-Handling Bugs Using Code and Description in Patches	Discovered artifact	?
X-Adv: Physical Adversarial Object Attacks against X-ray Prohibited Item Detection	Discovered artifact	?
Egg Hunt in Tesla Infotainment: A First Look at Reverse Engineering of Qt Binaries	Discovered artifact	?
You've Got Report: Measurement and Security Implications of DMARC Reporting	Discovered artifact	?
Knowledge Expansion and Counterfactual Interaction for Reference-Based Phishing Detection	Discovered artifact	?
Network Detection of Interactive SSH Impostors Using Deep Learning	Discovered artifact	?
BalanceProofs: Maintainable Vector Commitments with Fast Aggregation	Discovered artifact	?
zkSaaS: Zero-Knowledge SNARKs as a Service	Discovered artifact	?
Intender: Fuzzing Intent-Based Networking with Intent-State Transition Guidance	Discovered artifact	?
Automated Exploitable Heap Layout Generation for Heap Overflows Through Manipulation Distance-Guided Fuzzing	Discovered artifact	?
MINER: A Hybrid Data-Driven Approach for REST API Fuzzing	Discovered artifact	?
HOMESPY: The Invisible Sniffer of Infrared Remote Control of Smart TVs	Discovered artifact	?
Near-Ultrasound Inaudible Trojan (Nuit): Exploiting Your Speaker to Attack Your Microphone	Discovered artifact	?
Medusa Attack: Exploring Security Hazards of In-App QR Code Scanning	Discovered artifact	?
ELASM: Error-Latency-Aware Scale Management for Fully Homomorphic Encryption	Discovered artifact	?
DiffSmooth: Certifiably Robust Learning via Diffusion Models and Local Smoothing	Discovered artifact	?
Keep Your Friends Close, but Your Routeservers Closer: Insights into RPKI Validation in the Internet	Discovered artifact	?
No Linux, No Problem: Fast and Correct Windows Binary Fuzzing via Target-embedded Snapshotting	Discovered artifact	?
ACTOR: Action-Guided Kernel Fuzzing	Discovered artifact	?
KextFuzz: Fuzzing macOS Kernel EXTensions on Apple Silicon via Exploiting Mitigations	Discovered artifact	?
Educators' Perspectives of Using (or Not Using) Online Exam Proctoring	Discovered artifact	?
Ethical Frameworks and Computer Security Trolley Problems: Foundations for Conversations	Discovered artifact	?
Catch You and I Can: Revealing Source Voiceprint Against Voice Conversion	Discovered artifact	?
Extracting Training Data from Diffusion Models	Discovered artifact	?
A Plot is Worth a Thousand Words: Model Information Stealing Attacks via Scientific Plots	Discovered artifact	?
Beyond The Gates: An Empirical Analysis of HTTP-Managed Password Stealers and Operators	Discovered artifact	?
WaterBear: Practical Asynchronous BFT Matching Security Guarantees of Partially Synchronous BFT	Discovered artifact	?
Efficient 3PC for Binary Circuits with Application to Maliciously-Secure DNN Inference	Discovered artifact	?
Long Live The Honey Badger: Robust Asynchronous DPSS and its Applications	Discovered artifact	?
Eye-Shield: Real-Time Protection of Mobile Device Screen Information from Shoulder Surfing	Discovered artifact	?
Lost in Conversion: Exploit Data Structure Conversion with Attribute Loss to Break Android Systems	Discovered artifact	?
AnimateDead: Debloating Web Applications Using Concolic Execution	Discovered artifact	?
NAUTILUS: Automated RESTful API Vulnerability Detection	Discovered artifact	?
Fuzz The Power: Dual-role State Guided Black-box Fuzzing for USB Power Delivery	Discovered artifact	?
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses	Discovered artifact	?
High Recovery with Fewer Injections: Practical Binary Volumetric Injection Attacks against Dynamic Searchable Encryption	Discovered artifact	?
Cross Container Attacks: The Bewildered eBPF on Clouds	Discovered artifact	?
WHIP: Improving Static Vulnerability Detection in Web Application by Forcing tools to Collaborate	Discovered artifact	?
Bilingual Problems: Studying the Security Risks Incurred by Native Extensions in Scripting Languages	Discovered artifact	?
Did the Shark Eat the Watchdog in the NTP Pool? Deceiving the NTP Pool's Monitoring System	Discovered artifact	?
SHELTER: Extending Arm CCA with Isolation in User Space	Discovered artifact	?
Secure Floating-Point Training	Discovered artifact	?
FedVal: Different good or different bad in federated learning	Discovered artifact	?
FreeEagle: Detecting Complex Neural Trojans in Data-Free Cases	Discovered artifact	?
Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth	Discovered artifact	?
V1SCAN: Discovering 1-day Vulnerabilities in Reused C/C++ Open-source Software Components Using Code Classification Techniques	Discovered artifact	?
The Most Dangerous Codec in the World: Finding and Exploiting Vulnerabilities in H.264 Decoders	Discovered artifact	?
TRIDENT: Towards Detecting and Mitigating Web-based Social Engineering Attacks	Discovered artifact	?
Fact-Saboteurs: A Taxonomy of Evidence Manipulation Attacks against Fact-Verification Systems	Discovered artifact	?
CipherH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations	Discovered artifact	?
That Person Moves Like A Car: Misclassification Attack Detection for Autonomous Systems Using Spatiotemporal Consistency	Discovered artifact	?
Extending a Hand to Attackers: Browser Privilege Escalation Attacks via Extensions	Discovered artifact	?
RoB: Ransomware over Modern Web Browsers	Discovered artifact	?
Pool-Party: Exploiting Browser Resource Pools for Web Tracking	Discovered artifact	?
Ultimate SLH: Taking Speculative Load Hardening to the Next Level	Discovered artifact	?
Downfall: Exploiting Speculative Data Gathering	Discovered artifact	?
FACE-AUDITOR: Data Auditing in Facial Recognition Systems	Discovered artifact	?
Fairness Properties of Face Recognition and Obfuscation Systems	Discovered artifact	?
UnGANable: Defending Against GAN-based Face Manipulation	Discovered artifact	?
Can a Deep Learning Model for One Architecture Be Used for Others? Retargeted-Architecture Binary Code Analysis	Discovered artifact	?
AIRS: Explanation for Deep Reinforcement Learning based Security Applications	Discovered artifact	?
Every Signature is Broken: On the Insecurity of Microsoft Office's OOXML Signatures	Discovered artifact	?
Downgrading DNSSEC: How to Exploit Crypto Agility for Hijacking Signed Zones	Discovered artifact	?
All cops are broadcasting: TETRA under scrutiny	Discovered artifact	?
On the Feasibility of Malware Unpacking via Hardware-assisted Loop Profiling	Discovered artifact	?

USENIX Security 2022 (77)

Paper	Artifact
Under the Hood of DANE Mismanagement in SMTP	Discovered artifact	?
Seeing the Forest for the Trees: Understanding Security Hazards in the 3GPP Ecosystem through Intelligent Analysis on Change Requests	Discovered artifact	?
Mistrust Plugins You Must: A Large-Scale Study Of Malicious Plugins In WordPress Marketplaces	Discovered artifact	?
Breaking Bridgefy, again: Adopting libsignal is not enough	Discovered artifact	?
OS-Aware Vulnerability Prioritization via Differential Severity Analysis	Discovered artifact	?
Pool Inference Attacks on Local Differential Privacy: Quantifying the Privacy Guarantees of Apple's Count Mean Sketch in Practice	Discovered artifact	?
Communication-Efficient Triangle Counting under Local Differential Privacy	Discovered artifact	?
Watching the watchers: bias and vulnerability in remote proctoring software	Discovered artifact	?
AMD Prefetch Attacks through Power and Time	Discovered artifact	?
Hiding in Plain Sight? On the Efficacy of Power Side Channel-Based Control Flow Monitoring	Discovered artifact	?
Binoculars: Contention-Based Side-Channel Attacks Exploiting the Page Walker	Discovered artifact	?
The Dangers of Human Touch: Fingerprinting Browser Extensions through User Actions	Discovered artifact	?
Unleash the Simulacrum: Shifting Browser Realities for Robust Extension-Fingerprinting Prevention	Discovered artifact	?
Online Website Fingerprinting: Evaluating Website Fingerprinting Attacks on Tor in the Real World	Discovered artifact	?
How Are Your Zombie Accounts? Understanding Users' Practices and Expectations on Mobile App Account Deletion	Discovered artifact	?
Neither Access nor Control: A Longitudinal Investigation of the Efficacy of User Access-Control Solutions on Smartphones	Discovered artifact	?
FuzzOrigin: Detecting UXSS vulnerabilities in Browsers through Origin Fuzzing	Discovered artifact	?
FRAMESHIFTER: Security Implications of HTTP/2-to-HTTP/1 Conversion Anomalies	Discovered artifact	?
Lumos: Identifying and Localizing Diverse Hidden IoT Devices in an Unfamiliar Environment	Discovered artifact	?
"OK, Siri" or "Hey, Google": Evaluating Voiceprint Distinctiveness via Content-based PROLE Score	Discovered artifact	?
Watching the Watchers: Practical Video Identification Attack in LTE Networks	Discovered artifact	?
DoLTEst: In-depth Downlink Negative Testing Framework for LTE Devices	Discovered artifact	?
Synthetic Data - Anonymisation Groundhog Day	Discovered artifact	?
Birds of a Feather Flock Together: How Set Bias Helps to Deanonymize You via Revealed Intersection Sizes	Discovered artifact	?
FReD: Identifying File Re-Delegation in Android System Services	Discovered artifact	?
GhostTouch: Targeted Attacks on Touchscreens without Physical Touch	Discovered artifact	?
SARA: Secure Android Remote Authorization	Discovered artifact	?
FOAP: Fine-Grained Open-World Android App Fingerprinting	Discovered artifact	?
Inferring Phishing Intention via Webpage Appearance and Dynamics: A Deep Vision Based Approach	Discovered artifact	?
Hand Me Your PIN! Inferring ATM PINs of Users Typing with a Covered Hand	Discovered artifact	?
GPU-accelerated PIR with Client-Independent Preprocessing for Large-Scale Applications	Discovered artifact	?
Increasing Adversarial Uncertainty to Scale Private Similarity Testing	Discovered artifact	?
Leaky Forms: A Study of Email and Password Exfiltration Before Form Submission	Discovered artifact	?
DoubleStar: Long-Range Attack Towards Depth Estimation based Obstacle Avoidance in Autonomous Systems	Discovered artifact	?
SAID: State-aware Defense Against Injection Attacks on In-vehicle Network	Discovered artifact	?
Rolling Colors: Adversarial Laser Exploits against Traffic Light Recognition	Discovered artifact	?
Towards Automatically Reverse Engineering Vehicle Diagnostic Protocols	Discovered artifact	?
How Machine Learning Is Solving the Binary Function Similarity Problem	Discovered artifact	?
Blacklight: Scalable Defense for Neural Networks against Query-Based Black-Box Attacks	Discovered artifact	?
DnD: A Cross-Architecture Deep Neural Network Decompiler	Discovered artifact	?
GAROTA: Generalized Active Root-Of-Trust Architecture (for Tiny Embedded Devices)	Discovered artifact	?
ReZone: Disarming TrustZone with TEE Privilege Reduction	Discovered artifact	?
Hecate: Abuse Reporting in Secure Messengers with Sealed Sender	Discovered artifact	?
IHOP: Improved Statistical Query Recovery against Searchable Symmetric Encryption through Quadratic Optimization	Discovered artifact	?
Dynamic Searchable Encryption with Optimal Search in the Presence of Deletions	Discovered artifact	?
ALASTOR: Reconstructing the Provenance of Serverless Intrusions	Discovered artifact	?
Towards More Robust Keyword Spotting for Voice Assistants	Discovered artifact	?
VerLoc: Verifiable Localization in Decentralized Systems	Discovered artifact	?
Who Are You (I Really Wanna Know)? Detecting Audio DeepFakes Through Vocal Tract Reconstruction	Discovered artifact	?
RE-Mind: a First Look Inside the Mind of a Reverse Engineer	Discovered artifact	?
Characterizing the Security of Github CI Workflows	Discovered artifact	?
Decomperson: How Humans Decompile and What We Can Learn From It	Discovered artifact	?
Shuffle-based Private Set Union: Faster and More Secure	Discovered artifact	?
MOVERY: A Precise Approach for Modified Vulnerable Code Clone Discovery from Modified Open-Source Software Components	Discovered artifact	?
Rendering Contention Channel Made Practical in Web Browsers	Discovered artifact	?
StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing	Discovered artifact	?
Private Signaling	Discovered artifact	?
Practical Privacy-Preserving Authentication for SSH	Discovered artifact	?
Smart Home Privacy Policies Demystified: A Study of Availability, Content, and Coverage	Discovered artifact	?
MaDIoT 2.0: Modern High-Wattage IoT Botnet Attacks and Defenses	Discovered artifact	?
Teacher Model Fingerprinting Attacks Against Transfer Learning	Discovered artifact	?
QuORAM: A Quorum-Replicated Fault Tolerant ORAM Datastore	Discovered artifact	?
Tightly Seal Your Sensitive Pointers with PACTight	Discovered artifact	?
Stick It to The Man: Correcting for Non-Cooperative Behavior of Subjects in Experiments on Social Networks	Discovered artifact	?
Rapid Prototyping for Microarchitectural Attacks	Discovered artifact	?
ProFactory: Improving IoT Security via Formalized Protocol Customization	Discovered artifact	?
AEPIC Leak: Architecturally Leaking Uninitialized Data from the Microarchitecture	Discovered artifact	?
Dos and Don'ts of Machine Learning in Computer Security	Discovered artifact	?
Exploring the Security Boundary of Data Reconstruction via Neuron Exclusivity Analysis	Discovered artifact	?
RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix	Discovered artifact	?
Augmenting Decompiler Output with Learned Variable Names and Types	Discovered artifact	?
Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths	Discovered artifact	?
Lamphone: Passive Sound Recovery from a Desk Lamp's Light Bulb Vibrations	Discovered artifact	?
XDRI Attacks - and - How to Enhance Resilience of Residential Routers	Discovered artifact	?
V'CER: Efficient Certificate Validation in Constrained Networks	Discovered artifact	?
ML-Doctor: Holistic Risk Assessment of Inference Attacks Against Machine Learning Models	Discovered artifact	?
Inference Attacks Against Graph Neural Networks	Discovered artifact	?

USENIX Security 2021 (104)

Paper	Artifact
"It's Stored, Hopefully, on an Encrypted Server'': Mitigating Users' Misconceptions About FIDO2 Biometric WebAuthn	Discovered artifact	?
On the Usability of Authenticity Checks for Hardware Security Tokens	Discovered artifact	?
Hiding the Access Pattern is Not Enough: Exploiting Search Pattern Leakage in Searchable Encryption	Discovered artifact	?
Card Brand Mixup Attack: Bypassing the PIN in non-Visa Cards by Using Them for Visa Transactions	Discovered artifact	?
Raccoon Attack: Finding and Exploiting Most-Significant-Bit-Oracles in TLS-DH(E)	Discovered artifact	?
A Side Journey To Titan	Discovered artifact	?
On the Design and Misuse of Microcoded (Embedded) Processors -- A Cautionary Note	Discovered artifact	?
M2MON: Building an MMIO-based Security Reference Monitor for Unmanned Vehicles	Discovered artifact	?
Sharing More and Checking Less: Leveraging Common Input Keywords to Detect Bugs in Embedded Systems	Discovered artifact	?
LIGHTBLUE: Automatic Profile-Aware Debloating of Bluetooth Stacks	Discovered artifact	?
PriSEC: A Privacy Settings Enforcement Controller	Discovered artifact	?
Mystique: Efficient Conversions for Zero-Knowledge Proofs with Applications to Machine Learning	Discovered artifact	?
Poseidon: A New Hash Function for Zero-Knowledge Proof Systems	Discovered artifact	?
Where's Crypto?: Automated Identification and Classification of Proprietary Cryptographic Primitives in Binary Code	Discovered artifact	?
Dynamic proofs of retrievability with low server storage	Discovered artifact	?
Towards Formal Verification of State Continuity for Enclave Programs	Discovered artifact	?
CSProp: Ciphertext and Signature Propagation Low-Overhead Public-Key Cryptosystem for IoT Environments	Discovered artifact	?
Protecting Cryptography Against Compelled Self-Incrimination	Discovered artifact	?
Automatic Extraction of Secrets from the Transistor Jungle using Laser-Assisted Side-Channel Attacks	Discovered artifact	?
VoltPillager: Hardware-based fault injection attacks against Intel SGX Enclaves using the SVID voltage scaling interface	Discovered artifact	?
Reducing Bias in Modeling Real-world Password Strength via Deep Learning and Dynamic Dictionaries	Discovered artifact	?
Using Amnesia to Detect Credential Database Breaches	Discovered artifact	?
Incrementally Updateable Honey Password Vaults	Discovered artifact	?
Private Blocklist Lookups with Checklist	Discovered artifact	?
How to Make Private Distributed Cardinality Estimation Practical, and Get Differential Privacy for Free	Discovered artifact	?
Locally Differentially Private Analysis of Graph Statistics	Discovered artifact	?
DICE*: A Formally Verified Implementation of DICE Measured Boot	Discovered artifact	?
A Large-Scale Interview Study on Information Security in and Attacks against Small and Medium-sized Enterprises	Discovered artifact	?
On the Routing-Aware Peering against Network-Eclipse Attacks in Bitcoin	Discovered artifact	?
EOSAFE: Security Analysis of EOSIO Smart Contracts	Discovered artifact	?
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts	Discovered artifact	?
Swivel: Hardening WebAssembly against Spectre	Discovered artifact	?
Rage Against the Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks	Discovered artifact	?
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs	Discovered artifact	?
Explanation-Guided Backdoor Poisoning Attacks Against Malware Classifiers	Discovered artifact	?
Demon in the Variant: Statistical Analysis of DNNs for Robust Backdoor Contamination Detection	Discovered artifact	?
Fine Grained Dataflow Tracking with Proximal Gradients	Discovered artifact	?
MAZE: Towards Automated Heap Feng Shui	Discovered artifact	?
VScape: Assessing and Escaping Virtual Call Protections	Discovered artifact	?
KeyForge: Non-Attributable Email from Forward-Forgeable Signatures	Discovered artifact	?
Express: Lowering the Cost of Metadata-hiding Communication with Cryptographic Privacy	Discovered artifact	?
Deep-Dup: An Adversarial Weight Duplication Attack Framework to Crush Deep Neural Network in Multi-Tenant FPGA	Discovered artifact	?
Entangled Watermarks as a Defense against Model Extraction	Discovered artifact	?
ARCUS: Symbolic Root Cause Analysis of Exploits in Production Systems	Discovered artifact	?
Automatic Firmware Emulation through Invalidity-guided Knowledge Inference	Discovered artifact	?
Finding Bugs Using Your Own Code: Detecting Functionally-similar yet Inconsistent Code	Discovered artifact	?
Precise and Scalable Detection of Use-after-Compacting-Garbage-Collection Bugs	Discovered artifact	?
Reducing Test Cases with Attention Mechanism of Neural Networks	Discovered artifact	?
Privacy and Integrity Preserving Computations with CRISP	Discovered artifact	?
ABY2.0: Improved Mixed-Protocol Secure Two-Party Computation	Discovered artifact	?
Fantastic Four: Honest-Majority Four-Party Secure Computation With Malicious Security	Discovered artifact	?
PatchGuard: A Provably Robust Defense against Adversarial Patches via Small Receptive Fields and Masking	Discovered artifact	?
T-Miner: A Generative Approach to Defend Against Trojan Attacks on DNN-based Text Classification	Discovered artifact	?
WaveGuard: Understanding and Mitigating Audio Adversarial Examples	Discovered artifact	?
Dompteur: Taming Audio Adversarial Examples	Discovered artifact	?
Cost-Aware Robust Tree Ensembles for Security Applications	Discovered artifact	?
SHARD: Fine-Grained Kernel Specialization with Context-Aware Hardening	Discovered artifact	?
Preventing Use-After-Free Attacks with Fast Forward Allocation	Discovered artifact	?
Effective Notification Campaigns on the Web: A Matter of Trust, Framing, and Support	Discovered artifact	?
JAW: Studying Client-side CSRF with Hybrid Property Graphs and Declarative Traversals	Discovered artifact	?
AdCube: WebVR Ad Fraud and Practical Confinement of Third-Party Ads	Discovered artifact	?
Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types	Discovered artifact	?
Systematic Evaluation of Privacy Risks of Machine Learning Models	Discovered artifact	?
Extracting Training Data from Large Language Models	Discovered artifact	?
Defeating DNN-Based Traffic Analysis Systems in Real-Time With Blind Adversarial Perturbations	Discovered artifact	?
SyzVegas: Beating Kernel Fuzzing Odds with Reinforcement Learning	Discovered artifact	?
UNIFUZZ: A Holistic and Pragmatic Metrics-Driven Platform for Evaluating Fuzzers	Discovered artifact	?
The Use of Likely Invariants as Feedback for Fuzzers	Discovered artifact	?
APICraft: Fuzz Driver Generation for Closed-source SDK Libraries	Discovered artifact	?
ICSFuzz: Manipulating I/Os and Repurposing Binary Code to Enable Instrumented Fuzzing in ICS Control Applications	Discovered artifact	?
SandTrap: Securing JavaScript-driven Trigger-Action Platforms	Discovered artifact	?
Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web	Discovered artifact	?
U Can't Debug This: Detecting JavaScript Anti-Debugging Techniques in the Wild	Discovered artifact	?
Abusing Hidden Properties to Attack the Node.js Ecosystem	Discovered artifact	?
ATLAS: A Sequence-based Learning Approach for Attack Investigation	Discovered artifact	?
ELISE: A Storage Efficient Logging System Powered by Redundancy Reduction and Representation Learning	Discovered artifact	?
V0Finder: Discovering the Correct Origin of Publicly Reported Software Vulnerabilities	Discovered artifact	?
Hopper: Modeling and Detecting Lateral Movement	Discovered artifact	?
LZR: Identifying Unexpected Internet Services	Discovered artifact	?
Injection Attacks Reloaded: Tunnelling Malicious Payloads over DNS	Discovered artifact	?
Causal Analysis for Software-Defined Networking Attacks	Discovered artifact	?
Weak Links in Authentication Chains: A Large-scale Analysis of Email Sender Spoofing Attacks	Discovered artifact	?
Too Good to Be Safe: Tricking Lane Detection in Autonomous Driving with Crafted Perturbations	Discovered artifact	?
Dirty Road Can Attack: Security of Deep Learning based Automated Lane Centering under Physical-World Attack	Discovered artifact	?
Weaponizing Middleboxes for TCP Reflected Amplification	Discovered artifact	?
Balboa: Bobbing and Weaving around Network Censorship	Discovered artifact	?
DeepReflect: Discovering Malicious Functionality through Binary Reconstruction	Discovered artifact	?
The Circle Of Life: A Large-Scale Study of The IoT Malware Lifecycle	Discovered artifact	?
PrivateDrop: Practical Privacy-Preserving Authentication for Apple AirDrop	Discovered artifact	?
Share First, Ask Later (or Never?) Studying Violations of GDPR's Explicit Consent in Android Apps	Discovered artifact	?
Compromised or Attacker-Owned: A Large Scale Classification and Study of Hosting Domains of Malicious URLs	Discovered artifact	?
Assessing Browser-level Defense against IDN-based Phishing	Discovered artifact	?
Phishpedia: A Hybrid Deep Learning Based Approach to Visually Identify Phishing Webpages	Discovered artifact	?
Ripple: A Programmable, Decentralized Link-Flooding Defense Against Adaptive Adversaries	Discovered artifact	?
Jaqen: A High-Performance Switch-Native Approach for Detecting and Mitigating Volumetric DDoS Attacks with Programmable Switches	Discovered artifact	?
Disrupting Continuity of Apple's Wireless Ecosystem Security: New Tracking, DoS, and MitM Attacks on iOS and macOS Through Bluetooth Low Energy, AWDL, and Wi-Fi	Discovered artifact	?
Virtual Secure Platform: A Five-Stage Pipeline Processor over TFHE	Discovered artifact	?
Blitz: Secure Multi-Hop Payments Without Two-Phase Commits	Discovered artifact	?
Understanding Malicious Cross-library Data Harvesting on Android	Discovered artifact	?
Capture: Centralized Library Management for Heterogeneous IoT Devices	Discovered artifact	?
MPInspector: A Systematic and Automatic Approach for Evaluating the Security of IoT Messaging Protocols	Discovered artifact	?
HAWatcher: Semantics-Aware Anomaly Detection for Appified Smart Homes	Discovered artifact	?
ReDMArk: Bypassing RDMA Security Mechanisms	Discovered artifact	?
ALPACA: Application Layer Protocol Confusion - Analyzing and Mitigating Cracks in TLS Authentication	Discovered artifact	?

USENIX Security 2020 (48)

Paper	Artifact
You Are What You Broadcast: Identification of Mobile and IoT Devices from (Public) WiFi	Discovered artifact	?
Everything Old is New Again: Binary Security of WebAssembly	Discovered artifact	?
AURORA: Statistical Crash Analysis for Automated Root Cause Explanation	Discovered artifact	?
BigMAC: Fine-Grained Policy Analysis of Android Firmware	Discovered artifact	?
CopyCat: Controlled Instruction-Level Attacks on Enclaves	Discovered artifact	?
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof	Discovered artifact	?
Programmable In-Network Security for Context-aware BYOD Policies	Discovered artifact	?
Zero-delay Lightweight Defenses against Website Fingerprinting	Discovered artifact	?
SAVIOR: Securing Autonomous Vehicles with Robust Physical Invariants	Discovered artifact	?
Plug-N-Pwned: Comprehensive Vulnerability Analysis of OBD-II Dongles as A New Over-the-Air Attack Surface in Automotive IoT	Discovered artifact	?
Walking Onions: Scaling Anonymity Networks while Protecting Users	Discovered artifact	?
KOOBE: Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities	Discovered artifact	?
Shattered Chain of Trust: Understanding Security Risks in Cross-Cloud IoT Access Delegation	Discovered artifact	?
COUNTERFOIL: Verifying Provenance of Integrated Circuits using Intrinsic Package Fingerprints and Inexpensive Cameras	Discovered artifact	?
Hall Spoofing: A Non-Invasive DoS Attack on Grid-Tied Solar Inverter	Discovered artifact	?
PKU Pitfalls: Attacks on PKU-based Memory Isolation Systems	Discovered artifact	?
Medusa: Microarchitectural Data Leakage via Automated Attack Synthesis	Discovered artifact	?
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface	Discovered artifact	?
Cardpliance: PCI DSS Compliance of Android Applications	Discovered artifact	?
VoteAgain: A scalable coercion-resistant voting system	Discovered artifact	?
Justinian's GAAvernor: Robust Distributed Learning with Gradient Aggregation Agent	Discovered artifact	?
Interpretable Deep Learning under Fire	Discovered artifact	?
SHA-1 is a Shambles: First Chosen-Prefix Collision on SHA-1 and Application to the PGP Web of Trust	Discovered artifact	?
The Tools and Tactics Used in Intimate Partner Surveillance: An Analysis of Online Infidelity Forums	Discovered artifact	?
DatashareNetwork: A Decentralized Privacy-Preserving Search Engine for Investigative Journalists	Discovered artifact	?
Timeless Timing Attacks: Exploiting Concurrency to Leak Secrets over Remote Connections	Discovered artifact	?
NetWarden: Mitigating Network Covert Channels while Preserving Performance	Discovered artifact	?
TPM-FAIL: TPM meets Timing and Lattice Attacks	Discovered artifact	?
Pixel: Multi-signatures for Consensus	Discovered artifact	?
Composition Kills: A Case Study of Email Sender Authentication	Discovered artifact	?
That Was Then, This Is Now: A Security Evaluation of Password Generation, Storage, and Autofill in Browser-Based Password Managers	Discovered artifact	?
FuzzGen: Automatic Fuzzer Generation	Discovered artifact	?
FuzzGuard: Filtering out Unreachable Inputs in Directed Grey-box Fuzzing through Deep Learning	Discovered artifact	?
ParmeSan: Sanitizer-guided Greybox Fuzzing	Discovered artifact	?
MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs	Discovered artifact	?
On Training Robust PDF Malware Classifiers	Discovered artifact	?
Automatic Hot Patch Generation for Android Kernels	Discovered artifact	?
iOS, Your OS, Everybody's OS: Vetting and Analyzing Network Services of iOS Applications	Discovered artifact	?
Pancake: Frequency Smoothing for Encrypted Data Stores	Discovered artifact	?
Droplet: Decentralized Authorization and Access Control for Encrypted Data Streams	Discovered artifact	?
Secure parallel computation on national scale volumes of data	Discovered artifact	?
Delphi: A Cryptographic Inference Service for Neural Networks	Discovered artifact	?
USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation	Discovered artifact	?
Devil's Whisper: A General Approach for Physical Adversarial Attacks against Commercial Black-box Speech Recognition Devices	Discovered artifact	?
Void: A fast and light voice liveness detection system	Discovered artifact	?
Preech: A System for Privacy-Preserving Speech Transcription	Discovered artifact	?
ETHBMC: A Bounded Model Checker for Smart Contracts	Discovered artifact	?
TXSPECTOR: Uncovering Attacks in Ethereum from Transactions	Discovered artifact	?

USENIX Security 2019 (56)

Paper	Artifact
A Study of the Feasibility of Co-located App Attacks against BLE and a Large-Scale Analysis of the Current Application-Layer Security Landscape	Discovered artifact	?
A Billion Open Interfaces for Eve and Mallory: MitM, DoS, and Tracking Attacks on iOS and macOS Through Apple Wireless Direct Link	Discovered artifact	?
Hiding in Plain Signal: Physical Signal Overshadowing Attack on LTE	Discovered artifact	?
Clinical Computer Security for Victims of Intimate Partner Violence	Discovered artifact	?
Secure Multi-User Content Sharing for Augmented Reality Applications	Discovered artifact	?
Understanding and Improving Security and Privacy in Multi-User Smart Homes: A Design Exploration and In-Home User Study	Discovered artifact	?
PAC it up: Towards Pointer Integrity using ARM Pointer Authentication	Discovered artifact	?
Origin-sensitive Control Flow Integrity	Discovered artifact	?
A Systematic Evaluation of Transient Execution Attacks and Defenses	Discovered artifact	?
The Secret Sharer: Evaluating and Testing Unintended Memorization in Neural Networks	Discovered artifact	?
Improving Robustness of ML Classifiers against Realizable Evasion Attacks Using Conserved Features	Discovered artifact	?
CANvas: Fast and Inexpensive Automotive Network Mapping	Discovered artifact	?
Losing the Car Keys: Wireless PHY-Layer Insecurity in EV Charging	Discovered artifact	?
Seeing is Not Believing: Camouflage Attacks on Image Scaling Algorithms	Discovered artifact	?
CT-GAN: Malicious Tampering of 3D Medical Imagery using Deep Learning	Discovered artifact	?
SPOILER: Speculative Load Hazards Boost Rowhammer and Cache Attacks	Discovered artifact	?
Pythia: Remote Oracles for the Masses	Discovered artifact	?
HideMyApp: Hiding the Presence of Sensitive Apps on Android	Discovered artifact	?
StrongChain: Transparent and Collaborative Proof-of-Work Consensus	Discovered artifact	?
Towards the Detection of Inconsistencies in Public Security Vulnerability Reports	Discovered artifact	?
Leaky Images: Targeted Privacy Attacks in the Web	Discovered artifact	?
What Are You Searching For? A Remote Keylogging Attack on Search Engine Autocomplete	Discovered artifact	?
Small World with High Risks: A Study of Security Threats in the npm Ecosystem	Discovered artifact	?
"Johnny, you are fired!" - Spoofing OpenPGP and S/MIME Signatures in Emails	Discovered artifact	?
The KNOB is Broken: Exploiting Low Entropy in the Encryption Key Negotiation Of Bluetooth BR/EDR	Discovered artifact	?
Scalable Scanning and Automatic Classification of TLS Padding Oracle Vulnerabilities	Discovered artifact	?
From IP ID to Device ID and KASLR Bypass	Discovered artifact	?
When the Signal is in the Noise: Exploiting Diffix's Sticky Noise	Discovered artifact	?
FIRM-AFL: High-Throughput Greybox Fuzzing of IoT Firmware via Augmented Process Emulation	Discovered artifact	?
Discovering and Understanding the Security Hazards in the Interactions between IoT Devices, Mobile Apps, and Clouds on Smart Home Platforms	Discovered artifact	?
KEPLER: Facilitating Control-flow Hijacking Primitive Evaluation for Linux Kernel Vulnerabilities	Discovered artifact	?
PeX: A Permission Check Analysis Framework for Linux Kernel	Discovered artifact	?
ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK)	Discovered artifact	?
WAVE: A Decentralized Authorization Framework with Transitive Delegation	Discovered artifact	?
in-toto: Providing farm-to-table guarantees for bits and bytes	Discovered artifact	?
VRASED: A Verified Hardware/Software Co-Design for Remote Attestation	Discovered artifact	?
IODINE: Verifying Constant-Time Execution of Hardware	Discovered artifact	?
Mobile Private Contact Discovery at Scale	Discovered artifact	?
EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats	Discovered artifact	?
JEDI: Many-to-Many End-to-End Encryption and Key Delegation for IoT	Discovered artifact	?
The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts	Discovered artifact	?
Inadvertently Making Cyber Criminals Rich: A Comprehensive Study of Cryptojacking Campaigns at Internet Scale	Discovered artifact	?
Site Isolation: Process Separation for Web Sites within the Browser	Discovered artifact	?
Less is More: Quantifying the Security Benefits of Debloating Web Applications	Discovered artifact	?
RAZOR: A Framework for Post-deployment Software Debloating	Discovered artifact	?
Detecting Missing-Check Bugs via Semantic- and Context-Aware Criticalness and Constraints Inferences	Discovered artifact	?
DEEPVSA: Facilitating Value-set Analysis with Deep Learning for Postmortem Program Analysis	Discovered artifact	?
CONFIRM: Evaluating Compatibility and Relevance of Control-flow Integrity Protections for Modern Software	Discovered artifact	?
Point Break: A Study of Bandwidth Denial-of-Service Attacks against Tor	Discovered artifact	?
On (The Lack Of) Location Privacy in Crowdsourcing Applications	Discovered artifact	?
Evaluating Differentially Private Machine Learning in Practice	Discovered artifact	?
Fuzzification: Anti-Fuzzing Techniques	Discovered artifact	?
AntiFuzz: Impeding Fuzzing Audits of Binary Executables	Discovered artifact	?
MOPT: Optimized Mutation Scheduling for Fuzzers	Discovered artifact	?
EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers	Discovered artifact	?
GRIMOIRE: Synthesizing Structure while Fuzzing	Discovered artifact	?

USENIX Security 2018 (41)

Paper	Artifact
CommanderSong: A Systematic Approach for Practical Adversarial Voice Recognition	Discovered artifact	?
ACES: Automatic Compartments for Embedded Systems	Discovered artifact	?
HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security	Discovered artifact	?
Fp-Scanner: The Privacy Implications of Browser Fingerprint Inconsistencies	Discovered artifact	?
Who Left Open the Cookie Jar? A Comprehensive Evaluation of Third-Party Cookie Policies	Discovered artifact	?
Better managed than memorized? Studying the Impact of Managers on Password Strength and Reuse	Discovered artifact	?
ATtention Spanned: Comprehensive Vulnerability Analysis of AT Commands Within the Android Ecosystem	Discovered artifact	?
Charm: Facilitating Dynamic Analysis of Device Drivers of Mobile Systems	Discovered artifact	?
Inception: System-Wide Security Testing of Real-World Embedded Systems Software	Discovered artifact	?
A Sense of Time for JavaScript and Node.js: First-Class Timeouts as a Cure for Event Handler Poisoning	Discovered artifact	?
Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers	Discovered artifact	?
NAVEX: Precise and Scalable Exploit Generation for Dynamic Web Applications	Discovered artifact	?
How Do Tor Users Interact With Onion Services?	Discovered artifact	?
BurnBox: Self-Revocable Encryption in a World Of Compelled Access	Discovered artifact	?
An Empirical Analysis of Anonymity in Zcash	Discovered artifact	?
Polisis: Automated Analysis and Presentation of Privacy Policies Using Deep Learning	Discovered artifact	?
Efail: Breaking S/MIME and OpenPGP Email Encryption using Exfiltration Channels	Discovered artifact	?
DATA - Differential Address Trace Analysis: Finding Address-based Side-Channels in Binaries	Discovered artifact	?
NetHide: Secure and Practical Network Topology Obfuscation	Discovered artifact	?
QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing	Discovered artifact	?
FUZE: Towards Facilitating Exploit Generation for Kernel Use-After-Free Vulnerabilities	Discovered artifact	?
Automatic Heap Layout Manipulation for Exploitation	Discovered artifact	?
Return Of Bleichenbacher's Oracle Threat (ROBOT)	Discovered artifact	?
The Broken Shield: Measuring Revocation Effectiveness in the Windows Code-Signing PKI	Discovered artifact	?
Understanding the Reproducibility of Crowd-reported Security Vulnerabilities	Discovered artifact	?
Malicious Management Unit: Why Stopping Cache Attacks in Software is Harder Than You Think	Discovered artifact	?
Meltdown: Reading Kernel Memory from User Space	Discovered artifact	?
Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution	Discovered artifact	?
Reading Thieves' Cant: Automatically Identifying and Understanding Dark Jargons from Cybercrime Marketplaces	Discovered artifact	?
We Still Don't Have Secure Cross-Domain Requests: an Empirical Study of CORS	Discovered artifact	?
An Empirical Study of Web Resource Manipulation in Real-world Mobile Applications	Discovered artifact	?
FANCI : Feature-based Automated NXDomain Classification and Intelligence	Discovered artifact	?
Fast and Service-preserving Recovery from Malware Infections Using CRIU	Discovered artifact	?
Discovering Flaws in Security-Focused Static Analysis Tools for Android using Systematic Mutation	Discovered artifact	?
When Does Machine Learning FAIL? Generalized Transferability for Evasion and Poisoning Attacks	Discovered artifact	?
Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts	Discovered artifact	?
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring	Discovered artifact	?
Modelling and Analysis of a Hierarchy of Distance Bounding Attacks	Discovered artifact	?
Off-Path TCP Exploit: How Wireless Routers Can Jeopardize Your Secrets	Discovered artifact	?
FlowCog: Context-aware Semantics Extraction and Analysis of Information Flow Leaks in Android Apps	Discovered artifact	?
Sensitive Information Tracking in Commodity IoT	Discovered artifact	?

USENIX Security 2017 (28)

Paper	Artifact
How Double-Fetch Situations turn into Double-Fetch Vulnerabilities: A Study of Double Fetches in the Linux Kernel	Discovered artifact	?
Postmortem Program Analysis with Hardware-Enhanced Post-Crash Artifacts	Discovered artifact	?
CAn't Touch This: Software-only Mitigation against Rowhammer Attacks targeting Kernel Memory	Discovered artifact	?
kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels	Discovered artifact	?
Venerable Variadic Vulnerabilities Vanquished	Discovered artifact	?
Towards Practical Tools for Side Channel Aware Software Engineering: 'Grey Box' Modelling for Instruction Leakages	Discovered artifact	?
Strong and Efficient Cache Side-Channel Protection using Hardware Transactional Memory	Discovered artifact	?
DeTor: Provably Avoiding Geographic Regions in Tor	Discovered artifact	?
AWare: Preventing Abuse of Privacy-Sensitive Sensors via Operation Bindings	Discovered artifact	?
TrustBase: An Architecture to Repair and Strengthen Certificate-based Authentication	Discovered artifact	?
Transcend: Detecting Concept Drift in Malware Classification Models	Discovered artifact	?
Predicting the Resilience of Obfuscated Code Against Symbolic Execution Attacks via Machine Learning	Discovered artifact	?
Same-Origin Policy: Evaluation in Modern Browsers	Discovered artifact	?
BootStomp: On the Security of Bootloaders in Mobile Devices	Discovered artifact	?
Oscar: A Practical Page-Permissions-Based Scheme for Thwarting Dangling Pointers	Discovered artifact	?
Loophole: Timing Attacks on Shared Event Loops in Chrome	Discovered artifact	?
Game of Registrars: An Empirical Analysis of Post-Expiration Domain Name Takeovers	Discovered artifact	?
Speeding up detection of SHA-1 collision attacks using unavoidable attack conditions	Discovered artifact	?
Vale: Verifying High-Performance Cryptographic Assembly Code	Discovered artifact	?
Towards Efficient Heap Overflow Discovery	Discovered artifact	?
Telling Your Secrets without Page Faults: Stealthy Page Table-Based Attacks on Enclaved Execution	Discovered artifact	?
DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers	Discovered artifact	?
Reverse Engineering x86 Processor Microcode	Discovered artifact	?
The Loopix Anonymity System	Discovered artifact	?
CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds	Discovered artifact	?
"I Have No Idea What I'm Doing" - On the Usability of Deploying HTTPS	Discovered artifact	?
A Privacy Analysis of Cross-device Tracking	Discovered artifact	?
SmartPool: Practical Decentralized Pooled Mining	Discovered artifact	?

USENIX Security 2016 (32)

Paper	Artifact
Flip Feng Shui: Hammering a Needle in the Software Stack	Discovered artifact	?
Verifying Constant-Time Implementations	Discovered artifact	?
Secure, Precise, and Fast Floating-Point Operations on x86 Processors	Discovered artifact	?
uberSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor	Discovered artifact	?
zxcvbn: Low-Budget Password Strength Estimation	Discovered artifact	?
Fast, Lean, and Accurate: Modeling Password Guessability Using Neural Networks	Discovered artifact	?
An Empirical Study of Textual Key-Fingerprint Representations	Discovered artifact	?
Website-Targeted False Content Injection by Network Operators	Discovered artifact	?
Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing	Discovered artifact	?
Faster Malicious 2-Party Secure Computation with Online/Offline Dual Execution	Discovered artifact	?
Post-quantum Key Exchange--A New Hope	Discovered artifact	?
Micro-Virtualization Memory Tracing to Detect and Prevent Spraying Attacks	Discovered artifact	?
Tracing Information Flows Between Ad Exchanges Using Retargeted Ads	Discovered artifact	?
Hidden Voice Commands	Discovered artifact	?
ARMageddon: Cache Attacks on Mobile Devices	Discovered artifact	?
DRAMA: Exploiting DRAM Addressing for Cross-CPU Attacks	Discovered artifact	?
An In-Depth Analysis of Disassembly on Full-Scale x86/x64 Binaries	Discovered artifact	?
Stealing Machine Learning Models via Prediction APIs	Discovered artifact	?
DROWN: Breaking TLS Using SSLv2	Discovered artifact	?
Specification Mining for Intrusion Detection in Networked Control Systems	Discovered artifact	?
Authenticated Network Time Synchronization	Discovered artifact	?
Sanctum: Minimal Hardware Extensions for Strong Software Isolation	Discovered artifact	?
Ariadne: A Minimal Approach to State Continuity	Discovered artifact	?
Lock It and Still Lose It --on the (In)Security of Automotive Remote Keyless Entry Systems	Discovered artifact	?
OblivP2P: An Oblivious Peer-to-Peer Content Sharing System	Discovered artifact	?
Internet Jones and the Raiders of the Lost Trackers: An Archaeological Study of Web Tracking from 1996 to 2016	Discovered artifact	?
ZKBoo: Faster Zero-Knowledge for Boolean Circuits	Discovered artifact	?
The Cut-and-Choose Game and Its Application to Cryptographic Protocols	Discovered artifact	?
Practical DIFC Enforcement on Android	Discovered artifact	?
Screen after Previous Screens: Spatial-Temporal Recreation of Android App Displays from Memory Images	Discovered artifact	?
Identifying and Characterizing Sybils in the Tor Network	Discovered artifact	?
Privacy in Epigenetics: Temporal Linkability of MicroRNA Expression Profiles	Discovered artifact	?

USENIX Security 2015 (18)

Paper	Artifact
Under-Constrained Symbolic Execution: Correctness Checking for Real Code	Discovered artifact	?
Eclipse Attacks on Bitcoin's Peer-to-Peer Network	Discovered artifact	?
Compiler-instrumented, Dynamic Secret-Redaction of Legacy Processes for Attacker Deception	Discovered artifact	?
Protocol State Fuzzing of TLS Implementations	Discovered artifact	?
Verified Correctness and Security of OpenSSL HMAC	Discovered artifact	?
To Pin or Not to Pin--Helping App Developers Bullet Proof Their TLS Connections	Discovered artifact	?
De-anonymizing Programmers via Code Stylometry	Discovered artifact	?
Trustworthy Whole-System Provenance for the Linux Kernel	Discovered artifact	?
Marionette: A Programmable Network Traffic Obfuscation System	Discovered artifact	?
CONIKS: Bringing Key Transparency to End Users	Discovered artifact	?
Phasing: Private Set Intersection Using Permutation-based Hashing	Discovered artifact	?
Meerkat: Detecting Website Defacements through Image-based Object Recognition	Discovered artifact	?
How the ELF Ruined Christmas	Discovered artifact	?
Cookies Lack Integrity: Real-World Implications	Discovered artifact	?
Anatomization and Protection of Mobile Apps' Location Privacy Threats	Discovered artifact	?
PowerSpy: Location Tracking Using Mobile Device Power Analysis	Discovered artifact	?
Bohatei: Flexible and Elastic DDoS Defense	Discovered artifact	?
Cache Template Attacks: Automating Attacks on Inclusive Last-Level Caches	Discovered artifact	?

USENIX Security 2014 (19)

Paper	Artifact
A Large-Scale Analysis of the Security of Embedded Firmwares	Discovered artifact	?
Never Been KIST: Tor's Congestion Management Blossoms with Kernel-Informed Socket Transport	Discovered artifact	?
Effective Attacks and Provable Defenses for Website Fingerprinting	Discovered artifact	?
TapDance: End-to-Middle Anticensorship without Flow Blocking	Discovered artifact	?
iSeeYou: Disabling the MacBook Webcam Indicator LED	Discovered artifact	?
Security Analysis of a Full-Body Scanner	Discovered artifact	?
Password Managers: Attacks and Defenses	Discovered artifact	?
SSOScan: Automated Testing of Web Applications for Single Sign-On Vulnerabilities	Discovered artifact	?
A Look at Targeted Attacks Through the Lense of an NGO	Discovered artifact	?
FLUSH+RELOAD: A High Resolution, Low Noise, L3 Cache Side-Channel Attack	Discovered artifact	?
Revisiting SSL/TLS Implementations: New Bleichenbacher Side Channels and Attacks	Discovered artifact	?
BYTEWEIGHT: Learning to Recognize Functions in Binary Code	Discovered artifact	?
Optimizing Seed Selection for Fuzzing	Discovered artifact	?
LibFTE: A Toolkit for Constructing Practical, Format-Abiding Encryption Schemes	Discovered artifact	?
SDDR: Light-Weight, Secure Mobile Encounters	Discovered artifact	?
ret2dir: Rethinking Kernel Isolation	Discovered artifact	?
ASM: A Programmable Interface for Extending Android Security	Discovered artifact	?
Brahmastra: Driving Apps to Test the Security of Third-Party Components	Discovered artifact	?
Gyrophone: Recognizing Speech from Gyroscope Signals	Discovered artifact	?

USENIX Security 2013 (9)

Paper	Artifact
Towards Automatic Software Lineage Inference	Discovered artifact	?
Securing Embedded User Interfaces: Android and Beyond	Discovered artifact	?
Proactively Accountable Anonymous Messaging in Verdict	Discovered artifact	?
DupLESS: Server-Aided Encryption for Deduplicated Storage	Discovered artifact	?
CacheAudit: A Tool for the Static Analysis of Cache Side Channels	Discovered artifact	?
FIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic Execution	Discovered artifact	?
Effective Inter-Component Communication Mapping in Android: An Essential Step Towards Holistic Security Analysis	Discovered artifact	?
ZMap: Fast Internet-wide Scanning and Its Security Applications	Discovered artifact	?
Language-based Defenses Against Untrusted Browser Origins	Discovered artifact	?

USENIX Security 2012 (8)

Paper	Artifact
Security and Usability Challenges of Moving-Object CAPTCHAs: Decoding Codewords in Motion	Discovered artifact	?
I Forgot Your Password: Randomness Attacks Against PHP Applications	Discovered artifact	?
Mining Your Ps and Qs: Detection of Widespread Weak Keys in Network Devices	Discovered artifact	?
Taking Proof-Based Verified Computation a Few Steps Closer to Practicality	Discovered artifact	?
Privilege Separation in HTML5 Applications	Discovered artifact	?
kGuard: Lightweight Kernel Protection against Return-to-User Attacks	Discovered artifact	?
Privacy-Preserving Social Plugins	Discovered artifact	?
Social Networking with Frientegrity: Privacy and Integrity with an Untrusted Provider	Discovered artifact	?

USENIX Security 2011 (6)

Paper	Artifact
mCarve: Carving Attributed Dump Sets.	Discovered artifact	?
QUIRE: Lightweight Provenance for Smart Phone Operating Systems.	Discovered artifact	?
A Study of Android Application Security.	Discovered artifact	?
Faster Secure Two-Party Computation Using Garbled Circuits.	Discovered artifact	?
ADsafety: Type-Based Verification of JavaScript Sandboxing.	Discovered artifact	?
Telex: Anticensorship in the Network Infrastructure.	Discovered artifact	?

USENIX Security 2010 (5)

Paper	Artifact
SEPIA: Privacy-Preserving Aggregation of Multi-Domain Network Events and Statistics.	Discovered artifact	?
Chipping Away at Censorship Firewalls with User-Generated Content.	Discovered artifact	?
ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash.	Discovered artifact	?
Automatic Generation of Remediation Procedures for Malware Infections.	Discovered artifact	?
Capsicum: Practical Capabilities for UNIX.	Discovered artifact	?

USENIX Security 2009 (2)

Paper	Artifact
Detecting Spammers with SNARE: Spatio-temporal Network-level Automatic Reputation Engine.	Discovered artifact	?
VPriv: Protecting Privacy in Location-Based Vehicular Services.	Discovered artifact	?

USENIX Security 2008 (4)

Paper	Artifact
Helios: Web-based Open-Audit Voting.	Discovered artifact	?
Privacy-Preserving Location Tracking of Lost or Stolen Devices: Cryptographic Techniques and Replacing Trusted Third Parties with DHTs.	Discovered artifact	?
An Improved Clock-skew Measurement Technique for Revealing Hidden Services.	Discovered artifact	?
Highly Predictive Blacklisting.	Discovered artifact	?

USENIX Security 2007 (3)

Paper	Artifact
SIF: Enforcing Confidentiality and Integrity in Web Applications.	Discovered artifact	?
BotHunter: Detecting Malware Infection Through IDS-Driven Dialog Correlation.	Discovered artifact	?
OSLO: Improving the Security of Trusted Computing.	Discovered artifact	?

USENIX Security 2005 (3)

Paper	Artifact
Fixing Races for Fun and Profit: How to Abuse atime.	Discovered artifact	?
Stronger Password Authentication Using Browser Extensions.	Discovered artifact	?
Where's the FEEB? The Effectiveness of Instruction Set Randomization.	Discovered artifact	?

USENIX Security 2004 (1)

Paper	Artifact
A Virtual Honeypot Framework.	Discovered artifact	?

USENIX Security 2003 (2)

Paper	Artifact
Static Analysis of Executables to Detect Malicious Patterns.	Discovered artifact	?
SSL Splitting: Securely Serving Data from Untrusted Caches.	Discovered artifact	?

USENIX Security 2002 (2)

Paper	Artifact
Infranet: Circumventing Web Censorship and Surveillance.	Discovered artifact	?
How to Own the Internet in Your Spare Time.	Discovered artifact	?

USENIX Security 2001 (6)

Paper	Artifact
A Method for Fast Revocation of Public Key Certificates and Security Capabilities.	Discovered artifact	?
FormatGuard: Automatic Protection From printf Format String Vulnerabilities.	Discovered artifact	?
The Dos and Don'ts of Client Authentication on the Web.	Discovered artifact	?
SC-CFS: Smartcard Secured Cryptographic File System.	Discovered artifact	?
Statically Detecting Likely Buffer Overflow Vulnerabilities.	Discovered artifact	?
Defending Against Statistical Steganalysis.	Discovered artifact	?