yusuke1997/dblp-id-title huggingface dataset:
Please Tell Me More: Privacy Impact of Explainability through the Lens of Membership Inference Attack
Benchmarking the Effect of Poisoning Defenses on the Security and Bias of Deep Learning Models
The Implementation of Secure Entity-Relationship Databases
SwitchMan: An Easy-to-Use Approach to Secure User Input and Output
Pryde: A Modular Generalizable Workflow for Uncovering Evasion Attacks Against Stateful Firewall Deployments
SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems
The SeaView security model
Secure Network Objects
WeSee: Using Malicious #VC Interrupts to Break AMD SEV-SNP
Practical Domain and Type Enforcement for UNIX
The Password Reset MitM Attack
Directed-Graph Epidemiological Models of Computer Viruses
Encrypted Database Design: Specialized Approaches
SoK: Verifiability Notions for E-Voting Protocols
Poster: Towards Privacy-Preserving Federated Recommendation via Synthetic Interactions
Finite State Machine Parsing for Internet Protocols: Faster Than You Think
GRID: Protecting Training Graph from Link Stealing Attacks on GNN Models
AdGraph: A Graph-Based Approach to Ad and Tracker Blocking
Exploring the Capabilities and Limitations of Video Stream Fingerprinting
Robust De-anonymization of Large Sparse Datasets
MitM Attack by Name Collision: Cause Analysis and Vulnerability Assessment in the New gTLD Era
A logical approach to multilevel security of probabilistic systems
SNAP: Efficient Extraction of Private Properties with Poisoning
Practical Evasion of a Learning-Based Classifier: A Case Study
Characterizing Pixel Tracking through the Lens of Disposable Email Services
Crowd-GPS-Sec: Leveraging Crowdsourcing to Detect and Localize GPS Spoofing Attacks
Machine Learning with Privacy for Protected Attributes
Harmonycloak: Making Music Unlearnable for Generative AI
ICLab: A Global, Longitudinal Internet Censorship Measurement Platform
Evaluating Physical-Layer BLE Location Tracking Attacks on Mobile Devices
The Role of Trust in Protected Mail
Labrador: Response Guided Directed Fuzzing for Black-box IoT Devices
From Privacy Impact Assessment to Social Impact Assessment
Backdooring Multimodal Learning
Neutaint: Efficient Dynamic Taint Analysis with Neural Networks
Graph Homomorphisms and the Design of Secure Computer Systems
Blueprint: Robust Prevention of Cross-site Scripting Attacks for Existing Browsers
ESPwn32: Hacking with ESP32 System-on-Chips
Memoryless Inference Controls for Statistical Databases
A Biosequence-Based Approach to Software Characterization
MetaFly: Wireless Backhaul Interception via Aerial Wavefront Manipulation
On the Robustness of Deep K-Nearest Neighbors
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification
A Unification of Computer and Network Security Concepts
Corpus-wide Analysis of Parser Behaviors via a Format Analysis Workbench
Follow My Flow: Unveiling Client-Side Prototype Pollution Gadgets from One Million Real-World Websites
Privacy and Access Control for Outsourced Personal Records
Click Without Compromise: Online Advertising Measurement via Per User Differential Privacy
Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures
Modeling and Discovering Vulnerabilities with Code Property Graphs
Blind Baselines Beat Membership Inference Attacks for Foundation Models
Finding SMM Privilege-Escalation Vulnerabilities in UEFI Firmware with Protocol-Centric Static Analysis
Using Selective Memoization to Defeat Regular Expression Denial of Service (ReDoS)
Investigating Voter Perceptions of Printed Physical Audit Trails for Online Voting
Continuous Embedding Attacks via Clipped Inputs in Jailbreaking Large Language Models
Practical Inference Control for Data Cubes (Extended Abstract)
IEEE Symposium on Security and Privacy, SP 2025, San Francisco, CA, USA, May 12-15, 2025
Mitigating Deep Reinforcement Learning Backdoors in the Neural Activation Space
Peek-a-Boo, I Still See You: Why Efficient Traffic Analysis Countermeasures Fail
Man-in-the-Middle Attacks without Rogue AP: When WPAs Meet ICMP Redirects
SoK: Prudent Evaluation Practices for Fuzzing
Message Authentication with Manipulation Detection Code
MicroNova: Folding-Based Arguments with Efficient (On-Chain) Verification
The Geometry of Syntax and Semantics for Directed File Transformations
ObliVM: A Programming Framework for Secure Computation
Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis
Some Conundrums Concerning Separation of Duty
Bounded and Unbiased Composite Differential Privacy
On the minimality of testing for rights in transformation models
HVLearn: Automated Black-Box Analysis of Hostname Verification in SSL/TLS Implementations
Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices
On Enabling Secure Applications Through Off-Line Biometric Identification
A Security Analysis of Honey Vaults
DeepSteal: Advanced Model Extractions Leveraging Efficient Weight Stealing in Memories
The Chinese Wall Security Policy
Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels
Device Discovery in the Smart Home Environment
Repairing DoS Vulnerability of Real-World Regexes
Privacy Protection in the 1980s
NetShuffle: Circumventing Censorship with Shuffle Proxies at the Edge
Biometric Identification System based on Object Interactions in Internet of Things Environments
Factors Affecting Distributed System Security
The Quest to Replace Passwords: A Framework for Comparative Evaluation of Web Authentication Schemes
HeNet: A Deep Learning Approach on Intel® Processor Trace for Effective Exploit Detection
Security Update Labels: Establishing Economic Incentives for Security Patching of IoT Consumer Products
PGUS: Pretty Good User Security for Thick MVNOs with a Novel Sanitizable Blind Signature
Revealer: Detecting and Exploiting Regular Expression Denial-of-Service Vulnerabilities
Formal Verification of a Secure Network with End-to-End Encryption
In-Progress: Structured Pruning in the Wild: Benchmarking Practical Robustness Under Real-World Corruptions
Improving Performance and Usability in Mobile Keystroke Dynamic Biometric Authentication
SyzTrust: State-aware Fuzzing on Trusted OS Designed for IoT Devices
GPTracker: A Large-Scale Measurement of Misused GPTs
Protected or Porous: A Comparative Analysis of Threat Detection Capability of IoT Safeguards
2002 IEEE Symposium on Security and Privacy, Berkeley, California, USA, May 12-15, 2002
Fidelius: Protecting User Secrets from Compromised Browsers
Wolverine: Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits
Cloak of Visibility: Detecting When Machines Browse a Different Web
Black-Box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers
Using Existing Hardware Services for Malware Detection
DABANGG: A Case for Noise Resilient Flush-Based Cache Attacks
Is It Overkill? Analyzing Feature-Space Concept Drift in Malware Detectors
A More Efficient Cryptographic Matchmaking Protocol for Use in the Absence of a Continuously Available Third Party
Run-time Principals in Information-flow Type Systems
Speedrunning the Maze: Meeting Regulatory Patching Deadlines in a Large Enterprise Environment
A Deep Learning Approach to Fast, Format-Agnostic Detection of Malicious Web Content
Text-CRS: A Generalized Certified Robustness Framework against Textual Adversarial Attacks
Phecda: Post-Quantum Transparent zkSNARKs from Improved Polynomial Commitment and VOLE-in-the-Head with Application in Publicly Verifiable AES
Using Fingerprint Authentication to Reduce System Security: An Empirical Study
1996 IEEE Symposium on Security and Privacy, May 6-8, 1996, Oakland, CA, USA
SoK: Science, Security and the Elusive Goal of Security as a Scientific Pursuit
Authentication method with impersonal token cards
Reading Between the Lines: An Extensive Evaluation of the Security and Privacy Implications of EPUB Reading Systems
Multicast Authentication in Fully Adversarial Networks
Intriguing Properties of Adversarial ML Attacks in the Problem Space
SoK: Security and Privacy of Blockchain Interoperability
Blue Is the New Black (Market): Privacy Leaks and Re-Victimization from Police-Auctioned Cellphones
Noninterference and Intrusion Detection
LACMUS: Latent Concept Masking for General Robustness Enhancement of DNNs
Prepose: Privacy, Security, and Reliability for Gesture-Based Programming
An Analysis of Covert Timing Channels
A Formal Model for UNIX Setuid
Don't Eject the Impostor: Fast Three-Party Computation With a Known Cheater
Connection-Oriented DNS to Improve Privacy and Security
Browsing Unicity: On the Limits of Anonymizing Web Tracking Data
Effects of Mobility and Multihoming on Transport-Protocol Security
OB-PWS: Obfuscation-Based Private Web Search
Statistical Identification of Encrypted Web Browsing Traffic
Towards Scalable Threshold Cryptosystems
High-Assurance Cryptography in the Spectre Era
Everyone for Themselves? A Qualitative Study about Individual Security Setups of Open Source Software Contributors
Scaling JavaScript Abstract Interpretation to Detect and Exploit Node.js Taint-style Vulnerability
Simple timing channels
Engineering Privacy and Protest: A Case Study of AdNauseam
A Security Model for Object-Oriented Databases
Verification of Control Flow based Security Properties
Cache Cookies for Browser Authentication (Extended Abstract)
Are We There Yet? Timing and Floating-Point Attacks on Differential Privacy Systems
"Len or index or count, anything but v1": Predicting Variable Names in Decompilation Output with Transfer Learning
ILR: Where'd My Gadgets Go?
Model Orthogonalization: Class Distance Hardening in Neural Networks for Better Security
Deriving an Information Flow Checker and Certifying Compiler for Java
Your Cable, My Antenna: Eavesdropping Serial Communication via Backscatter Signals
Practical Data-Swapping: The First Steps
XFA: Faster Signature Matching with Extended Automata
Memento: Learning Secrets from Process Footprints
IRM Enforcement of Java Stack Inspection
Identifying Ubiquitious Third-Party Libraries in Compiled Executables Using Annotated and Translated Disassembled Code with Supervised Machine Learning
Invisible for both Camera and LiDAR: Security of Multi-Sensor Fusion based Perception in Autonomous Driving Under Physical-World Attacks
1982 IEEE Symposium on Security and Privacy, Oakland, CA, USA, April 26-28, 1982
Biometric Authentication Using Mouse and Eye Movement Data
Forensic Analysis of Fitbit Versa: Android vs iOS
The Role of User-Agent Interactions on Mobile Money Practices in Kenya and Tanzania
A Software Engineering Approach to Designing Trustworthy Software
GenoGuard: Protecting Genomic Data against Brute-Force Attacks
44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023
Constrained Delegation
Off-path TCP Sequence Number Inference Attack - How Firewall Middleboxes Reduce Security
A Test for Non-Disclosure in Security Level Translations
43rd IEEE Security and Privacy, SP Workshops 2022, San Francisco, CA, USA, May 22-26, 2022
How to (Selectively) Broadcast A Secret
A Pattern-Oriented Intrusion-Detection Model and Its Applications
At Your Fingertips: Considering Finger Distinctness in Continuous Touch-Based Authentication for Mobile Devices
UTopia: Automatic Generation of Fuzz Driver using Unit Tests
On the (In)security of Peer-to-Peer Decentralized Machine Learning
Generating formal cryptographic protocol specifications
Security of the J-PAKE Password-Authenticated Key Exchange Protocol
Implementing Conjunction Obfuscation Under Entropic Ring LWE
Device Fingerprinting with Peripheral Timestamps
"We can't Allow IoT Vendors to Pass off all Such Liability to the Consumer": Investigating the U.S. Legal Perspectives on Liability for IoT Product Security
Real-World Snapshots vs. Theory: Questioning the t-Probing Security Model
Ceviche: Capability-Enhanced Secure Virtualization of Caches
Red Team vs. Blue Team: A Real-World Hardware Trojan Detection Case Study Across Four Modern CMOS Technology Generations
TeSec: Accurate Server-side Attack Investigation for Web Applications
CamLopa: A Hidden Wireless Camera Localization Framework via Signal Propagation Path Analysis
Absorbing covers and intransitive non-interference
Fundamental Limits on the Anonymity Provided by the MIX Technique
MPCAuth: Multi-factor Authentication for Distributed-trust Systems
In Search of Shotgun Parsers in Android Applications
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System
Efficient and Practical Fair Exchange Protocols with Off-Line TTP
A Case Study in Tailoring a Bio-Inspired Cyber-Security Algorithm: Designing Anomaly Detection for Multilayer Networks
Partitioning Attacks: Or How to Rapidly Clone Some GSM Cards
Collusion and Fraud Detection on Electronic Energy Meters - A Use Case of Forensics Investigation Procedures
A Big Step Forward? A User-Centric Examination of iOS App Privacy Report and Enhancements
On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols
A Layered Design of Discretionary Access Controls with Decidable Safety Properties
Slice+Slice Baby: Generating Last-Level Cache Eviction Sets in the Blink of an Eye
Casting out Demons: Sanitizing Training Data for Anomaly Sensors
Invade the Walled Garden: Evaluating GTP Security in Cellular Networks
Privacy and Contextual Integrity: Framework and Applications
FIREMAN: A Toolkit for FIREwall Modeling and ANalysis
Examining Zero-Shot Vulnerability Repair with Large Language Models
Prevalence Overshadows Concerns? Understanding Chinese Users' Privacy Awareness and Expectations Towards LLM-Based Healthcare Consultation
On the Security of Parsing Security-Relevant HTTP Headers in Modern Browsers
Towards Practical Differentially Private Convex Optimization
Transport Layer Obscurity: Circumventing SNI Censorship on the TLS-Layer
The Great Request Robbery: An Empirical Study of Client-side Request Hijacking Vulnerabilities on the Web
Self-Supervised Euphemism Detection and Identification for Content Moderation
Security in Innovative New Operating Systems
μSwitch: Fast Kernel Context Isolation with Implicit Context Switches
Craigslist Scams and Community Composition: Investigating Online Fraud Victimization
Polyinstantiation Integrity in Multilevel Relations
PFortifier: Mitigating PHP Object Injection Through Automatic Patch Generation
SoK: Fully Homomorphic Encryption Compilers
ObliviStore: High Performance Oblivious Cloud Storage
A Security Policy and Formal Top Level Specification for a Multi-Level Secure Local Area Network
A Security Policy for an A1DBMS (a Trusted Subject)
PolyDoc: Surveying PDF Files from the PolySwarm network
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
A Metamodel for Privacy Engineering Methods
WireWatch: Measuring the Security of Proprietary Network Encryption in the Global Android Ecosystem
Network Hexagons Under Attack: Secure Crowdsourcing of Georeferenced Data
Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction
Practical Experience with an Ada-Based Formal Specification/Language on a Large Project
Filtering Postures: Local Enforcement for Global Policies
Distributed Detection of Node Replication Attacks in Sensor Networks
Guess Again (and Again and Again): Measuring Password Strength by Simulating Password-Cracking Algorithms
From Individual Computation to Allied Optimization: Remodeling Privacy-Preserving Neural Inference with Function Input Tuning
"I'm Pretty Expert and I Still Screw It Up": Qualitative Insights into Experiences and Challenges of Designing and Implementing Cryptographic Library APIs
Obelix: Mitigating Side-Channels Through Dynamic Obfuscation
HydRand: Efficient Continuous Distributed Randomness
Go or No Go: Differential Fuzzing of Native and C Libraries
Cryptanalysis of a Cognitive Authentication Scheme (Extended Abstract)
ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
Gold OPRF: Post-Quantum Oblivious Power-Residue PRF
Research Report: AI Security is a LangSec Problem
Computer Privacy in America: Conflicting Practices and Policy Choices
Decision Support Procedure in the Insider Threat Domain
Detecting Unknown Insider Threat Scenarios
Mon CHERI: Mitigating Uninitialized Memory Access with Conditional Capabilities
Understanding and Monitoring Embedded Web Scripts
The VERUS Design Verification System
SyzGen++: Dependency Inference for Augmenting Kernel Driver Fuzzing
On Bad Randomness and Cloning of Contactless Payment and Building Smart Cards
Privacy Harm Analysis: A Case Study on Smart Grids
RGFuzz: Rule-Guided Fuzzer for WebAssembly Runtimes
LocalStyleFool: Regional Video Style Transfer Attack Using Segment Anything Model
Routing Attacks on Cryptocurrency Mining Pools
Privacy Broker: Message Oriented Middleware to Implement Privacy Controls in Schibsted's Ecosystem of Services
2000 IEEE Symposium on Security and Privacy, Berkeley, California, USA, May 14-17, 2000
Port Contention for Fun and Profit
Insider Threats against Trust Mechanism with Watchdog and Defending Approaches in Wireless Sensor Networks
Efficient Detection of Java Deserialization Gadget Chains via Bottom-up Gadget Search and Dataflow-aided Payload Construction
Preserving Caller Anonymity in Voice-over-IP Networks
Exploring the BAN Approach to Protocol Analysis
A Fast Signature Scheme Based on Quadratic Inequalities
ELF Analyzer Demo: Online Identification for IoT Malwares with Multiple Hardware Architectures
Worm Origin Identification Using Random Moonwalks
The Science of Guessing: Analyzing an Anonymized Corpus of 70 Million Passwords
A New Paradigm for Individuals in the Information Age
Some Owner Based Schemes with Dynamic Groups in the Schematic Protection Model
Survivalism: Systematic Analysis of Windows Malware Living-Off-The-Land
Groundhog: A Restart-Based Systems Framework for Increasing Availability in Threshold Cryptosystems
On the Pitfalls of Security Evaluation of Robust Federated Learning
LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices
1993 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 24-26, 1993
A Little Knowledge Goes a Long Way: Faster Detection of Compromised Data in 2-D Tables
1999 IEEE Symposium on Security and Privacy, Oakland, California, USA, May 9-12, 1999
Efficient Proofs of Possession for Legacy Signatures
Asynchronous composition and required security conditions
When Function Signature Recovery Meets Compiler Optimization
Extending the schematic protection model. I. Conditional tickets and authentication
Fuzzing JavaScript Engines with Aspect-preserving Mutation
The Integrity Lock Architecture and Its Application to Message Systems: Reducing Covert Channels
Machine-Checked Proofs of Privacy for Electronic Voting Protocols
A Software Protection Scheme
Stealing Webpages Rendered on Your Browser by Exploiting GPU Vulnerabilities
Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages
Privacy Technology Lessons from Healthcare
Program-Adaptive Mutational Fuzzing
A Smart City Internet for Autonomous Systems
User Intention-Based Traffic Dependence Analysis for Anomaly Detection
Evaluating Automated Facial Age Estimation Techniques for Digital Forensics
Efficient Evaluation of Activation Functions over Encrypted Data
Stateful Intrusion Detection for High-Speed Networks
On the Cell Suppression by Merging Technique in the Lattice Model of Summary Tables
Bitcoin vs. Bitcoin Cash: Coexistence or Downfall of Bitcoin Cash?
Ensuring data security in interrelated tabular data
SoK: Watermarking for AI-Generated Content
Perun: Virtual Payment Hubs over Cryptocurrencies
Clubcards for the WebPKI: Smaller Certificate Revocation Tests in Theory and Practice
Enabling Rack-scale Confidential Computing using Heterogeneous Trusted Execution Environment
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations
An Agent-Based Model for Evaluating Connected and Autonomous Vehicles, Collective Behaviors and Traffic System Performance
Differentiating User Authentication Graphs
Non-Atomic Arbitrage in Decentralized Finance
On introducing noise into the bus-contention channel
Robust Backdoor Detection for Deep Learning via Topological Evolution Dynamics
Defensive Technology Use by Political Activists During the Sudanese Revolution
Cryptographic credit control in pre-payment metering systems
Deep perceptual hashing algorithms with hidden dual purpose: when client-side scanning does facial recognition
Military Message Systems: Applying a Security Model
Beauty and the Beast: Diverting Modern Web Browsers to Build Unique Browser Fingerprints
Need for Speed: Taming Backdoor Attacks with Speed and Precision
Ignoring Directionality Leads to Compromised Graph Neural Network Explanations
On the (In)Security of LLM App Stores
Bitcoin-Compatible Virtual Channels
Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes
The Provision of Security for User Data on Packet Switched Networks
DSSS-Based Flow Marking Technique for Invisible Traceback
Cognitive Authentication Schemes Safe Against Spyware (Short Paper)
Runtime Recovery of Web Applications under Zero-Day ReDoS Attacks
Efficient Intrusion Detection using Automaton Inlining
Binder, a Logic-Based Security Language
DeHiREC: Detecting Hidden Voice Recorders via ADC Electromagnetic Radiation
SecFloat: Accurate Floating-Point meets Secure 2-Party Computation
Membership Inference Attacks against Diffusion Models
A Capability for Autonomous IoT System Security: Pushing IoT Assurance to the Edge
LOCK Trak: Navigating Uncharted Space
Assessing Privacy in Social Media Aggregators
Securing Graph Neural Networks in MLaaS: A Comprehensive Realization of Query-based Integrity Verification
Noise-SDR: Arbitrary Modulation of Electromagnetic Noise from Unprivileged Software and Its Impact on Emission Security
Privacy-Preserving Statistical Analysis by Exact Logistic Regression
Ensuring Atomicity of Multilevel Transactions
A Model for Secure Information Flow
Lares: An Architecture for Secure Active Monitoring Using Virtualization
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
The Impact of Uniform Inputs on Activation Sparsity and Energy-Latency Attacks in Computer Vision
Adversarial Machine Learning-Industry Perspectives
Simulatable Security and Polynomially Bounded Concurrent Composability
PATA: Fuzzing with Path Aware Taint Analysis
Parsifal: A Pragmatic Solution to the Binary Parsing Problems
Proceedings of the 1980 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 14-16, 1980
Analysis of a Kernel Verification
Formal Language Theory for Practical Security - Extended Abstract -
Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications
1992 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 4-6, 1992
BounceAttack: A Query-Efficient Decision-based Adversarial Attack by Bouncing into the Wild
SurroundWeb: Mitigating Privacy Concerns in a 3D Web Browser
Stack and Queue Integrity on Hostile Platforms
You Can't Protect What You Don't Understand: Characterizing an Operational Gas SCADA Network
Protecting Security Information in Distributed Systems
Computer Security and Privacy for Refugees in the United States
Poisoned ChatGPT Finds Work for Idle Hands: Exploring Developers' Coding Practices with Insecure Suggestions from Poisoned AI Models
Staying Secure and Unprepared: Understanding and Mitigating the Security Risks of Apple ZeroConf
A Mathematical Modeling of Exploitations and Mitigation Techniques Using Set Theory
Pooling, Splitting, and Restituting Information to Overcome Total Failure of Some Channels of Communication
Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis
Empc: Effective Path Prioritization for Symbolic Execution with Path Cover
One Engine to Fuzz 'em All: Generic Language Processor Testing with Semantic Validation
Alert Correlation in a Cooperative Intrusion Detection Framework
The Digital Cybersecurity Expert: How Far Have We Come?
SafeFL: MPC-friendly Framework for Private and Robust Federated Learning
Differentially Private Selection Using Smooth Sensitivity