yusuke1997/dblp-id-title huggingface dataset:
The Emperor's New Security Indicators
Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors
A Generic Attack on Checksumming-Based Software Tamper Resistance
Study Club, Labor Union or Start-Up? Characterizing Teams and Collaboration in the Bug Bounty Ecosystem
Multi-Server Verifiable Computation of Low-Degree Polynomials
Minimal TCB Code Execution
Authenticating Primary Users' Signals in Cognitive Radio Networks via Integrated Cryptographic and Wireless Link Signatures
Divergent Representations: When Compiler Optimizations Enable Exploitation
On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial Attacks
LAVA: Large-Scale Automated Vulnerability Addition
A Novel Decomposition of Multilevel Relations into Single-Level Relations
New Constructions and Practical Applications for Private Stream Searching (Extended Abstract)
Design and Evaluation of Inclusive Email Security Indicators for People with Visual Impairments
Side-Channel Leaks in Web Applications: A Reality Today, a Challenge Tomorrow
Improving Computer Security Using Extended Static Checking
High Precision Open-World Website Fingerprinting
Enforcing End-to-end Security for Remote Conference Applications
Ethics and Internet Measurements
Limiting the Damage Potential of Discretionary Trojan Horses
DVFS Frequently Leaks Secrets: Hertzbleed Attacks Beyond SIKE, Cryptography, and CPU-Only Data
Understanding the Security of ARM Debugging Features
Touching the Untouchables: Dynamic Security Analysis of the LTE Control Plane
A Case Study of the Security Vetting Process of Smart-home Assistant Applications
HAMRAZ: Resilient Partitioning and Replication
Decentralization of Ethereum's Builder Market
Automatic Discovery and Quantification of Information Leaks
Finding and Preventing Bugs in JavaScript Bindings
Privacy Risks of General-Purpose Language Models
Computer Security Training and Education: A Needs Analysis
The Interrogator: A Tool for Cryptographic Protocol Security
Defending Anonymous Communications Against Passive Logging Attack
SysPal: System-Guided Pattern Locks for Android
Dragonblood: Analyzing the Dragonfly Handshake of WPA3 and EAP-pwd
"You Might Also Like: " Privacy Risks of Collaborative Filtering
Twenty Year Time Capsule Panel: The Future of Networking
A low cost, high speed encryption system and method
Pianist: Scalable zkRollups via Fully Distributed Zero-Knowledge Proofs
Warning! The Timeout T Cannot Protect You From Losing Coins: PipeSwap: Forcing the Timely Release of a Secret for Atomic Cross-Chain Swaps
Ask the Experts: What Should Be on an IoT Privacy and Security Label?
Scheduled Disclosure: Turning Power into Timing Without Frequency Scaling
A model for secure protocols and their compositions
Using Evolutionary Diversity to Identify Problematic Software Parameters
Insider Threat Identification by Process Analysis
SoK: Anti-Facial Recognition Technology
SCION: Scalability, Control, and Isolation on Next-Generation Networks
Multi-Domain Information Fusion for Insider Threat Detection
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
SoK: The Long Journey of Exploiting and Defending the Legacy of King Harald Bluetooth
Scalable Mixed-Mode MPC
Undefined-oriented Programming: Detecting and Chaining Prototype Pollution Gadgets in Node.js Template Engines for Malicious Consequences
Chip and PIN is Broken
Hash-Prune-Invert: Improved Differentially Private Heavy-Hitter Detection in the Two-Server Model
Deniable Password Snatching: On the Possibility of Evasive Electronic Espionage
Invisible Finger: Practical Electromagnetic Interference Attack on Touchscreen-based Electronic Devices
Memoir: Practical State Continuity for Protected Modules
ELSA: Secure Aggregation for Federated Learning with Malicious Actors
Improving Hard Disk Contention-Based Covert Channel in Cloud Computing
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Using 3D Shadows to Detect Object Hiding Attacks on Autonomous Vehicle Perception
Efficient and Secure Multiparty Computation from Fixed-Key Block Ciphers
Measuring and modeling computer virus prevalence
Doing good by fighting fraud: Ethical anti-fraud systems for mobile payments
Sticky Tags: Efficient and Deterministic Spatial Memory Error Mitigation using Persistent Memory Tags
F-BLEAU: Fast Black-Box Leakage Estimation
On unifying some cryptographic protocol logics
The Provable Security of Ed25519: Theory and Practice
Leveraging Prefix Structure to Detect Volumetric DDoS Attack Signatures with Programmable Switches
A Logic of Secure Systems and its Application to Trusted Computing
When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts
Practical Proactive Integrity Preservation: A Basis for Malware Defense
Taming the Length Field in Binary Data: Calc-Regular Languages
Practical Techniques for Searches on Encrypted Data
Dropout Attacks
Automated Decision Systems for Cybersecurity and Infrastructure Security
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning
Surveilling the Masses with Wi-Fi-Based Positioning Systems
When LoRa Meets EMR: Electromagnetic Covert Channels Can Be Super Resilient
Bootstrapping Trust in Commodity Computers
An Experimental Security Analysis of an Industrial Robot Controller
LLMs Cannot Reliably Identify and Reason About Security Vulnerabilities (Yet?): A Comprehensive Evaluation, Framework, and Benchmarks
Larger-scale Nakamoto-style Blockchains Don't Necessarily Offer Better Security
MIGRATE: Towards a Lightweight Moving-Target Defense Against Cloud Side-Channels
DF-C2M2: A Capability Maturity Model for Digital Forensics Organisations
Oblix: An Efficient Oblivious Search Index
SDC Secure Release Terminal Project
Do You Feel What I Hear? Enabling Autonomous IoT Device Pairing Using Different Sensor Types
Mind the Location Leakage in LEO Direct-to-Cell Satellite Networks
Low-Cost Traffic Analysis of Tor
Digital Forensic Reconstruction of a Program Action
Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model
Remote Physical Device Fingerprinting
IEEE Security and Privacy Workshops, SP Workshops 2021, San Francisco, CA, USA, May 27, 2021
The Use of Ada as an Implementation Language in Formally Specified Systems
A Trend Analysis of Exploitations
Language-agnostic Injection Detection
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
From Randomized Response to Randomized Index: Answering Subset Counting Queries with Local Differential Privacy
RoFL: Robustness of Secure Federated Learning
Zero Conf Protocols and their numerous Man in the Middle (MITM) Attacks
Nomen est Omen - The Role of Signatures in Ascribing Email Author Identity with Transformer Neural Networks
An MBone Proxy for an Application Gateway Firewall
Crossing the "Valley of Death": Transitioning Research into Commercial Products - A Personal Perspective
No Privacy Left Outside: On the (In-)Security of TEE-Shielded DNN Partition for On-Device ML
Large-Scale IP Traceback in High-Speed Internet: Practical Techniques and Theoretical Foundation
Access Control By Tracking Shallow Execution History
StochFuzz: Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting
PQ-Hammer: End-to-End Key Recovery Attacks on Post-Quantum Cryptography Using Rowhammer
Can We Identify NAT Behavior by Analyzing Traffic Flows?
The complexity and composability of secure interoperation
Transparency in Usable Privacy and Security Research: Scholars' Perspectives, Practices, and Recommendations
They Would do Better if They Worked Together: The Case of Interaction Problems Between Password Managers and Websites
Detection of Inconsistencies in Privacy Practices of Browser Extensions
Demystifying Hidden Privacy Settings in Mobile Apps
Certified Parsing of Dependent Regular Grammars
OpenConflict: Preventing Real Time Map Hacks in Online Games
Replicated state machines without replicated execution
vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases
Detecting Filter List Evasion with Event-Loop-Turn Granularity JavaScript Signatures
NtFuzz: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis
A Critical Analysis of Privacy Design Strategies
Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning
Efficient Storage Integrity in Adversarial Settings
A Framework to Eliminate Backdoors from Response-Computable Authentication
A Tale of Sea and Sky On the Security of Maritime VSAT Communications
Automatic Inference of Search Patterns for Taint-Style Vulnerabilities
How Did That Get In My Phone? Unwanted App Distribution on Android Devices
Understanding the Privacy Practices of Political Campaigns: A Perspective from the 2020 US Election Websites
SwiftSweeper: Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World
Graph-Based Authentication of Digital Streams
FCert: Certifiably Robust Few-Shot Classification in the Era of Foundation Models
Open Source in Security: Visiting the Bizarre
Cross-Architecture Bug Search in Binary Executables
S.P.O.O.F Net: Syntactic Patterns for identification of Ominous Online Factors
How Good Are Humans at Solving CAPTCHAs? A Large Scale Evaluation
Privacy Control in Smart Phones Using Semantically Rich Reasoning and Context Modeling
Rethinking Searchable Symmetric Encryption
Message Time of Arrival Codes: A Fundamental Primitive for Secure Distance Measurement
Rounding and Inference Controlin Conceptual Models for Statistical Databases
Linus IV : An Experiment in Computer Security
Characterizing the Usability and Usefulness of U.S. Ad Transparency Systems
Checking Classification Constraints for Consistency and Completeness
3DFed: Adaptive and Extensible Framework for Covert Backdoor Attack in Federated Learning
Formally Certifying the Security of Digital Signature Schemes
An Extensive Formal Security Analysis of the OpenID Financial-Grade API
Extending Detection with Privileged Information via Generalized Distillation
Sending Out an SMS: Characterizing the Security of the SMS Ecosystem with Public Gateways
Efficient and Robust TCP Stream Normalization
MQTTactic: Security Analysis and Verification for Logic Flaws in MQTT Implementations
High System-Code Security with Low Overhead
PUFs in Security Protocols: Attack Models and Security Evaluations
Anonymity Trilemma: Strong Anonymity, Low Bandwidth Overhead, Low Latency - Choose Two
Verifying the EROS Confinement Mechanism
Preserving Node-level Privacy in Graph Neural Networks
Keyboard Acoustic Emanations
A Tough Call: Mitigating Advanced Code-Reuse Attacks at the Binary Level
Research Report: Automatic Schema Inference From Unknown Protobuf Messages
Security and Source Code Access: Issues and Realities
MR-Droid: A Scalable and Prioritized Analysis of Inter-App Communication Risks
The Rise of the Citizen Developer: Assessing the Security Impact of Online App Generators
RePriv: Re-imagining Content Personalization and In-browser Privacy
Scraping Sticky Leftovers: App User Information Left on Servers After Account Deletion
LayerDBA: Circumventing Similarity-Based Defenses in Federated Learning
Towards ML-KEM & ML-DSA on OpenTitan
Multiversion Concurrency Control for Multilevel Secure Database Systems
MatRiCT + : More Efficient Post-Quantum Private Blockchain Payments
Hunting the Red Fox Online: Understanding and Detection of Mass Redirect-Script Injections
Revisiting the Pervasiveness of Weak Keys in Network Devices
Proceedings of the 1983 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 25-27, 1983
Number Theoretic Attacks on Secure Password Schemes
Mouse Authentication Without the Temporal Aspect - What Does a 2D-CNN Learn?
SoK: Unintended Interactions among Machine Learning Defenses and Risks
A Study of Grayware on Google Play
Semantics-Aware Malware Detection
Analysis of Unintentional Insider Threats Deriving from Social Engineering Exploits
HyperPianist: Pianist with Linear-Time Prover and Logarithmic Communication Cost
Leaking Arbitrarily Many Secrets: Any-out-of-Many Proofs and Applications to RingCT Protocols
Reconstructing Training Data with Informed Adversaries
The Weird Machines in Proof-Carrying Code
On SMS Phishing Tactics and Infrastructure
Plaintext Recovery Attacks against SSH
Membership Inference Attacks on Sequence Models
SoK: Technical Implementation and Human Impact of Internet Privacy Regulations
Are anonymity-seekers just like everybody else? An analysis of contributions to Wikipedia from Tor
SoK: Safer Digital-Safety Research Involving At-Risk Users
The Design and Implementation of a Multilevel Secure Log Manager
Email Smuggling with Differential Fuzzing of MIME Parsers
Differential Inference Testing: A Practical Approach to Evaluate Sanitizations of Datasets
The Auditing Facility for a VMM Security Kernel
Some weaknesses of the TCB model
Compositional Security for Reentrant Applications
Information Flow and Invariance
Trust, But Verify: A Longitudinal Analysis Of Android OEM Compliance and Customization
Validating an Insider Threat Detection System: A Real Scenario Perspective
On the Evolution of (Hateful) Memes by Means of Multimodal Contrastive Learning
SneakyPrompt: Jailbreaking Text-to-image Generative Models
An Attack-Agnostic Defense Framework Against Manipulation Attacks Under Local Differential Privacy
SoK: Space Infrastructures Vulnerabilities, Attacks and Defenses
Forward Secure Asynchronous Messaging from Puncturable Encryption
2020 IEEE Security and Privacy Workshops, SP Workshops, San Francisco, CA, USA, May 21, 2020
The Inadequacy of Similarity-Based Privacy Metrics: Privacy Attacks Against "Truly Anonymous" Synthetic Datasets
2013 IEEE Symposium on Security and Privacy Workshops, San Francisco, CA, USA, May 23-24, 2013
SPIDER: Enabling Fast Patch Propagation In Related Software Repositories
Born with a Silver Spoon: On the (In)Security of Native Granted App Privileges in Custom Android ROMs
Automating Efficient RAM-Model Secure Computation
An Efficient, Dynamic and Trust Preserving Public Key Infrastructure
Face Recognition Systems: Are you sure they only consider your face?
Automatic Reverse Engineering of Malware Emulators
RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization
MaxNet: Neural Network Architecture for Continuous Detection of Malicious Activity
Happer: Unpacking Android Apps via a Hardware-Assisted Approach
Research Report: Strengthening Weak Links in the PDF Trust Chain
MAD-HTLC: Because HTLC is Crazy-Cheap to Attack
Tabbed Out: Subverting the Android Custom Tab Security Model
More is Merrier: Relax the Non-Collusion Assumption in Multi-Server PIR
The State of the SameSite: Studying the Usage, Effectiveness, and Adequacy of SameSite Cookies
EmPoWeb: Empowering Web Applications with Browser Extensions
1994 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 16-18, 1994
The Little Seal Bug: Optical Sound Recovery from Lightweight Reflective Objects
Anonymous Networking with Minimum Latency in Multihop Networks
Proof-of-Stake Sidechains
Expressive Declassification Policies and Modular Static Enforcement
Bridging the Gap: A Pragmatic Approach to Generating Insider Threat Data
Practical Asynchronous Distributed Key Generation
eAudit: A Fast, Scalable and Deployable Audit Data Collection System
Disguising Attacks with Explanation-Aware Backdoors
How not to prove your election outcome
Activation Analysis of a Byte-Based Deep Neural Network for Malware Classification
Which Privacy and Security Attributes Most Impact Consumers' Risk Perception and Willingness to Purchase IoT Devices?
SLAP: Data Speculation Attacks via Load Address Prediction on Apple Silicon
Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof
Poltergeist: Acoustic Adversarial Machine Learning against Cameras and Computer Vision
With Microscope and Tweezers: An Analysis of the Internet Virus of November 1988
Detecting Hoaxes, Frauds, and Deception in Writing Style Online
Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA
Demo: Security of Camera-based Perception for Autonomous Driving under Adversarial Attack
Evaluating the Effectiveness of Memory Safety Sanitizers
Hybrid Edge Intelligence for Real-Time Intrusion Detection in Advanced Traffic Management Systems
AUC: Accountable Universal Composability
Edge Unlearning is Not "on Edge"! an Adaptive Exact Unlearning System on Resource-Constrained Devices
Towards Evaluating the Robustness of Neural Networks
Modeling and Assessment of IoT Supply Chain Security Risks: The Role of Structural and Parametric Uncertainties
Protecting Private Keys against Memory Disclosure Attacks Using Hardware Transactional Memory
Bad Characters: Imperceptible NLP Attacks
Time-Aware Projections: Truly Node-Private Graph Statistics under Continual Observation
Defining Noninterference in the Temporal Logic of Actions
Saecred: A State-Aware, Over-the-Air Protocol Testing Approach for Discovering Parsing Bugs in SAE Handshake Implementations of COTS Wi-Fi Access Points
Post-Quantum Cryptographic Analysis of SSH
Lightweight Techniques for Private Heavy Hitters
Identifying Valuable Pointers in Heap Data
Error-Correcting Codes as Source for Decoding Ambiguity
PAC-Private Algorithms
Distributed Proving in Access-Control Systems
Feasibility of a Keystroke Timing Attack on Search Engines with Autocomplete
PromptCARE: Prompt Copyright Protection by Watermark Injection and Verification
Reverification of a microprocessor
Cloak and Swagger: Understanding Data Sensitivity through the Lens of User Anonymity
Secure Content Sniffing for Web Browsers, or How to Stop Papers from Reviewing Themselves
DataSentinel: A Game-Theoretic Detection of Prompt Injection Attacks
Foundations of Dynamic BFT
Theory and Practice of Finding Eviction Sets
Uncovering User Interactions on Smartphones via Contactless Wireless Charging Side Channels
Anonymous Connections and Onion Routing
ANONIZE: A Large-Scale Anonymous Survey System
PIR with Compressed Queries and Amortized Query Processing
Exploring Widevine for Fun and Profit
A Framework for the Evaluation of Intrusion Detection Systems
2013 IEEE Symposium on Security and Privacy, SP 2013, Berkeley, CA, USA, May 19-22, 2013
It's (DOM) Clobbering Time: Attack Techniques, Prevalence, and Defenses
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
Wear's my Data? Understanding the Cross-Device Runtime Permission Model in Wearables
Security Perceptions of Users in Stablecoins: Advantages and Risks within the Cryptocurrency Ecosystem
PLA-LiDAR: Physical Laser Attacks against LiDAR-based 3D Object Detection in Autonomous Vehicle
Continuous Intrusion: Characterizing the Security of Continuous Integration Services
Parsing, Performance, and Pareto in Data Stream Security
Access Control in an Open Distributed Environment
Java Security: From HotJava to Netscape and Beyond
The Complexity of Intransitive Noninterference
PRIPARE: Integrating Privacy Best Practices into a Privacy Engineering Methodology
Ethics in Data Sharing: Developing a Model for Best Practice
Pretty-Bad-Proxy: An Overlooked Adversary in Browsers' HTTPS Deployments
Back to the Drawing Board: A Critical Evaluation of Poisoning Attacks on Production Federated Learning
vSGX: Virtualizing SGX Enclaves on AMD SEV
Practical Obfuscation of BLE Physical-Layer Fingerprints on Mobile Devices
SoK: Decoding the Enigma of Encrypted Network Traffic Classifiers
Proceedings of the 1989 IEEE Symposium on Security and Privacy, Oakland, California, USA, May 1-3, 1989
Automated IoT Fingerprinting with LLMs: Harnessing Explainable AI and Artificial Bee Colony Optimization
Combing for Credentials: Active Pattern Extraction from Smart Reply
Membership Inference Attacks From First Principles
SiRnn: A Math Library for Secure RNN Inference
Speechless: Analyzing the Threat to Speech Privacy from Smartphone Motion Sensors
WeRLman: To Tackle Whale (Transactions), Go Deep (RL)
Exploring the Use of Autoencoders for Botnets Traffic Representation
Node-aware Bi-smoothing: Certified Robustness against Graph Injection Attacks
Noninterference through Secure Multi-execution
Private Collaborative Data Cleaning via Non-Equi PSI
The BlueJay Ultra-Lightweight Hybrid Cryptosystem
Partially Observable Games for Secure Autonomy
The Applicability of Ambient Sensors as Proximity Evidence for NFC Transactions
Prudent engineering practice for cryptographic protocols
Just-In-Time Code Reuse: On the Effectiveness of Fine-Grained Address Space Layout Randomization
Inspector Gadget: Automated Extraction of Proprietary Gadgets from Malware Binaries
Using Throughput-Centric Byzantine Broadcast to Tolerate Malicious Majority in Blockchains
Practical Mitigations for Timing-Based Side-Channel Attacks on Modern x86 Processors
Adversarial Deep Learning for Robust Detection of Binary Encoded Malware
Proactive Insider Threat Detection through Graph Learning and Psychological Context
Sharing Mobile Code Securely with Information Flow Control
The Many Kinds of Creepware Used for Interpersonal Attacks
LAP: Lightweight Anonymity and Privacy
Ensuring Continuity During Dynamic Security Policy Reconfiguration in DTE
Don't You Touch My Nuts: Information Hiding in Cyber Physical Systems
Physical Security for the µABYSS System
DeepShuffle: A Lightweight Defense Framework against Adversarial Fault Injection Attacks on Deep Neural Networks in Multi-Tenant Cloud-FPGA
Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures
Temporal Lensing and Its Application in Pulsing Denial-of-Service Attacks
Verification State-Space Reduction through Restricted Parsing Environments
Troubleshooting an Intrusion Detection Dataset: the CICIDS2017 Case Study
A Formalization of the Security Features of Physical Functions
Applying a Theory of Modules and Interfaces to Security Verification
Mobile Security Catching Up? Revealing the Nuts and Bolts of the Security of Mobile Devices
Private Eye: On the Limits of Textual Screen Peeking via Eyeglass Reflections in Video Conferencing
Under the Shadow of Sunshine: Understanding and Detecting Bulletproof Hosting on Legitimate Service Provider Networks
Implementing commercial data integrity with secure capabilities
Distributed & Scalable Oblivious Sorting and Shuffling
Hey, Your Secrets Leaked! Detecting and Characterizing Secret Leakage in the Wild
Recent Advances in the Design and Implementation of Large Integer Factorization Algorithms
IEC 60870-5-104 Network Characterization of a Large-Scale Operational Power Grid
D-DAE: Defense-Penetrating Model Extraction Attacks
SPIRAL: Fast, High-Rate Single-Server PIR via FHE Composition
Cryptographic Protocol for Trustable Match Making
One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices
Method Confusion Attack on Bluetooth Pairing
FedRecover: Recovering from Poisoning Attacks in Federated Learning using Historical Information
Mitigating Information Leakage Vulnerabilities with Type-based Data Isolation
Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions
Deployment of Source Address Validation by Network Operators: A Randomized Control Trial
Discovering and Measuring Malicious URL Redirection Campaigns from Fake News Domains
C2VPG: Translating Practical Context-Free Grammars into Visibly Pushdown Grammars by Order-Based Tagging
Specious Sites: Tracking the Spread and Sway of Spurious News Stories at Scale
EveGuard: Defeating Vibration-based Side-Channel Eavesdropping with Audio Adversarial Perturbations
27 Years and 81 Million Opportunities Later: Investigating the Use of Email Encryption for an Entire University
MM-BD: Post-Training Detection of Backdoor Attacks with Arbitrary Backdoor Pattern Types Using a Maximum Margin Statistic
Defending Systems against Viruses through Cryptographic Authentication
ERASan: Efficient Rust Address Sanitizer
Loki: Large-scale Data Reconstruction Attack against Federated Learning through Model Manipulation
Networked Cryptographic Devices Resilient to Capture
Hummingbird: Privacy at the Time of Twitter
Measuring and Analyzing Search Engine Poisoning of Linguistic Collisions
Myco: Unlocking Polylogarithmic Accesses in Metadata-Private Messaging