yusuke1997/dblp-id-title huggingface dataset:
Phoenix: Rebirth of a Cryptographic Password-Hardening Service
ARI: Attestation of Real-time Mission Execution Integrity
"Employees Who Don't Accept the Time Security Takes Are Not Aware Enough": The CISO View of Human-Centred Security
PDM: A New Strong Password-Based Protocol
A Flexible Containment Mechanism for Executing Untrusted Code
Cryptographic Voting Protocols: A Systems Perspective
An Experimental Study of GPS Spoofing and Takeover Attacks on UAVs
Into the Dark: Unveiling Internal Site Search Abused for Black Hat SEO
SGXFuzz: Efficiently Synthesizing Nested Structures for SGX Enclave Fuzzing
Man vs. Machine: Practical Adversarial Detection of Malicious Crowdsourcing Workers
The Blunderdome: An Offensive Exercise for Building Network, Systems, and Web Security Awareness
SmartPool: Practical Decentralized Pooled Mining
The Cost of Performance: Breaking ThreadX with Kernel Object Masquerading Attacks
Screen after Previous Screens: Spatial-Temporal Recreation of Android App Displays from Memory Images
Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers
"Helps me Take the Post With a Grain of Salt: " Soft Moderation Effects on Accuracy Perceptions and Sharing Intentions of Inauthentic Political Content on X
Attacker Control and Bug Prioritization
Targeted Threat Index: Characterizing and Quantifying Politically-Motivated Targeted Malware
Privacy Challenges for Wireless Medical Devices
Collective Views of the NSA/CSS Cyber Defense Exercise on Curricula and Learning Objectives
Electronic Prescription for Controlled Substances: A Cybersecurity Perspective
Expert Insights into Advanced Persistent Threats: Analysis, Attribution, and Challenges
EnTrust: Regulating Sensor Access by Cooperating Programs via Delegation Graphs
ATTACK2VEC: Leveraging Temporal Word Embeddings to Understand the Evolution of Cyberattacks
Secure Account Recovery for a Privacy-Preserving Web Service
Privacy and Integrity Preserving Computations with CRISP
Walking Onions: Scaling Anonymity Networks while Protecting Users
SWOON: A Testbed for Secure Wireless Overlay Networks
SeaK: Rethinking the Design of a Secure Allocator for OS Kernel
UVSCAN: Detecting Third-Party Component Usage Violations in IoT Firmware
Managing the Health of Security Experiments
Biometric Authentication Revisited: Understanding the Impact of Wolves in Sheep's Clothing
BLENDER: Enabling Local Search with a Hybrid Differential Privacy Model
With Great Power Come Great Side Channels: Statistical Timing Side-Channel Analyses with Bounded Type-1 Errors
B@bel: Leveraging Email Delivery for Spam Mitigation
2006 USENIX/ACCURATE Electronic Voting Technology Workshop, EVT'06, Vancouver, BC, Canada, August 1, 2006
PolyScope: Multi-Policy Access Control Analysis to Compute Authorized Attack Operations in Android Systems
Automated Discovery of Semantic Attacks in Multi-Robot Navigation Systems
JEDI: Many-to-Many End-to-End Encryption and Key Delegation for IoT
Utility-Optimized Local Differential Privacy Mechanisms for Distribution Estimation
COUNTERFOIL: Verifying Provenance of Integrated Circuits using Intrinsic Package Fingerprints and Inexpensive Cameras
Design of the EROS Trusted Window System
An Efficient Method to Determine which Combination of Keywords Triggered Automatic Filtering of a Message
BoKASAN: Binary-only Kernel Address Sanitizer for Effective Kernel Fuzzing
Evading Cellular Data Monitoring with Human Movement Networks
Horizontal Privilege Escalation in Trusted Applications
Building Dissent Networks: Towards Effective Countermeasures against Large-Scale Communications Blackouts
BUDAlloc: Defeating Use-After-Free Bugs by Decoupling Virtual Address Management from Kernel
Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences
Towards Privacy-Preserving Social-Media SDKs on Android
Addressing Sensitivity Distinction in Local Differential Privacy: A General Utility-Optimized Framework
Network-in-a-Box: How to Set Up a Secure Wireless Network in Under a Minute
Tracing Information Flows Between Ad Exchanges Using Retargeted Ads
Invalidate+Compare: A Timer-Free GPU Cache Attack Primitive
ROP is Still Dangerous: Breaking Modern Defenses
Scalable Web Object Inspection and Malfease Collection
LZR: Identifying Unexpected Internet Services
CCCP: Secure Remote Storage for Computational RFIDs
Architecting the Lumeta Firewall Analyzer
Vulnerability Extrapolation: Assisted Discovery of Vulnerabilities Using Machine Learning
On the Impossibility of Cryptography Alone for Privacy-Preserving Cloud Computing
Invisible but Detected: Physical Adversarial Shadow Attack and Defense on LiDAR Object Detection
Global Network Interference Detection Over the RIPE Atlas Network
Towards Illuminating a Censorship Monitor's Model to Facilitate Evasion
GuideEnricher: Protecting the Anonymity of Ethereum Mixing Service Users with Deep Reinforcement Learning
We Really Need to Talk About Session Tickets: A Large-Scale Analysis of Cryptographic Dangers with TLS Session Tickets
OblivGNN: Oblivious Inference on Transductive and Inductive Graph Neural Network
Compliance Defects in Public Key Cryptography
Enemy of the State: A State-Aware Black-Box Web Vulnerability Scanner
GothX: a generator of customizable, legitimate and malicious IoT network traffic
Fingerprinting Electronic Control Units for Vehicle Intrusion Detection
Hey, You Have a Problem: On the Feasibility of Large-Scale Web Vulnerability Notification
On (The Lack Of) Location Privacy in Crowdsourcing Applications
The Ever-Changing Labyrinth: A Large-Scale Analysis of Wildcard DNS Powered Blackhat SEO
Baseline Usability Data for a Non-Electronic Approach to Accessible Voting
Evolutionary Synthesis of Collective Behavior
Caring about Sharing: User Perceptions of Multiparty Data Sharing
Securing Network Input via a Trusted Input Proxy
Collaborative Red Teaming for Anonymity System Evaluation
Lancet: A Formalization Framework for Crash and Exploit Pathology
Experiment Isolation in a Secure Cluster Testbed
Using Trātṛ to tame Adversarial Synchronization
Encrypting Virtual Memory
Bridging the Data Gap: Data Related Challenges in Evaluating Large Scale Collaborative Security Systems
From One Thousand Pages of Specification to Unveiling Hidden Bugs: Large Language Model Assisted Fuzzing of Matter IoT Devices
Proceedings of the 7th USENIX Security Symposium, San Antonio, TX, USA, January 26-29, 1998
Networks of Care: Tech Abuse Advocates' Digital Security Practices
System Register Hijacking: Compromising Kernel Integrity By Turning System Registers Against the System
Proxy Hunting: Understanding and Characterizing Proxy-based Upgradeable Smart Contracts in Blockchains
Kalεido: Real-Time Privacy Control for Eye-Tracking Systems
Araña: Discovering and Characterizing Password Guessing Attacks in Practice
Implementation of Programmable CPS Testbed for Anomaly Detection
Strato: A Retargetable Framework for Low-Level Inlined-Reference Monitors
PTAuth: Temporal Memory Safety via Robust Points-to Authentication
PEARL: Plausibly Deniable Flash Translation Layer using WOM coding
Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints
Artifice: A Deniable Steganographic File System
Privacy and Security Issues in BAT Web Browsers
PIXELMOD: Improving Soft Moderation of Visual Misleading Information on Twitter
SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments
All Your Queries Are Belong to Us: The Power of File-Injection Attacks on Searchable Encryption
KI-Mon: A Hardware-assisted Event-triggered Monitoring Platform for Mutable Kernel Object
TimeTravel: Real-time Timing Drift Attack on System Time Using Acoustic Waves
DeepReflect: Discovering Malicious Functionality through Binary Reconstruction
Card Brand Mixup Attack: Bypassing the PIN in non-Visa Cards by Using Them for Visa Transactions
Privacy-Preserving Location Tracking of Lost or Stolen Devices: Cryptographic Techniques and Replacing Trusted Third Parties with DHTs
That Person Moves Like A Car: Misclassification Attack Detection for Autonomous Systems Using Spatiotemporal Consistency
Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking
Forget and Rewire: Enhancing the Resilience of Transformer-based Models against Bit-Flip Attacks
Side Effects Are Not Sufficient to Authenticate Software
Scalable and Lightweight CTF Infrastructures Using Application Containers
Thunderdome: Timelock-Free Rationally-Secure Virtual Channels
Dynamic Application-Layer Protocol Analysis for Network Intrusion Detection
Qelect: Lattice-based Single Secret Leader Election Made Practical
Treebeard: A Scalable and Fault Tolerant ORAM Datastore
Autosonda: Discovering Rules and Triggers of Censorship Devices
No more Reviewer #2: Subverting Automatic Paper-Reviewer Assignment using Adversarial Learning
Best We Forget: Expressive Freedom and the Right to be Forgotten
Physical-layer Identification of RFID Devices
I Voted? How the Law Increasingly Restricts Independent Security Research
SecurityNet: Assessing Machine Learning Vulnerabilities on Public Models
GHunter: Universal Prototype Pollution Gadgets in JavaScript Runtimes
iHunter: Hunting Privacy Violations at Scale in the Software Supply Chain on iOS
Subverting Website Fingerprinting Defenses with Robust Traffic Representation
The Hijackers Guide To The Galaxy: Off-Path Taking Over Internet Resources
Ghost Peak: Practical Distance Reduction Attacks Against HRP UWB Ranging
Practically Secure Honey Password Vaults: New Design and New Evaluation against Online Guessing
An Input-Agnostic Hierarchical Deep Learning Framework for Traffic Fingerprinting
Blacklight: Scalable Defense for Neural Networks against Query-Based Black-Box Attacks
Deep Entity Classification: Abusive Account Detection for Online Social Networks
CloudAV: N-Version Antivirus in the Network Cloud
Session-Layer Encryption
PolyFuzz: Holistic Greybox Fuzzing of Multi-Language Systems
Uninvited Guests: Analyzing the Identity and Behavior of Certificate Transparency Bots
Security Risks, Low-tech User Interfaces, and Implantable Medical Devices: A Case Study with Insulin Pump Infusion Systems
On the Effectiveness of Distributed Worm Monitoring
An Empirical Study & Evaluation of Modern CAPTCHAs
Harvesting Inconsistent Security Configurations in Custom Android ROMs via Differential Analysis
When Good Services Go Wild: Reassembling Web Services for Unintended Purposes
Introducing a Comprehensive, Continuous, and Collaborative Survey of Intrusion Detection Datasets
Behavior-based Spyware Detection
Shame on Trust in Distributed Systems
Language-based Defenses Against Untrusted Browser Origins
You Cannot Escape Me: Detecting Evasions of SIEM Rules in Enterprise Networks
Sancus: Low-cost Trustworthy Extensible Networked Devices with a Zero-software Trusted Computing Base
Data Coverage for Guided Fuzzing
Exposing and Circumventing SNI-based QUIC Censorship of the Great Firewall of China
The Practical Subtleties of Biometric Key Generation
ETHBMC: A Bounded Model Checker for Smart Contracts
Know Your Cybercriminal: Evaluating Attacker Preferences by Measuring Profile Sales on an Active, Leading Criminal Market for User Impersonation at Scale
Malicious LLM-Based Conversational AI Makes Users Reveal Personal Information
SWAPP: A New Programmable Playground for Web Application Security
RETBLEED: Arbitrary Speculative Code Execution with Return Instructions
Argus: All your (PHP) Injection-sinks are belong to us
SOAP: A Social Authentication Protocol
Saphire: Sandboxing PHP Applications with Tailored System Call Allowlists
DACSA: A Decoupled Architecture for Cloud Security Analysis
FuzzGuard: Filtering out Unreachable Inputs in Directed Grey-box Fuzzing through Deep Learning
Reducing Latency in Tor Circuits with Unordered Delivery
Leakage-Abuse Attacks Against Structured Encryption for SQL
The Heisenberg Measuring Uncertainty in Lightweight Virtualization Testbeds
"It's the Equivalent of Feeling Like You're in Jail": Lessons from Firsthand and Secondhand Accounts of IoT-Enabled Intimate Partner Abuse
EDURange: Meeting the Pedagogical Challenges of Student Participation in Cybertraining Environments
Flexible and Fine-grained Mandatory Access Control on Android for Diverse Security and Privacy Policies
Duoram: A Bandwidth-Efficient Distributed ORAM for 2- and 3-Party Computation
Bridging Missing Gaps in Evaluating DDoS Research
A Stealthy Location Identification Attack Exploiting Carrier Aggregation in Cellular Networks
ZØ: An Optimizing Distributing Zero-Knowledge Compiler
CloudFlow: Identifying Security-sensitive Data Flows in Serverless Applications
QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems
SOFT: Selective Data Obfuscation for Protecting LLM Fine-tuning against Membership Inference Attacks
Navigating Traumatic Stress Reactions During Computer Security Interventions
How to Cover up Anomalous Accesses to Electronic Health Records
POPS: From History to Mitigation of DNS Cache Poisoning Attacks
Security Analysis of the Democracy Live Online Voting System
Can a Deep Learning Model for One Architecture Be Used for Others? Retargeted-Architecture Binary Code Analysis
Robustifying ML-powered Network Classifiers with PANTS
Automatic Extraction of Secrets from the Transistor Jungle using Laser-Assisted Side-Channel Attacks
PURL: Safe and Effective Sanitization of Link Decoration
Electing a University President Using Open-Audit Voting: Analysis of Real-World Use of Helios
For Human Ears Only: Preventing Automated Monitoring on Voice Data
vTPM: Virtualizing the Trusted Platform Module
Improving Host Security with System Call Policies
Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts
Cloak, Honey, Trap: Proactive Defenses Against LLM Agents
"The Same PIN, Just Longer": On the (In)Security of Upgrading PINs from 4 to 6 Digits
Anycast Agility: Network Playbooks to Fight DDoS
A11y and Privacy don't have to be mutually exclusive: Constraining Accessibility Service Misuse on Android
Timeless Timing Attacks and Preload Defenses in Tor's DNS Cache
Murphy's Law and Computer Security
FVD-DPM: Fine-grained Vulnerability Detection via Conditional Diffusion Probabilistic Models
Simple Password-Hardened Encryption Services
Abuse Vectors: A Framework for Conceptualizing IoT-Enabled Interpersonal Abuse
Auditing Framework APIs via Inferred App-side Security Specifications
Where's the FEEB? The Effectiveness of Instruction Set Randomization
DISPATCH: Unraveling Security Patches from Entangled Code Changes
ZBCAN: A Zero-Byte CAN Defense System
Verifying Compliance of Trusted Programs
PeerSec: Towards Peer Production and Crowdsourcing for Enhanced Security
Access Control for Federation of Emulab-based Network Testbeds
SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities
Plug-N-Pwned: Comprehensive Vulnerability Analysis of OBD-II Dongles as A New Over-the-Air Attack Surface in Automotive IoT
An Evaluation of the Google Chrome Extension Security Architecture
Leveraging Semantic Relations in Code and Data to Enhance Taint Analysis of Embedded Systems
On XACML's Adequacy to Specify and to Enforce HIPAA
Static Detection of Access Control Vulnerabilities in Web Applications
Towards Efficient Heap Overflow Discovery
Less is More: Revisiting the Gaussian Mechanism for Differential Privacy
ALASTOR: Reconstructing the Provenance of Serverless Intrusions
PACStack: an Authenticated Call Stack
Gradients Look Alike: Sensitivity is Often Overestimated in DP-SGD
TXSPECTOR: Uncovering Attacks in Ethereum from Transactions
Tracking Rootkit Footprints with a Practical Memory Analysis System
Analyzing Resiliency of the Smart Grid Communication Architectures under Cyber Attack
The Use of Cyber-Defense Exercises in Undergraduate Computing Education
All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts
MultiFlow: Cross-Connection Decoy Routing using TLS 1.3 Session Resumption
Retroactive Detection of Malware with Applications to Mobile Platforms
Identifying Harmful Media in End-to-End Encrypted Communication: Efficient Private Membership Computation
Conducting an Ethical Study of Web Traffic
Probability Model Transforming Encoders Against Encoding Attacks
MicGuard: A Comprehensive Detection System against Out-of-band Injection Attacks for Different Level Microphone-based Devices
SUPOR: Precise and Scalable Sensitive User Input Detection for Android Apps
Detecting Spammers with SNARE: Spatio-temporal Network-level Automatic Reputation Engine
FIRMSCOPE: Automatic Uncovering of Privilege-Escalation Vulnerabilities in Pre-Installed Apps in Android Firmware
TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning
Synthesis of Code-Reuse Attacks from p-code Programs
Securing Computer Hardware Using 3D Integrated Circuit (IC) Technology and Split Manufacturing for Obfuscation
Large-Scale Evaluation of a Vulnerability Analysis Framework
CyberCIEGE Scenario Design and Implementation
Hidden Trigger Backdoor Attack on NLP Models via Linguistic Style Manipulation
In the Quest to Protect Users from Side-Channel Attacks - A User-Centred Design Space to Mitigate Thermal Attacks on Public Payment Terminals
Yes, One-Bit-Flip Matters! Universal DNN Model Inference Depletion with Runtime Code Fault Injection
"I'm going to trust this until it burns me" Parents' Privacy Concerns and Delegation of Trust in K-8 Educational Technology
Persistent Backdoor Attacks in Continual Learning
Chaperone: Real-time Locking and Loss Prevention for Smartphones
EASEAndroid: Automatic Policy Analysis and Refinement for Security Enhanced Android via Large-Scale Semi-Supervised Learning
Voice App Developer Experiences with Alexa and Google Assistant: Juggling Risks, Liability, and Security
Authenticated private information retrieval
AI Psychiatry: Forensic Investigation of Deep Learning Networks in Memory Images
Privee: An Architecture for Automatically Analyzing Web Privacy Policies
FEASE: Fast and Expressive Asymmetric Searchable Encryption
Comparing the Auditability of Optical Scan, Voter Verified Paper Audit Trail (VVPAT) and Video (VVVAT) Ballot Systems
Privacy Challenges in Patient-centric Health Information Systems
High Stakes, Low Certainty: Evaluating the Efficacy of High-Level Indicators of Compromise in Ransomware Attribution
Speculative Denial-of-Service Attacks In Ethereum
Do Voters and Poll Workers Differ in their Attitudes Toward E-voting? Evidence from the First E-election in Salta, Argentina
Automated Attack Discovery in Data Plane Systems
Effective Entropy: Security-Centric Metric for Memory Randomization Techniques
No Way to Sign Out? Unpacking Non-Compliance with Google Play's App Account Deletion Requirements
BlueGuard: Accelerated Host and Guest Introspection Using DPUs
FloatZone: Accelerating Memory Error Detection using the Floating Point Unit
SCASE: Automated Secret Recovery via Side-Channel-Assisted Symbolic Execution
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts
DIZK: A Distributed Zero Knowledge Proof System
Combat Security Alert Fatigue with AI-Assisted Techniques
Dependency-based Distributed Intrusion Detection
Battle Ground: Data Collection and Labeling of CTF Games to Understand Human Cyber Operators
Countering Targeted File Attacks Using LocationGuard
DNS and BIND Security Issues
Cache Telepathy: Leveraging Shared Resource Attacks to Learn DNN Architectures
Challenges and Directions for Monitoring P2P File Sharing Networks - or - Why My Printer Received a DMCA Takedown Notice
Implementing Risk-Limiting Post-Election Audits in California
Robust, Efficient, and Widely Available Greybox Fuzzing for COTS Binaries with System Call Pattern Feedback
Token Spammers, Rug Pulls, and Sniper Bots: An Analysis of the Ecosystem of Tokens in Ethereum and in the Binance Smart Chain (BNB)
Branch Privilege Injection: Compromising Spectre v2 Hardware Mitigations by Exploiting Branch Predictor Race Conditions
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks
FABLE: Batched Evaluation on Confidential Lookup Tables in 2PC
You Are What You Broadcast: Identification of Mobile and IoT Devices from (Public) WiFi
teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts
Shim Shimmeny: Evaluating the Security and Privacy Contributions of Link Shimming in the Modern Web
AutoDA: Automated Decision-based Iterative Adversarial Attacks
How does Endpoint Detection use the MITRE ATT&CK Framework?
PrivGuard: Privacy Regulation Compliance Made Easier
2013 USENIX Workshop on Health Information Technologies, HealthTech '13, Washington, DC, USA, August 12, 2013
Plug-and-Play PKI: A PKI Your Mother Can Use
Shechi: A Secure Distributed Computation Compiler Based on Multiparty Homomorphic Encryption
Is Less Really More? Towards Better Metrics for Measuring Security Improvements Realized Through Software Debloating
Lost in the Edge: Finding Your Way with DNSSEC Signposts
Holding Secrets Accountable: Auditing Privacy-Preserving Machine Learning
A Study of Multi-Factor and Risk-Based Authentication Availability
Effect of Mood, Location, Trust, and Presence of Others on Video-Based Social Authentication
BYTEWEIGHT: Learning to Recognize Functions in Binary Code
Is Real-time Phishing Eliminated with FIDO? Social Engineering Downgrade Attacks against FIDO Protocols
DMAAUTH: A Lightweight Pointer Integrity-based Secure Architecture to Defeat DMA Attacks
DatashareNetwork: A Decentralized Privacy-Preserving Search Engine for Investigative Journalists
CCSP: Controlled Relaxation of Content Security Policies by Runtime Policy Composition
CACTI: Captcha Avoidance via Client-side TEE Integration
From Threat to Trust: Exploiting Attention Mechanisms for Attacks and Defenses in Cooperative Perception
18th USENIX Security Symposium, Montreal, Canada, August 10-14, 2009, Proceedings
EvilEDR: Repurposing EDR as an Offensive Tool
Data Remanence in Semiconductor Devices
Transcend: Detecting Concept Drift in Malware Classification Models
LLMxCPG: Context-Aware Vulnerability Detection Through Code Property Graph-Guided Large Language Models
Aion: Robust and Efficient Multi-Round Single-Mask Secure Aggregation Against Malicious Participants
REM: Resource-Efficient Mining for Blockchains
Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs
Who Is Answering My Queries: Understanding and Characterizing Interception of the DNS Resolution Path
Precise Client-side Protection against DOM-based Cross-Site Scripting
Precise and Generalized Robustness Certification for Neural Networks
PhyAuth: Physical-Layer Message Authentication for ZigBee Networks
Searching the Searchers with SearchAudit
When Malware Changed Its Mind: An Empirical Study of Variable Program Behaviors in the Real World
Zero-setup Intermediate-rate Communication Guarantees in a Global Internet
On the Difficulty of Validating Voting Machine Software with Software
Integrity Checking in Cryptographic File Systems with Constant Trusted Storage
SoK: Data Reconstruction Attacks Against Machine Learning Models: Definition, Metrics, and Benchmark
A Stakeholder-Based Framework to Highlight Tensions when Implementing Privacy Features
Abandon All Hope Ye Who Enter Here: A Dynamic, Longitudinal Investigation of Android's Data Safety Section
Fuzzy Labeled Private Set Intersection with Applications to Private Real-Time Biometric Search
Jaqen: A High-Performance Switch-Native Approach for Detecting and Mitigating Volumetric DDoS Attacks with Programmable Switches
AE-Morpher: Improve Physical Robustness of Adversarial Objects against LiDAR-based Detectors via Object Reconstruction
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols
VEX: Vetting Browser Extensions for Security Vulnerabilities
Discovering Adversarial Driving Maneuvers against Autonomous Vehicles
"What do you want from theory alone?" Experimenting with Tight Auditing of Differentially Private Synthetic Data Generation
SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel
Pig in a Poke: Automatically Detecting and Exploiting Link Following Vulnerabilities in Windows File Operations