yusuke1997/dblp-id-title huggingface dataset:
Towards Forensic Analysis of Attacks with DNSSEC
A Practical Oblivious Map Data Structure with Secure Deletion and History Independence
Cross-Domain Access Control Encryption: Arbitrary-policy, Constant-size, Efficient
The Cloud Needs Cross-Layer Data Handling Annotations
Integrity (I) Codes: Message Integrity Protection and Authentication Over Insecure Channels
User Verification System using Location-based Dynamic Questions for Account Recovery
JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation
Poster: Radiometric Signatures for Wireless Device Identification over Dynamic Channels
SoK: How Robust is Image Classification Deep Neural Network Watermarking?
The Inventory is Dark and Full of Misinformation: Understanding Ad Inventory Pooling in the Ad-Tech Supply Chain
Telepath: A Minecraft-based Covert Communication System
RAPPD: A Language and Prototype for Recipient-Accountable Private Personal Data
Janus: Safe Biometric Deduplication for Humanitarian Aid Distribution
"In Eighty Percent of the Cases, I Select the Password for Them": Security and Privacy Challenges, Advice, and Opportunities at Cybercafes in Kenya
Poisoning Web-Scale Training Datasets is Practical
Towards Automated Auditing for Account and Session Management Flaws in Single Sign-On Deployments
Detecting Adversarial Examples in Learning-Enabled Cyber-Physical Systems using Variational Autoencoder for Regression
Seeking a "Race to the Top" in Genomic Cloud Privacy?
On Subnormal Floating Point and Abnormal Timing
PolySphinx: Extending the Sphinx Mix Format With Better Multicast Support
Private Hierarchical Governance for Encrypted Messaging
Scalable Bias-Resistant Distributed Randomness
Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
Efficient Actively Secure DPF and RAM-based 2PC with One-Bit Leakage
Don't Trust Satellite Phones: A Security Analysis of Two Satphone Standards
INVISILINE: Invisible Plausibly-Deniable Storage
Sound Verification of Security Protocols: From Design to Interoperable Implementations
Chimera: Fuzzing P4 Network Infrastructure for Multi-Plane Bug Detection and Vulnerability Discovery
Improving the Robustness of Private Information Retrieval
Adaptive Risk-Limiting Comparison Audits
TaoStore: Overcoming Asynchronicity in Oblivious Data Storage
Local Reconfiguration Policies
Quantifying Genomic Privacy via Inference Attack with High-Order SNV Correlations
Verifiable Secret Sharing Simplified
Annotating, Tracking, and Protecting Cryptographic Secrets with CryptoMPK
Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation
Commutative Filters for Reducing Inference Threats in Multilevel Database Systems
Tiktag: Breaking ARM's Memory Tagging Extension with Speculative Execution
ShorTor: Improving Tor Network Latency via Multi-hop Overlay Routing
Verifying the Safety of User Pointer Dereferences
Detecting Taint-Style Vulnerabilities in Microservice-Structured Web Applications
Threshold ECDSA in Three Rounds
Data-Oriented Programming: On the Expressiveness of Non-control Data Attacks
PrivacyOracle: Configuring Sensor Privacy Firewalls with Large Language Models in Smart Built Environments
Using Narrowing in the Analysis of Key Management Protocols
xJsnark: A Framework for Efficient Verifiable Computation
CRYLOGGER: Detecting Crypto Misuses Dynamically
Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity
Influencing Photo Sharing Decisions on Social Media: A Case of Paradoxical Findings
Measuring the Effects of Stack Overflow Code Snippet Evolution on Open-Source Software Security
Mobile Subscriber WiFi Privacy
On Feasibility of Server-side Backdoor Attacks on Split Learning
Sync HotStuff: Simple and Practical Synchronous State Machine Replication
LINEBACKER: LINE-Speed Bio-Inspired Analysis and Characterization for Event Recognition
"Always Contribute Back": A Qualitative Study on Security Challenges of the Open Source Supply Chain
Privacy Impact Assessments in Practice: Outcome of a Descriptive Field Research in the Netherlands
Endorsed E-Cash
P5: A Protocol for Scalable Anonymous Communication
Caveat Coercitor: Coercion-Evidence in Electronic Voting
Stack Overflow Considered Harmful? The Impact of Copy&Paste on Android Application Security
PriDe CT: Towards Public Consensus, Private Transactions, and Forward Secrecy in Decentralized Payments
Diversity-Based Moving-Target Defense for Secure Wireless Vehicular Communications
Razzer: Finding Kernel Race Bugs through Fuzzing
SINBAD: Saliency-informed detection of breakage caused by ad blocking
Virtuoso: Narrowing the Semantic Gap in Virtual Machine Introspection
WarpAttack: Bypassing CFI through Compiler-Introduced Double-Fetches
A Study of Vulnerability Analysis of Popular Smart Devices Through Their Companion Apps
Catena: Efficient Non-equivocation via Bitcoin
403 Forbidden? Ethically Evaluating Broken Access Control in the Wild
Sphinx: Enabling Privacy-Preserving Online Learning over the Cloud
SpecCFI: Mitigating Spectre Attacks using CFI Informed Speculation
Cobra: Fine-grained Malware Analysis using Stealth Localized-executions
FPGA-Based Remote Power Side-Channel Attacks
Hard Drive of Hearing: Disks that Eavesdrop with a Synthesized Microphone
A Decentralized and Encrypted National Gun Registry
SoK: Security and Privacy in the Age of Commercial Drones
Black Widow: Blackbox Data-driven Web Scanning
Fuzz-Testing Meets LLM-Based Agents: An Automated and Efficient Framework for Jailbreaking Text-to-Image Generation Models
Invalidating Policies using Structural Information
Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises
Research Report: Hardware-Enforcement of Walther-Recursive Program Functions
NEZHA: Efficient Domain-Independent Differential Testing
Fuzzy Multi-Level Security: An Experiment on Quantified Risk-Adaptive Access Control
FlyClient: Super-Light Clients for Cryptocurrencies
Building Hardened Internet-of-Things Clients with Language-Theoretic Security
Lua Code: Security Overview and Practical Approaches to Static Analysis
An architecture for covert channel control in realtime networks and multiprocessors
Demo: Attacking Multi-Sensor Fusion based Localization in High-Level Autonomous Driving
My Model is Malware to You: Transforming AI Models into Malware by Abusing TensorFlow APIs
Verified Security for Browser Extensions
Toss a Fault to Your Witcher: Applying Grey-box Coverage-Guided Mutational Fuzzing to Detect SQL and Command Injection Vulnerabilities
HydraProofs: Optimally Computing All Proofs in a Vector Commitment (With Applications to Efficient zkSNARKs Over Data from Multiple Users)
Exploring the Orthogonality and Linearity of Backdoor Attacks
Self-Healing Key Distribution with Revocation
SoK: Towards Grounding Censorship Circumvention in Empiricism
Android Custom Permissions Demystified: From Privilege Escalation to Design Shortcomings
Automated Generation and Analysis of Attack Graphs
Compliance Monitoring of Third-Party Applications in Online Social Networks
Steganography in OFDM Symbols of Fast IEEE 802.11n Networks
A Security Infrastructure for Distributed Java Applications
A 'natural' decomposition of multi-level relations
SoK: The Faults in our ASRs: An Overview of Attacks against Automatic Speech Recognition and Speaker Identification Systems
A Taxonomy for Information Flow Policies and Models
UnMarker: A Universal Attack on Defensive Image Watermarking
Battery Status Not Included: Assessing Privacy in Web Standards
Demo: A Calibrated, Open-Source Toolkit for MitM Cyberattacks Visualization, Analysis, and Traffic Optimization at Connected Intersections
Revisiting Black-box Ownership Verification for Graph Neural Networks
Surakav: Generating Realistic Traces for a Strong Website Fingerprinting Defense
Volttack: Control IoT Devices by Manipulating Power Supply Voltage
CrossTalk: Speculative Data Leaks Across Cores Are Real
Not Yet Another Digital ID: Privacy-Preserving Humanitarian Aid Distribution
Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques
"Adversarial Examples" for Proof-of-Learning
Using Consensus Clustering for Multi-view Anomaly Detection
An Interactive Prover for Protocol Verification in the Computational Model
"Flawed, but like democracy we don't have a better system": The Experts' Insights on the Peer Review Process of Evaluating Security Papers
All Your Screens Are Belong to Us: Attacks Exploiting the HTML5 Screen Sharing API
Accuracy-Privacy Trade-off in Deep Ensemble: A Membership Inference Perspective
How Computers Will Be Used Differently in the Next Twenty Years
DP-Auditorium: A Large-Scale Library for Auditing Differential Privacy
Karonte: Detecting Insecure Multi-binary Interactions in Embedded Firmware
Assessment of Cyber Security Implications of New Technology Integrations into Military Supply Chains
A Formal Statement of the MMS Security Model
SoK: Dataset Copyright Auditing in Machine Learning Systems
Ant Colony-Inspired Parallel Algorithm to Improve Cryptographic Pseudo Random Number Generators
Grammatical Inference and Language Frameworks for LANGSEC
Native Client: A Sandbox for Portable, Untrusted x86 Native Code
SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask
Study and Mitigation of Origin Stripping Vulnerabilities in Hybrid-postMessage Enabled Mobile Applications
Protection of Keys against Modification Attack
DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis
Lost in Translation: Improving Decoy Documents via Automated Translation
Towards Practical Reactive Security Audit Using Extended Static Checkers
Strand Spaces: Why is a Security Protocol Correct?
Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake
TRRespass: Exploiting the Many Sides of Target Row Refresh
BIND: A Fine-Grained Attestation Service for Secure Distributed Systems
Universal 3-Dimensional Perturbations for Black-Box Attacks on Video Recognition Systems
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
ASanity: On Bug Shadowing by Early ASan Exits
SoK: A Framework for Unifying At-Risk User Research
Asterisk: Super-fast MPC with a Friend
Bringing a GAN to a Knife-Fight: Adapting Malware Communication to Avoid Detection
Device-Oriented Group Messaging: A Formal Cryptographic Analysis of Matrix' Core
Automatic Identification of Replicated Criminal Websites Using Combined Clustering
How Usage Control and Provenance Tracking Get Together - A Data Protection Perspective
Hermes: Efficient and Secure Multi-Writer Encrypted Database
Intransitive Non-Interference for Cryptographic Purpose
The File That Contained the Keys Has Been Removed: An Empirical Analysis of Secret Leaks in Cloud Buckets and Responsible Disclosure Outcomes
A Composability Analysis Framework for Web3 Wallet Recovery Mechanisms
SoK: The Evolution of Sybil Defense via Social Networks
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers
Identifying Dormant Functionality in Malware Programs
Obstacles to Transparency in Privacy Engineering
Statistical Detection of Downloaders in Freenet
Towards an AI-Based After-Collision Forensic Analysis Protocol for Autonomous Vehicles
PRI: Privacy Preserving Inspection of Encrypted Network Traffic
Quid-Pro-Quo-tocols: Strengthening Semi-honest Protocols with Dual Execution
Secure Computer Systems: A Retrospective
It's Simplex! Disaggregating Measures to Improve Certified Robustness
Seamless In-App Ad Blocking on Stock Android
Towards Improving the Deprecation Process of Web Features through Progressive Web Security
Private Approximate Nearest Neighbor Search with Sublinear Communication
SoK: Privacy-Preserving Data Synthesis
How to Learn Klingon without a Dictionary: Detection and Measurement of Black Keywords Used by the Underground Economy
Compartimented Mode Workstation: Results Through Prototyping
ProFuzzer: On-the-fly Input Type Probing for Better Zero-Day Vulnerability Discovery
AirTaint: Making Dynamic Taint Analysis Faster and Easier
Who Left the Door Open? Investigating the Causes of Exposed IoT Devices in an Academic Network
Towards a Natural Perspective of Smart Homes for Practical Security and Safety Analyses
Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs
ROPfuscator: Robust Obfuscation with ROP
PCR-Auth: Solving Authentication Puzzle Challenge with Encoded Palm Contact Response
Views for Multilevel Database Security
Intrusion Tolerance in Distributed Computing Systems
Eva: Efficient Privacy-Preserving Proof of Authenticity for Lossily Encoded Videos
Spoofing Eavesdroppers with Audio Misinformation
DeepTheft: Stealing DNN Model Architectures through Power Side Channel
KVM/37O in Retrospect
Beyond Credential Stuffing: Password Similarity Models Using Neural Networks
Using mandatory integrity to enforce 'commercial' security
A Logic for Constraint-based Security Protocol Analysis
Teaching Data Science Students to Sketch Privacy Designs Through Heuristics
A Binary Analysis Approach to Retrofit Security in Input Parsing Routines
Large Language Models for Validating Network Protocol Parsers
Fuzzing File Systems via Two-Dimensional Input Space Exploration
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate
"Not the Right Question?" A Study on Attitudes Toward Client-Side Scanning with Security and Privacy Researchers and a U.S. Population Sample
XHOUND: Quantifying the Fingerprintability of Browser Extensions
"False negative - that one is going to kill you": Understanding Industry Perspectives of Static Analysis based Security Testing
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
Limits of I/O Based Ransomware Detection: An Imitation Based Attack
Auditing the Use of Covert Storage Channels in Secure Systems
Perceptions of Risk in Mobile Transaction
Smaug: Modular Augmentation of LLVM for MPC
Referential Secrecy
Inside the SCAM Jungle: A Closer Look at 419 Scam Email Operations
ClearShot: Eavesdropping on Keyboard Input from Video
Reflections on the 30th Anniversary of the IEEE Symposium on Security and Privacy
Is Interaction Necessary for Distributed Private Learning?
Racedb: Detecting Request Race Vulnerabilities in Database-Backed Web Applications
Lattice scheduling and covert channels
Multi-Dimensional Range Query over Encrypted Data
A Model for Multilevel Security Based on Operator Nets
Spectre Declassified: Reading from the Right Place at the Wrong Time
Demo: Disrupting In-Car mmWave Sensing Through IRS Manipulation
A Distributed Secure System
SoK: Explainable Machine Learning in Adversarial Environments
Post-quantum WireGuard
35. IEEE Security and Privacy Workshops, SPW 2014, San Jose, CA, USA, May 17-18, 2014
An Experience Using Two Covert Channel Analysis Techniques on a Real System Design
Forensic-Aware Anti-DDoS Device
Private Analytics via Streaming, Sketching, and Silently Verifiable Proofs
Virtual Proofs of Reality and their Physical Implementation
CrypTFlow: Secure TensorFlow Inference
Statistical Models of Trust: TCBs vs. People
An Intrusion-Detection Model
Binary Black-Box Attacks Against Static Malware Detectors with Reinforcement Learning in Discrete Action Spaces
A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP
Detecting Homoglyph Attacks with a Siamese Neural Network
Demo: An Emulator-Based Active Protection System Against IoT Malware
Authentication Tests
Using Gaussian Mixture Models to Detect Outliers in Seasonal Univariate Network Traffic
Intrusion Detection via Static Analysis
Training regime influences to semi-supervised learning for insider threat detection
Towards More Security in Data Exchange: Defining Unparsers with Context-Sensitive Encoders for Context-Free Grammars
GraphSC: Parallel Secure Computation Made Easy
Tor Experimentation Tools
Micro-Policies: Formally Verified, Tag-Based Security Monitors
2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020
PeerShark: Detecting Peer-to-Peer Botnets by Tracking Conversations
Efficient Secure Outsourcing of Genome-Wide Association Studies
Twenty Years of Evaluation Criteria and Commercial Technology
PrivKV: Key-Value Data Collection with Local Differential Privacy
Civitas: Toward a Secure Voting System
Sniffing Location Privacy of Video Conference Users Using Free Audio Channels
Blue Note: How Intentional Acoustic Interference Damages Availability and Integrity in Hard Disk Drives and Operating Systems
Steganography in Long Term Evolution Systems
Leap-Frog Packet Linking and Diverse Key Distributions for Improved Integrity in Network Broadcasts
It's No Secret. Measuring the Security and Reliability of Authentication via "Secret" Questions
Is the Reference Monitor Concept Fatally Flawed? The Case for the Negative
Reasoning about knowledge in multilevel secure distributed systems
Smile: Secure Memory Introspection for Live Enclave
On Using Camera-based Visible Light Communication for Security Protocols
Jamming-resistant Key Establishment using Uncoordinated Frequency Hopping
TARDIS: Rolling Back The Clock On CMS-Targeting Cyber Attacks
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations
Clipped BagNet: Defending Against Sticker Attacks with Clipped Bag-of-features
Can Voters Detect Malicious Manipulation of Ballot Marking Devices?
REGA: Scalable Rowhammer Mitigation with Refresh-Generating Activations
IEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016
ReDeBug: Finding Unpatched Code Clones in Entire OS Distributions
E-Vote Your Conscience: Perceptions of Coercion and Vote Buying, and the Usability of Fake Credentials in Online Voting
It's like flossing your teeth: On the Importance and Challenges of Reproducible Builds for Software Supply Chain Security
Hamsa: Fast Signature Generation for Zero-day PolymorphicWorms with Provable Attack Resilience
Analysis of a Denial of Service Attack on TCP
Helping Johnny to Analyze Malware: A Usability-Optimized Decompiler and Malware Analysis User Study
On (the Lack of) Code Confidentiality in Trusted Execution Environments
The State of the Uniform: Attacks on Encrypted Databases Beyond the Uniform Query Distribution
Practically-exploitable Cryptographic Vulnerabilities in Matrix
Efficient Key Distribution for Slow Computing Devices: Achieving Fast Over the Air Activation for Wireless Systems
Automated Analysis of Security Protocols with Global State
DPI: Ensuring Strict Differential Privacy for Infinite Data Streaming
A VMM Security Kernel for the VAX Architecture
Towards a Biometric Authentication-Based Hybrid Trust-Computing Approach for Verification of Provider Profiles in Online Healthcare Information
Unleashing Mayhem on Binary Code
DroidScribe: Classifying Android Malware Based on Runtime Behavior
Locally Differentially Private Frequent Itemset Mining
Aggregation and Inference: Facts and Fallacies
Jasmine: Scale up JavaScript Static Security Analysis with Computation-based Semantic Explanation
HARDLOG: Practical Tamper-Proof System Auditing Using a Novel Audit Device
Cryptographic Function Detection in Obfuscated Binaries via Bit-Precise Symbolic Loop Mapping
Efficient Multicast Packet Authentication Using Signature Amortization
Prospex: Protocol Specification Extraction
From 5G Sniffing to Harvesting Leakages of Privacy-Preserving Messengers
Towards Programming Languages Free of Injection-Based Vulnerabilities by Design
SCiFI - A System for Secure Face Identification
Prompt Inversion Attack Against Collaborative Inference of Large Language Models
Waldo: A Private Time-Series Database from Function Secret Sharing
MagBackdoor: Beware of Your Loudspeaker as A Backdoor For Magnetic Injection Attacks
Privacy Risk Assessment for Data Subject-Aware Threat Modeling
Bitcoin over Tor isn't a Good Idea
Investigation of Triangular Spamming: A Stealthy and Efficient Spamming Technique
2017 IEEE Security and Privacy Workshops, SP Workshops 2017, San Jose, CA, USA, May 25, 2017
Eyes on your Typing: Snooping Finger Motions on Virtual Keyboards
Continual Observation under User-level Differential Privacy
A2: Analog Malicious Hardware
Anon-Pass: Practical Anonymous Subscriptions
BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect
On the Derivation of Secure Components
Balancing Organizational Incentives to Counter Insider Threat
Flash Memory for Ubiquitous Hardware Security Functions: True Random Number Generation and Device Fingerprints
Fast Portscan Detection Using Sequential Hypothesis Testing
2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA
Security specifications
Exploiting Correcting Codes: On the Effectiveness of ECC Memory Against Rowhammer Attacks
Formal Synthesis of Filter Components for Use in Security-Enhancing Architectural Transformations
System Level User Behavior Biometrics using Fisher Features and Gaussian Mixture Models
You Can't Judge a Binary by Its Header: Data-Code Separation for Non-Standard ARM Binaries Using Pseudo Labels
On Safety in Discretionary Access Control
An axiomatic basis of trust in distributed systems
Data Recovery on Encrypted Databases with k-Nearest Neighbor Query Leakage
A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs
Research Report: Enhanced eBPF Verification and eBPF-based Runtime Safety Protection
PIRANA: Faster Multi-query PIR via Constant-weight Codes
Mobile Application Web API Reconnaissance: Web-to-Mobile Inconsistencies & Vulnerabilities
Identifying Personal DNA Methylation Profiles by Genotype Inference
Benzene: A Practical Root Cause Analysis System with an Under-Constrained State Mutation
A Model for Specifying Multi-Granularity Integrity Policies
Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication
Extending Nymble-like Systems
Space RADSIM: Binary-Agnostic Fault Injection to Evaluate Cosmic Radiation Impact on Exploit Mitigation Techniques in Space
Practical Program Modularization with Type-Based Dependence Analysis
Understanding Network Forensics Analysis in an Operational Environment
Towards a Semantics of Phish
Manufactured Narratives: On the Potential of Manipulating Social Media to Politicize World Events
On the Feasibility of Acoustic Attacks Using Commodity Smart Devices
Supporting Family Discussions About Digital Privacy Through Perspective-Taking: An Empirical Investigation
Towards Practical Privacy for Genomic Computation
Noninterference for a Practical DIFC-Based Operating System
Encrypted key exchange: password-based protocols secure against dictionary attacks
Detecting Disruptive Routers: A Distributed Network Monitoring Approach
On the Feasibility of Rerouting-Based DDoS Defenses
Protocols for Public Key Cryptosystems
UnTrustZone: Systematic Accelerated Aging to Expose On-chip Secrets
NEUZZ: Efficient Fuzzing with Neural Program Smoothing
Eye Movement Biometrics in Virtual Reality: A Comparison Between VR Headset and High-End Eye-Tracker Collected Dataset
A Theoretical Analysis: Physical Unclonable Functions and the Software Protection Problem
SoK: Lessons Learned from Android Security Research for Appified Software Platforms
Non-Discretionary Controls for Inter-Organization Networks
Browser History Stealing with Captive Wi-Fi Portals
Secure Ada Target: Issues, System Design, and Verification
A Method for Verifying Privacy-Type Properties: The Unbounded Case
Flash: A Comprehensive Approach to Intrusion Detection via Provenance Graph Representation Learning
A Framework for Universally Composable Diffie-Hellman Key Exchange
Extended discretionary access controls
Mission Assurance for Autonomous Undersea Vehicles
Victim Routine Influences the Number of DDoS Attacks: Evidence from Dutch Educational Network
TrustVisor: Efficient TCB Reduction and Attestation
How Does Usable Security (Not) End Up in Software Products? Results From a Qualitative Interview Study
SoK: Self-Generated Nudes over Private Chats: How can Technology Contribute to a Safer Sexting?
Using traces based on procedure calls to reason about composability
SD3: A Trust Management System with Certified Evaluation