yusuke1997/dblp-id-title huggingface dataset:
Privacy Risks with Facebook's PII-Based Targeting: Auditing a Data Broker's Advertising Interface
Synq: Public Policy Analytics Over Encrypted Data
ARBITRAR: User-Guided API Misuse Detection
A model of atomicity for multilevel transactions
NodeGuard: A Highly Efficient Two-Party Computation Framework for Training Large-Scale Gradient Boosting Decision Tree
2023 IEEE Security and Privacy Workshops (SPW), San Francisco, CA, USA, May 25, 2023
Spartan Jester: End-to-End Information Flow Control for Hybrid Android Applications
Pulling Off The Mask: Forensic Analysis of the Deceptive Creator Wallets Behind Smart Contract Fraud
SoK: Hate, Harassment, and the Changing Landscape of Online Abuse
A Hierarchical Key Management Scheme for End-to-End Encryption in Internet Environments
Implementing Mental Models
DeepCoFFEA: Improved Flow Correlation Attacks on Tor via Metric Learning and Amplification
Is Anybody Home? Inferring Activity From Smart Home Network Traffic
Privacy by Design in Federated Identity Management
Research Report: Progress on Building a File Observatory for Secure Parser Development
Proof-of-Learning: Definitions and Practice
Your Exploit is Mine: Automatic Shellcode Transplant for Remote Exploits
Epochal Signatures for Deniable Group Chats
DeepVenom: Persistent DNN Backdoors Exploiting Transient Weight Perturbations in Memories
Verifying a Hardware Security Architecture
A Framework for Expressing Models of Security Policy
SoK: Cryptographic Neural-Network Computation
Finding and Exploiting CPU Features using MSR Templating
Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components
Keep the Dirt: Tainted TreeKEM, Adaptively and Actively Secure Continuous Group Key Agreement
DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers
Hark: A Deep Learning System for Navigating Privacy Feedback at Scale
SAVIOR: Towards Bug-Driven Hybrid Testing
Phonotactic Reconstruction of Encrypted VoIP Conversations: Hookt on Fon-iks
The Turing Test and Non-Information Flow
Rethinking IC Layout Vulnerability: Simulation-Based Hardware Trojan Threat Assessment with High Fidelity
After GDPR, Still Tracking or Not? Understanding Opt-Out States for Online Behavioral Advertising
BOLT: Privacy-Preserving, Accurate and Efficient Inference for Transformers
DSybil: Optimal Sybil-Resistance for Recommendation Systems
Kronos: A Scalable Group Re-Keying Approach for Secure Multicast
Towards a Rigorous Statistical Analysis of Empirical Password Datasets
Ligetron: Lightweight Scalable End-to-End Zero-Knowledge Proofs Post-Quantum ZK-SNARKs on a Browser
Polymorphic Malware Detection Using Sequence Classification Methods
Analyzing Ad Prevalence, Characteristics, and Compliance in Alexa Skills
Detection of Denial-of-Message Attacks on Sensor Network Broadcasts
Secure Software Architectures
Research Report: The Parsley Data Format Definition Language
Baffle: Hiding Backdoors in Offline Reinforcement Learning Datasets
Innocent Until Proven Guilty (IUPG): Building Deep Learning Models with Embedded Robustness to Out-Of-Distribution Content
Evaluation of the Executional Power in Windows using Return Oriented Programming
Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach
Return to the Zombie Gadgets: Undermining Destructive Code Reads via Code Inference Attacks
Finding the Linchpins of the Dark Web: a Study on Topologically Dedicated Hosts on Malicious Web Infrastructures
Polygraph: Automatically Generating Signatures for Polymorphic Worms
Leveraging EM Side-Channel Information to Detect Rowhammer Attacks
Joint Encryption and Error-Correction Coding
Click Trajectories: End-to-End Analysis of the Spam Value Chain
JesseQ: Efficient Zero-Knowledge Proofs for Circuits Over Any Field
Proceedings of the 1986 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 7-9, 1986
Test-Time Poisoning Attacks Against Test-Time Adaptation Models
Leakage-Abuse Attacks against Order-Revealing Encryption
Defending Against Denial-of-Service Attacks with Puzzle Auction
Sensor-Based Mobile Web Fingerprinting and Cross-Site Input Inference Attacks
Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution
AccuRevoke: Enhancing Certificate Revocation with Distributed Cryptographic Accumulators
A Complete Protection Model
Differentially Private Model Publishing for Deep Learning
hinTS: Threshold Signatures with Silent Setup
Elimination of inference channels by optimal upgrading
The Trusted Domain Machine: A Secure Communication Device for Security Guard Applications
Trust relationships in secure systems-a distributed authentication perspective
Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs
IDE Plugins for Detecting Input-Validation Vulnerabilities
Evolutionary Approaches for Resilient Surveillance Management
Lay Down the Common Metrics: Evaluating Proof-of-Work Consensus Protocols' Security
Are Self-Driving Cars Secure? Evasion Attacks Against Deep Neural Networks for Steering Angle Prediction
Sophon: Non-Fine-Tunable Learning to Restrain Task Transferability For Pre-trained Models
AquaSonic: Acoustic Manipulation of Underwater Data Center Operations and Resource Management
Make Revocation Cheaper: Hardware-Based Revocable Attribute-Based Encryption
Generating Secure Artificial Intelligence Model Source Code: A Reinforcement Learning Approach
Preventing Sybil Attacks by Privilege Attenuation: A Design Principle for Social Network Systems
2025 IEEE Security and Privacy, SP 2025 - Workshops, San Francisco, CA, USA, May 15, 2025
A logical analysis of authorized and prohibited information flows
Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models
Forensic Methods for Detecting Insider Turning Behaviors
Vulnerabilities in Synchronous IPC Designs
Securing OLAP Data Cubes Against Privacy Breaches
BayBFed: Bayesian Backdoor Defense for Federated Learning
From Principle to Practice: Vertical Data Minimization for Machine Learning
Ringtail: Practical Two-Round Threshold Signatures from Learning with Errors
Detection and elimination of inference channels in multilevel relational database systems
Naming and Grouping Privileges to Simplify Security Management in Large Databases
Abusing Trust: Mobile Kernel Subversion via TrustZone Rootkits
On Confidentiality and Algorithms
Proceedings of the 1987 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 27-29, 1987
Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of β-VAE
Symmetric Encryption in Automatic Analyses for Confidentiality against Active Adversaries
Springproofs: Efficient Inner Product Arguments for Vectors of Arbitrary Length
Hardening COTS Software with Generic Software Wrappers
Reflections on Trusting Docker: Invisible Malware in Continuous Integration Systems
Round-Efficient Broadcast Authentication Protocols for Fixed Topology Classes
DepthFake: Spoofing 3D Face Authentication with a 2D Photo
VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery
Securing Augmented Reality Output
Side-Channel Attacks on Shared Search Indexes
On message integrity in cryptographic protocols
Oblivious Mechanisms in Differential Privacy: Experiments, Conjectures, and Open Questions
Analysing Censorship Circumvention with VPNs Via DNS Cache Snooping
ImU: Physical Impersonating Attack for Face Recognition System with Natural Style Changes
Tamper Evident Microprocessors
RAMBleed: Reading Bits in Memory Without Accessing Them
Research Report: Synthesizing Intrusion Detection System Test Data from Open-Source Attack Signatures
BaseBridge: Bridging the Gap Between Over-the-Air and Emulation Testing for Cellular Baseband Firmware
Countmamba: A Generalized Website Fingerprinting Attack via Coarse-Grained Representation and Fine-Grained Prediction
The Psychology of Security for the Home Computer User
Adversarial Examples for Generative Models
Parse Me, Baby, One More Time: Bypassing HTML Sanitizer via Parsing Differentials
Alexa in Phishingland: Empirical Assessment of Susceptibility to Phishing Pretexting in Voice Assistant Environments
Future Applications of Cryptography
Comprehensive Privacy Analysis of Deep Learning: Passive and Active White-box Inference Attacks against Centralized and Federated Learning
The semantics and expressive power of the MLR data model
Analyzing Consistency of Security Policies
When Smart Devices Are Stupid: Negative Experiences Using Home Smart Devices
ODDFuzz: Discovering Java Deserialization Vulnerabilities via Structure-Aware Directed Greybox Fuzzing
Proceedings of the 3rd International Workshop on Privacy Engineering co-located with 38th IEEE Symposium on Security and Privacy, IWPE@SP 2017, San Jose, CA, USA, May 25, 2017
Malicious-Client Security in Blind Seer: A Scalable Private DBMS
Attributing and Detecting Fake Images Generated by Known GANs
A Scanner Darkly: Protecting User Privacy from Perceptual Applications
"It's almost like Frankenstein": Investigating the Complexities of Scientific Collaboration and Privilege Management within Research Computing Infrastructures
The Design of an Effective Auditing Subsystem
Trojan Detection using IC Fingerprinting
Interconnecting domains with heterogeneous key distribution and authentication protocols
Evaluation of Intrusion Detectors: A Decision Theory Approach
Is Cryptographic Deniability Sufficientƒ Non-Expert Perceptions of Deniability in Secure Messaging
The Cards Aren't Alright: Detecting Counterfeit Gift Cards Using Encoding Jitter
CustomProcessingUnit: Reverse Engineering and Customization of Intel Microcode
An Interleaved Hop-by-Hop Authentication Scheme for Filtering of Injected False Data in Sensor Networks
Perceptions of Distributed Ledger Technology Key Management - An Interview Study with Finance Professionals
Upgrading Your Android, Elevating My Malware: Privilege Escalation through Mobile OS Updating
Permissionless Verifiable Information Dispersal (Data Availability for Bitcoin Rollups)
A Practically Implementable and Tractable Delegation Logic
SoK: Practical Foundations for Software Spectre Defenses
Pyramid: Enhancing Selectivity in Big Data Protection with Count Featurization
What do We Mean by Entity Authentication?
Cookieless Monster: Exploring the Ecosystem of Web-Based Device Fingerprinting
Fingerprinting the Fingerprinters: Learning to Detect Browser Fingerprinting Behaviors
Covert Channel Capacity
A bandwidth computation model for covert storage channels and its applications
CaSE: Cache-Assisted Secure Execution on ARM Processors
Spectral-DP: Differentially Private Deep Learning through Spectral Perturbation and Filtering
Bulkor: Enabling Bulk Loading for Path ORAM
Toward a Mathematical Foundation for Information Flow Security
Pi: A Path Identification Mechanism to Defend against DDoS Attack
A Hierarchical Methodology for Verifying Microprogrammed Microprocessors
Plundervolt: Software-based Fault Injection Attacks against Intel SGX
The Use of Logic in the Analysis of Cryptographic Protocols
On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols
INCOGNITOS: A Practical Unikernel Design for Full-System Obfuscation in Confidential Virtual Machines
MeshUp: Stateless Cache Side-channel Attack on CPU Mesh
Half&Half: Demystifying Intel's Directional Branch Predictors for Fast, Secure Partitioned Execution
IEEE Symposium on Security and Privacy, SP 2024, San Francisco, CA, USA, May 19-23, 2024
Formal Model of a Trusted File Server
Evolution of a trusted B3 window system prototype
Egocentric abstractions for modeling and safety verification of distributed cyber-physical systems
A Method for Preventing "Skipping" Attacks
Log Design for Accountability
Transcending TRANSCEND: Revisiting Malware Classification in the Presence of Concept Drift
When HTTPS Meets CDN: A Case of Authentication in Delegated Service
Certifying Zero-Knowledge Circuits with Refinement Types
Forward Search as a Cryptanalytic Tool Against a Public Key
Hardware-Software Contracts for Secure Speculation
Bohemia - A Validator for Parser Frameworks
Redefining Indirect Call Analysis with KallGraph
Lower Bounds for Rényi Differential Privacy in a Black-Box Setting
Lambretta: Learning to Rank for Twitter Soft Moderation
How IoT Re-using Threatens Your Sensitive Data: Exploring the User-Data Disposal in Used IoT Devices
The Crossfire Attack
iCOP: Automatically Identifying New Child Abuse Media in P2P Networks
Hardening Functions for Large Scale Distributed Computations
Collecting garbage in multilevel secure object stores
Multilevel Security for Knowledge-Based Systems
Using Formal Verification Techniques to Analyze Encryption Protocols
Anomaly Detection with Neural Parsers That Never Reject
Mixminion: Design of a Type III Anonymous Remailer Protocol
Connecting the Extra Dots (Contexts): Correlating External Information about Point of Interest for Attack Investigation
undeSErVed trust: Exploiting Permutation-Agnostic Remote Attestation
43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022
Space Traveling across VM: Automatically Bridging the Semantic Gap in Virtual Machine Introspection via Online Kernel Data Redirection
Analysis of the Hardware Verification of the Honeywell SCOMP
IOTFLA : A Secured and Privacy-Preserving Smart Home Architecture Implementing Federated Learning
Detection of Masqueraders Based on Graph Partitioning of File System Access Events
Formalizing Anonymous Blacklisting Systems
Investigating Physical Latency Attacks Against Camera-Based Perception
Using Safety Properties to Generate Vulnerability Patches
Bridging the Semantic Gap to Mitigate Kernel-Level Keyloggers
Practical Attacks on Proximity Identification Systems (Short Paper)
42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021
Exploiting Unix File-System Races via Algorithmic Complexity Attacks
Version pool management in a multilevel secure multiversion transaction manager
SIRAJ: A Unified Framework for Aggregation of Malicious Entity Detectors
One Size Doesn't Fit All: Measuring Individual Privacy in Aggregate Genomic Data
A Framework for the Analysis of Deep Neural Networks in Autonomous Aerospace Applications using Bayesian Statistics
Research Report: Testing and Evaluating Artificial Intelligence Applications
The Tricks of the Trade: What Makes Spam Campaigns Successful?
Firmrca: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-Based Fault Localization
C-Frame: Characterizing and measuring in-the-wild CAPTCHA attacks
On the Formal Specification and Verification of a Multiparty Session Protocol
A Gypsy-Based Kernel
CoinDef: A Comprehensive Code Injection Defense for the Electron Framework
Distance-Bounding Protocols: Verification without Time and Location
Saturn: Host-Gadget Synergistic USB Driver Fuzzing
(Blind) Users Really Do Heed Aural Telephone Scam Warnings
SmarPer: Context-Aware and Automatic Runtime-Permissions for Mobile Devices
Manipulation Attacks in Local Differential Privacy
CLAMP: Practical Prevention of Large-Scale Data Leaks
MMGuard: Automatically Protecting On-Device Deep Learning Models in Android Apps
Kiss from a Rogue: Evaluating Detectability of Pay-at-the-Pump Card Skimmers
Spot Me if You Can: Uncovering Spoken Phrases in Encrypted VoIP Conversations
You Only Prompt Once: On the Capabilities of Prompt Learning on Large Language Models to Tackle Toxic Content
GPThreats-3: Is Automatic Malware Generation a Threat?
Empirical Study of PLC Authentication Protocols in Industrial Control Systems
Open Sesame! On the Security and Memorability of Verbal Passwords
Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking
A prototype real-time intrusion-detection expert system
DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing
Attack-Resistant aiCAPTCHA Using a Negative Selection Artificial Immune System
Is the Trusted Computing Base Concept Fundamentally Flawed?
Eliminating Input-Based Attacks by Deriving Automated Encoders and Decoders from Context-Free Grammars
Genomic Privacy Metrics: A Systematic Comparison
Extended Diffie-Hellman Encryption for Secure and Efficient Real-Time Beacon Notifications
Manipulating Machine Learning: Poisoning Attacks and Countermeasures for Regression Learning
"Sorry for Bugging you so much." Exploring Developers' Behavior Towards Privacy-Compliant Implementation
A 2 L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs
Iodine: Fast Dynamic Taint Tracking Using Rollback-free Optimistic Hybrid Analysis
Case Study: Safety Verification of an Unmanned Underwater Vehicle
Supporting security requirements in multilevel real-time databases
SoK: P2PWNED - Modeling and Evaluating the Resilience of Peer-to-Peer Botnets
Another Look at the Use of Noise Addition for Database Security
Secure Track Verification
Research Report: Building a File Observatory for Secure Parser Development
Towards Static Flow-Based Declassification for Legacy and Untrusted Programs
An Investigation of Power Law Probability Distributions for Network Anomaly Detection
MANTIS: Detection of Zero-Day Malicious Domains Leveraging Low Reputed Hosting Infrastructure
From Virtual Touch to Tesla Command: Unlocking Unauthenticated Control Chains From Smart Glasses for Vehicle Takeover
TextExerciser: Feedback-driven Text Input Exercising for Android Applications
Differential Privacy and Swapping: Examining De-Identification's Impact on Minority Representation and Privacy Preservation in the U.S. Census
Network Security: Then and Now, or, 20 Years in 10 Minutes
Cloaker: Hardware Supported Rootkit Concealment
LazyTAP: On-Demand Data Minimization for Trigger-Action Applications
Spectre Attacks: Exploiting Speculative Execution
HouseFuzz: Service-Aware Grey-Box Fuzzing for Vulnerability Detection in Linux-Based Firmware
Hack the Heap: Heap Layout Manipulation made Easy
Design and Evaluation of a Real-Time URL Spam Filtering Service
Choose Wisely: A Comparison of Secure Two-Party Computation Frameworks
GeeSolver: A Generic, Efficient, and Effortless Solver with Self-Supervised Learning for Breaking Text Captchas
Run-Time Security Evaluation (RTSE) for Distributed Applications
On-the-Fly Verification of Rateless Erasure Codes for Efficient Content Distribution
Domains Do Change Their Spots: Quantifying Potential Abuse of Residual Trust
Using LLMs to Identify Personal Data Processing in Source Code
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees
SoK: Collusion-resistant Multi-party Private Set Intersections in the Semi-honest Model
SoK: SSL and HTTPS: Revisiting Past Challenges and Evaluating Certificate Trust Model Enhancements
Practical Poisoning Attacks with Limited Byzantine Clients in Clustered Federated Learning
A Unified Scheme for Resource Protection in Automated Trust Negotiation
GoSonar: Detecting Logical Vulnerabilities in Memory Safe Language Using Inductive Constraint Reasoning
Bootstrapping Privacy Compliance in Big Data Systems
Understanding Java Stack Inspection
Vectorized Batch Private Information Retrieval
Deepfake Text Detection: Limitations and Opportunities
The Incorporation of Multi-Level IPC into UNIX
Meddling Middlemen: Empirical Analysis of the Risks of Data-Saving Mobile Browsers
Bulletproofs: Short Proofs for Confidential Transactions and More
MarkUs: Drop-in use-after-free prevention for low-level languages
Processing Multilevel Secure Objects
Understanding the (In)Security of Cross-side Face Verification Systems in Mobile Apps: A System Perspective
Securing Networks: End-to-End Encrpytion vs. Link Encryption and Trusted Systems
TrojanModel: A Practical Trojan Attack against Automatic Speech Recognition Systems
Disassembly as Weighted Interval Scheduling with Learned Weights
When Top-down Meets Bottom-up: Detecting and Exploiting Use-After-Cleanup Bugs in Linux Kernel
A Tale of Two Industroyers: It was the Season of Darkness
ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser
A Non-Cooperative Game based Model for the Cybersecurity of Autonomous Systems
Downgrade Resilience in Key-Exchange Protocols
: Practical Cache Attacks from the Network
Data Dependencies and Inference Control in Multilevel Relational Database Systems
TrafficFormer: An Efficient Pre-trained Model for Traffic Data
Information Privacy Issues for the 1990s
Nebula: A Privacy-First Platform for Data Backhaul
Security of GPS/INS Based On-road Location Tracking Systems
Securing Multiparty Online Services Via Certification of Symbolic Transactions
Research Report: Formally-Verified ASN.1 Protocol C-language Stack
TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries
Hierarchical Protection Systems
Children, Parents, and Misinformation on Social Media
Hiding Information in Flash Memory
Exposed Infrastructures: Discovery, Attacks and Remediation of Insecure ICS Remote Management Devices
From Easy to Hard: Building a Shortcut for Differentially Private Image Synthesis
WACA: Wearable-Assisted Continuous Authentication
Obstacles to the Adoption of Secure Communication Tools
Extended Abstract: Forward-Secure Sequential Aggregate Authentication
BLACKER: security for the DDN examples of A1 security engineering trades
On Large Language Models' Resilience to Coercive Interrogation
Randomized Last-Level Caches Are Still Vulnerable to Cache Side-Channel Attacks! But We Can Fix It
SoK: General Purpose Compilers for Secure Multi-Party Computation
The Cracked Cookie Jar: HTTP Cookie Hijacking and the Exposure of Private Information
A secure distributed operating system
In-Progress: Reinforcement Learning for Cyberattack Defense in Autonomous Intersection Management Systems
A Tool for Safe and Accurate IoT Automation Rule Generation Using Large Language Models
Certified Robustness to Adversarial Examples with Differential Privacy
Preprocessing for Life: Dishonest-Majority MPC with a Trusted or Untrusted Dealer
LLMIF: Augmented Large Language Model for Fuzzing IoT Devices
Thwarting Last-Minute Voter Coercion
SoK: Cyber Insurance - Technical Challenges and a System Security Roadmap
Ijon: Exploring Deep State Spaces via Fuzzing
A First Look at Zoombombing
Hear "No Evil", See "Kenansville"*: Efficient and Transferable Black-Box Attacks on Speech Recognition and Voice Identification Systems
Concerning 'modeling' of computer security
Every Second Counts: Quantifying the Negative Externalities of Cybercrime via Typosquatting
Demonstrating Security for Trusted Applications on a Security Kernel Base
Identifying Incoherent Search Sessions: Search Click Fraud Remediation Under Real-World Constraints
Understanding Trust Management Systems
DataSeal: Ensuring the Verifiability of Private Computation on Encrypted Data
Transferable Multimodal Attack on Vision-Language Pre-training Models
Compact Certificates of Collective Knowledge
LEGO(TM) Bricks for Reactive Programming
Hurdles for Genomic Data Usage Management
Architectural Neural Backdoors from First Principles
One Time Pads Are Key Safeguarding Schemes, Not Cryptosystems Fast Key Safeguarding Schemes (Threshold Schemes) Exist
Video-Based Cryptanalysis: Extracting Cryptographic Keys from Video Footage of a Device's Power LED Captured by Standard Video Cameras
Jbeil: Temporal Graph-Based Inductive Learning to Infer Lateral Movement in Evolving Enterprise Networks
SelectFuzz: Efficient Directed Fuzzing with Selective Path Exploration
Logic Induction of Valid Behavior Specifications for Intrusion Detection
TreeKEM: A Modular Machine-Checked Symbolic Security Analysis of Group Key Agreement in Messaging Layer Security
Practical Control Flow Integrity and Randomization for Binary Executables
Modeling Nondisclosure in Terms of the Subject-Instruction Stream
Real-Time Website Fingerprinting Defense via Traffic Cluster Anonymization
The Integrity-Lock Approach to Secure Database Management
A Universal Theory of Information Flow
On the Effectiveness of Prompt Stealing Attacks on In-the-Wild Prompts
A Theory to Instruct Differentially-Private Learning via Clipping Bias Reduction
Fight Fire with Fire: Combating Adversarial Patch Attacks using Pattern-randomized Defensive Patches
ViDeZZo: Dependency-aware Virtual Device Fuzzing