yusuke1997/dblp-id-title huggingface dataset:
Detecting Deceptive Reviews Using Generative Adversarial Networks
NORAX: Enabling Execute-Only Memory for COTS Binaries on AArch64
Burglars' IoT Paradise: Understanding and Mitigating Security Risks of General Messaging Protocols on IoT Clouds
Bitcoin-Enhanced Proof-of-Stake Security: Possibilities and Impossibilities
BLEDiff: Scalable and Property-Agnostic Noncompliance Checking for BLE Implementations
Aspects of Data Security in General-Purpose Data Base Management Systems
Locally Differentially Private Sparse Vector Aggregation
Enhancing Jailbreak Resistance in Large Language Models Using Model Merge
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols
Inspecting Virtual Machine Diversification Inside Virtualization Obfuscation
Scalable Verification of Zero-Knowledge Protocols
Cache Games - Bringing Access-Based Cache Attacks on AES to Practice
Privacy Principles for Sharing Cyber Security Data
On the Robustness of Cooperative Multi-Agent Reinforcement Learning
Using Replication and Partitioning to Build Secure Distributed Systems
Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws
A Systematic Study of Physical Sensor Attack Hardness
On the Incoherencies in Web Browser Access Control Policies
Quantifying Information Leaks in Outbound Web Traffic
SoK: History is a Vast Early Warning System: Auditing the Provenance of System Intrusions
RTA3: A Real Time Adversarial Attack on Recurrent Neural Networks
Private Access Control for Function Secret Sharing
An Incremental Learner for Language-Based Anomaly Detection in XML
ZEBRA: Zero-Effort Bilateral Recurring Authentication
Practical Attacks Against DNS Reputation Systems
Dancing with Giants: Wimpy Kernels for On-Demand Isolated I/O
BAIT: Large Language Model Backdoor Scanning by Inverting Attack Target
Response-Hiding Encrypted Ranges: Revisiting Security via Parametrized Leakage-Abuse Attacks
Partial Security Policies to Support Timeliness in Secure Real-Time Databases
One TPM to Bind Them All: Fixing TPM 2.0 for Provably Secure Anonymous Attestation
SoK: Digging into the Digital Underworld of Stolen Data Markets
Cohere: Managing Differential Privacy in Large Scale Systems
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process
Fun-tuning: Characterizing the Vulnerability of Proprietary LLMs to Optimization-Based Prompt Injection Attacks via the Fine-Tuning Interface
Cryptographic Relational Algebra
How Not to Protect Your IP - An Industry-Wide Break of IEEE 1735 Implementations
SOFIT: Sociotechnical and Organizational Factors for Insider Threat
On Access Checking in Capability-Based Systems
Automated Verification of Group Key Agreement Protocols
Catalytic Inference Analysis: Detecting Inference Threats due to Knowledge Discovery
A multilevel transaction problem for multilevel secure database systems and its solution for the replicated architecture
A Model-Based Approach to Predicting the Performance of Insider Threat Detection Systems
Analysis of the Internet Key Exchange Protocol using the NRL Protocol Analyzer
Targeted and Troublesome: Tracking and Advertising on Children's Websites
POMABuster: Detecting Price Oracle Manipulation Attacks in Decentralized Finance
Privacy-preserving Continuous Tumour Relapse Monitoring Using In-body Radio Signals
SegFuzz: Segmentizing Thread Interleaving to Discover Kernel Concurrency Bugs through Fuzzing
Inference of Security-Sensitive Entities in Libraries
How to Systematically Classify Computer Security Intrusions
TrafficPulse: A Road-Sensor Assisted Traffic Tweet Misinformation Detection System
Fuzzing the Latest NTFS in Linux with Papora: An Empirical Study
An Analysis of the Proxy Problem in Distributed Systems
Self-Encrypting Deception: Weaknesses in the Encryption of Solid State Drives
Intrusion-Tolerant Enclaves
Intrusion-Tolerance Using Fine-Grain Fragmentation-Scattering
Lombard-VLD: Voice Liveness Detection Based on Human Auditory Feedback
"It's Time. Time for Digital Security.": An End User Study on Actionable Security and Privacy Advice
Cryo-Mechanical RAM Content Extraction Against Modern Embedded Systems
Code Vulnerability Repair with Large Language Model Using Context-Aware Prompt Tuning
Following Devil's Footprints: Cross-Platform Analysis of Potentially Harmful Libraries on Android and iOS
From Trash to Treasure: Timing-Sensitive Garbage Collection
Selective Amnesia: On Efficient, High-Fidelity and Blind Suppression of Backdoor Effects in Trojaned Machine Learning Models
High-Order Masking of Lattice Signatures in Quasilinear Time
Titan : Efficient Multi-target Directed Greybox Fuzzing
Quantitative Assessment of Risk Reduction with Cybercrime Black Market Monitoring
A Computationally Sound Mechanized Prover for Security Protocols
CryptGPU: Fast Privacy-Preserving Machine Learning on the GPU
Communication-efficient, Fault Tolerant PIR over Erasure Coded Storage
Towards Security and Privacy for Multi-user Augmented Reality: Foundations with End Users
Security Policies and Security Models
LangSec Revisited: Input Security Flaws of the Second Kind
Forensic Analysis of Ransomware Families Using Static and Dynamic Analysis
New Primitives for Actively-Secure MPC over Rings with Applications to Private Machine Learning
An Automated Approach for Identifying Potential Vulnerabilities in Software
Guardain: Protecting Emerging Generative AI Workloads on Heterogeneous NPU
Alleviating the Fear of Losing Alignment in LLM Fine-tuning
Backdooring and Poisoning Neural Networks with Image-Scaling Attacks
CSP and determinism in security modelling
RIDL: Rogue In-Flight Data Load
Don't Shoot the Messenger: Localization Prevention of Satellite Internet Users
pASSWORD tYPOS and How to Correct Them Securely
The Feasibility of Dynamically Granted Permissions: Aligning Mobile Privacy with User Preferences
Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability
Preference Poisoning Attacks on Reward Model Learning
HybridGuard: A Principal-Based Permission and Fine-Grained Policy Enforcement Framework for Web-Based Mobile Applications
Roles in cryptographic protocols
Towards a Fail-Safe Approach to Secure Databases
Shared Database Access using Composed Encryption Functions
Sphinx: A Compact and Provably Secure Mix Format
Security Risks in Deep Learning Implementations
Declarative, Temporal, and Practical Programming with Capabilities
Specification and Enforcement of Classification and Inference Constraints
DISV: Domain Independent Semantic Validation of Data Files
Compiler-Assisted Code Randomization
JIGSAW: Efficient and Scalable Path Constraints Fuzzing
Formal Specification of a Multi-Level Secure Operating System
Information Flow in the Peer-Reviewing Process
Intercepting Bluetooth Traffic from Wearable Health Devices
Lockable Signatures for Blockchains: Scriptless Scripts for All Signatures
Zerocash: Decentralized Anonymous Payments from Bitcoin
All Your IFCException Are Belong to Us
Detection of Electromagnetic Interference Attacks on Sensor Systems
Membership Inference Attacks Against Machine Learning Models
User Identification in Dynamic Web Traffic via Deep Temporal Features
Pre-trained Encoders in Self-Supervised Learning Improve Secure and Privacy-preserving Supervised Learning
BODMAS: An Open Dataset for Learning based Temporal Analysis of PE Malware
CanDID: Can-Do Decentralized Identity with Legacy Compatibility, Sybil-Resistance, and Accountability
CoBBL: Dynamic Constraint Generation for SNARKs
Secure Device Pairing based on a Visual Channel (Short Paper)
ICAS: an Extensible Framework for Estimating the Susceptibility of IC Layouts to Additive Trojans
Muse : A Computer Assisted Verification System
30th IEEE Symposium on Security and Privacy (SP 2009), 17-20 May 2009, Oakland, California, USA
Attacks on Wireless Coexistence: Exploiting Cross-Technology Performance Features for Inter-Chip Privilege Escalation
Issues in Discretionary Access Control
SoK: The Dual Nature of Technology in Sexual Abuse
Guessing on Dominant Paths: Understanding the Limitation of Wireless Authentication Using Channel State Information
OAT: Attesting Operation Integrity of Embedded Devices
Reporting Insider Threats via Covert Channels
Toward an Understanding of Extensible Architectures for Evaluated Trusted Computer System Products
Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management
Counter-RAPTOR: Safeguarding Tor Against Active Routing Attacks
Transys: Leveraging Common Security Properties Across Hardware Designs
Security, Privacy, and Data-sharing Trade-offs When Moving to the United States: Insights from a Qualitative Study
Analyzing Leakage of Personally Identifiable Information in Language Models
Comparison Paper between the Bell and LaPadula Model and the SRI Model
TrojanPuzzle: Covertly Poisoning Code-Suggestion Models
Time-Print: Authenticating USB Flash Drives with Novel Timing Fingerprints
A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission
A Privacy-Aware V-Model for Software Development
P2C2T: Preserving the Privacy of Cross-Chain Transfer
The trusted path between SMITE and the user
Assuring Distributed Trusted Mach
Control Flow and Pointer Integrity Enforcement in a Secure Tagged Architecture
Watermarking Language Models for Many Adaptive Users
Mode security: an infrastructure for covert channel suppression
Low-effort VR Headset User Authentication Using Head-reverberated Sounds with Replay Resistance
Rushing at SPDZ: On the Practical Security of Malicious MPC Implementations
2012 IEEE Symposium on Security and Privacy Workshops, San Francisco, CA, USA, May 24-25, 2012
SV-TrustEval-C: Evaluating Structure and Semantic Reasoning in Large Language Models for Source Code Vulnerability Analysis
Learning from Censored Experiences: Social Media Discussions around Censorship Circumvention Technologies
Cascaded authentication
Committed to Trust: A Qualitative Study on Security & Trust in Open Source Software Projects
PGPatch: Policy-Guided Logic Bug Patching for Robotic Vehicles
Assessing the Effectiveness of Domain Blacklisting Against Malicious DNS Registrations
Clairvoyance: Exploiting Far-field EM Emanations of GPU to "See" Your DNN Models through Obstacles at a Distance
EvilHarmony: Stealthy Adversarial Attacks Against Black-Box Speech Recognition Systems
Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax
Exploiting Programmatic Behavior of LLMs: Dual-Use Through Standard Security Attacks
Towards Efficient and Practical Multi-party Computation under Inconsistent Trust in TEEs
Automated analysis of cryptographic protocols using Mur-phi
GPU.zip: On the Side-Channel Implications of Hardware-Based Graphical Data Compression
The Channel Assignment Problem
BPSniff: Continuously Surveilling Private Blood Pressure Information in the Metaverse via Unrestricted Inbuilt Motion Sensors
MAWSEO: Adversarial Wiki Search Poisoning for Illicit Online Promotion
Locating Hidden Servers
On-Chip Randomization for Memory Protection Against Hardware Supply Chain Attacks to DRAM
Coding for a Believable Specification to Implementation Mapping
Anix: Anonymous Blackout-Resistant Microblogging with Message Endorsing
Wobfuscator: Obfuscating JavaScript Malware via Opportunistic Translation to WebAssembly
Safe Loading - A Foundation for Secure Execution of Untrusted Programs
ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data
A "New" Security Policy Model
Why Does Little Robustness Help? A Further Step Towards Understanding Adversarial Transferability
FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation
Specification and Verification of the ASOS Kernel
Hunting Bugs with Lévy Flight Foraging
MPC-in-the-Head Framework without Repetition and its Applications to the Lattice-based Cryptography
Invisible Probe: Timing Attacks with PCIe Congestion Side-channel
Time Series Deinterleaving of DNS Traffic
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level
On the Design and the Implementation of Secure Xenix Workstations
Information-Theoretic Measures for Anomaly Detection
Side Eye: Characterizing the Limits of POV Acoustic Eavesdropping from Smartphone Cameras with Rolling Shutters and Movable Lenses
Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting
Toward a Game Theoretic Model of Information Release in Social Media with Experimental Results
LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection
Towards Smart Contract Fuzzing on GPUs
Back in Black: Towards Formal, Black Box Analysis of Sanitizers and Filters
Pudding: Private User Discovery in Anonymity Networks
"We are a startup to the core": A qualitative interview study on the security and privacy development practices in Turkish software startups
Abusing File Processing in Malware Detectors for Fun and Profit
The Times They Are A-Changin': Characterizing Post-Publication Changes to Online News
KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels
Using Conservation of Flow as a Security Mechanism in Network Protocols
Defeating UCI: Building Stealthy and Malicious Hardware
Data Mining Methods for Detection of New Malicious Executables
Verification of Information Flow and Access Control Policies with Dependent Types
Shreds: Fine-Grained Execution Units with Private Memory
Using Taint Analysis and Reinforcement Learning (TARL) to Repair Autonomous Robot Software
CrawlPhish: Large-scale Analysis of Client-side Cloaking Techniques in Phishing
Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks
On the Practicality of Cryptographically Enforcing Dynamic Access Control Policies in the Cloud
The Intel 80×86 processor architecture: pitfalls for secure systems
Towards Wireless Spiking of Smart Locks
I Still Know What You Visited Last Summer: Leaking Browsing History via User Interaction and Side Channel Attacks
Peekaboo: A Hub-Based Approach to Enable Transparency in Data Processing within Smart Homes
Complete, Safe Information Flow with Decentralized Labels
Constant Latency and Finality for Dynamically Available DAG
Learning to Reconstruct: Statistical Learning Theory and Encrypted Database Attacks
A Global Authentication Service without Global Trust
Shedding Light on Inconsistencies in Grid Cybersecurity: Disconnects and Recommendations
Eliminating formal flows in automated information flow analysis
The Parrot Is Dead: Observing Unobservable Network Communications
In-Progress: Augmenting Explainable AI with LLMs to Enhance User Trust in Intelligent Transportation Systems
Access Control Meets Public Key Infrastructure, Or: Assigning Roles to Strangers
Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29 - May 2, 1984
A Practical Approach to Identifying Storage and Timing Channels
Alternative correctness criteria for concurrent execution of transactions in multilevel secure databases
Asynchronous Protocols for Optimistic Fair Exchange
Code Speaks Louder: Exploring Security and Privacy Relevant Regional Variations in Mobile Applications
AirTag of the Clones: Shenanigans with Liberated Item Finders
HybriDiagnostics: Evaluating Security Issues in Hybrid SmartHome Companion Apps
PUF-Based Authentication in IoT Against Strong Physical Adversary Using Zero-Knowledge Proofs
Systematic Analysis of Randomization-based Protected Cache Architectures
Optimistic Access Control for the Smart Home
Peer2PIR: Private Queries for IPFS
Understanding Insider Threat: A Framework for Characterising Attacks
DataTags, Data Handling Policy Spaces and the Tags Language
On Evaluating IP Traceback Schemes: A Practical Perspective
A Network Security Monitor
An Immunological Approach to Change Detection: Algorithms, Analysis and Implications
Optical Time-Domain Eavesdropping Risks of CRT Displays
Practical Authentication for Distributed Computing
A Database Encryption Scheme Which Allows the Computation of Statistics Using Encrypted Data
The Trusted Function in Secure Decentralized Processing
Research Report: Mitigating LangSec Problems with Capabilities
A Wall Behind A Wall: Emerging Regional Censorship in China
Neural Cleanse: Identifying and Mitigating Backdoor Attacks in Neural Networks
2006 IEEE Symposium on Security and Privacy (S&P 2006), 21-24 May 2006, Berkeley, California, USA
Cloak and Dagger: From Two Permissions to Complete Control of the UI Feedback Loop
Distribution Preserving Backdoor Attack in Self-supervised Learning
Transaction Processing in Multilevel-Secure Databases Using Replicated Architecture
Fang: A Firewall Analysis Engine
Probabilistic Treatment of MIXes to Hamper Traffic Analysis
ZHE: Efficient Zero-Knowledge Proofs for HE Evaluations
Low-Bandwidth Threshold ECDSA via Pseudorandom Correlation Generators
DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice
An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System
Inference aggregation detection in database management systems
CollAFL: Path Sensitive Fuzzing
BridgeRouter: Automated Capability Upgrading of Out-Of-Bounds Write Vulnerabilities to Arbitrary Memory Write Primitives in the Linux Kernel
Signing Me onto Your Accounts through Facebook and Google: A Traffic-Guided Security Study of Commercially Deployed Single-Sign-On Web Services
Kairos: Practical Intrusion Detection and Investigation using Whole-system Provenance
SoK: The Challenges, Pitfalls, and Perils of Using Hardware Performance Counters for Security
On the Economics of Offline Password Cracking
A network version of the Pump
An Analysis of the Timed Z-channel
A Bayesian Network Model for Predicting Insider Threats
Short Text, Large Effect: Measuring the Impact of User Reviews on Android App Security & Privacy
SoK: Dlog-Based Distributed Key Generation
LAMD: Context-Driven Android Malware Detection and Classification with LLMs
The Cryptographic Security of Compact Knapsacks (Preliminary Report)
SEIMI: Efficient and Secure SMAP-Enabled Intra-process Memory Isolation
BELT: Old-School Backdoor Attacks can Evade the State-of-the-Art Defense with Backdoor Exclusivity Lifting
Finding Specification Blind Spots via Fuzz Testing
To Catch a Ratter: Monitoring the Behavior of Amateur DarkComet RAT Operators in the Wild
Rozzle: De-cloaking Internet Malware
Safety Analysis for the Extended Schematic Protection Model
Analyzing Ground-Truth Data of Mobile Gambling Scams
TreePIR: Efficient Private Retrieval of Merkle Proofs via Tree Colorings with Fast Indexing and Zero Storage Overhead
Secret Handshakes from Pairing-Based Key Agreements
Formalizing Sensitivity in Static Analysis for Intrusion Detection
Reviewing for Privacy in Internet and Web Standard-Setting
Extending the Power of Consent with User-Managed Access: A Standard Architecture for Asynchronous, Centralizable, Internet-Scalable Consent
Papercraft: Lattice-Based Verifiable Delay Function Implemented
Do Cookie Banners Respect my Choice? : Measuring Legal Compliance of Banners from IAB Europe's Transparency and Consent Framework
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
On the Conflict Between Robustness and Learning in Collaborative Machine Learning
Noninterference and the composability of security properties
XFL: Naming Functions in Binaries with Extreme Multi-label Learning
ObliviAd: Provably Secure and Practical Online Behavioral Advertising
Robust Threshold ECDSA with Online-Friendly Design in Three Rounds
Implementing and Proving the TLS 1.3 Record Layer
Nightshade: Prompt-Specific Poisoning Attacks on Text-to-Image Generative Models
Machine Learning DDoS Detection for Consumer Internet of Things Devices
AMon: A Monitoring Multidimensional Feature Application to Secure Android Environments
History of US Government Investments in Cybersecurity Research: A Personal Perspective
A Secure Parser Generation Framework for IoT Protocols on Microcontrollers
Adversary Instantiation: Lower Bounds for Differentially Private Machine Learning
Characterizing Robocalls with Multiple Vantage Points
LASTor: A Low-Latency AS-Aware Tor Client
ZEXE: Enabling Decentralized Private Computation
Nail: A Practical Interface Generator for Data Formats
RT-TEE: Real-time System Availability for Cyber-physical Systems using ARM TrustZone
Beyond Phish: Toward Detecting Fraudulent e-Commerce Websites at Scale
No Easy Way Out: the Effectiveness of Deplatforming an Extremist Forum to Suppress Hate and Harassment
T-Fuzz: Fuzzing by Program Transformation
Four Attacks and a Proof for Telegram
Formal Languages, Deep Learning, Topology and AlgebraicWord Problems
Vetting SSL Usage in Applications with SSLINT
Twenty Years of Cryptography in the Open Literature
20 Years of Operating Systems Security
Access Mediation in a Message Passing Kernel
"It builds trust with the customers" - Exploring User Perceptions of the Padlock Icon in Browser UI
A Containerization-Based Backfit Approach for Industrial Control System Resiliency
IEEE Security and Privacy, SP 2024 - Workshops, San Francisco, CA, USA, May 23, 2024
New Results for Timing-Based Attestation
Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
Executable Logic Specifications: A New Approach to Computer Security
2008 IEEE Symposium on Security and Privacy (SP 2008), 18-21 May 2008, Oakland, California, USA
HDFI: Hardware-Assisted Data-Flow Isolation
Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems
Biologically Inspired Safety and Security for Smart Built Environments: Position Paper
An optimal solution to the secure reader-writer problem
Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol
An Approach to Indentification of Minimum TCB Requirements for Various Threat/Risk Environments
CirC: Compiler infrastructure for proof systems, software verification, and more
MisleadingWorm Signature Generators Using Deliberate Noise Injection
PhishFarm: A Scalable Framework for Measuring the Effectiveness of Evasion Techniques against Browser Phishing Blacklists
TuDoor Attack: Systematically Exploring and Exploiting Logic Vulnerabilities in DNS Response Pre-processing with Malformed Packets
Extended Abstract: Provable-Security Analysis of Authenticated Encryption in Kerberos
Trust Nobody: Privacy-Preserving Proofs for Edited Photos with Your Laptop
CORELOCKER: Neuron-level Usage Control
ProTRR: Principled yet Optimal In-DRAM Target Row Refresh
SoK: Keylogging Side Channels
Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities
Guiding a Colony of Black-Box Fuzzers with Chemotaxis
Analysis of Code Heterogeneity for High-Precision Classification of Repackaged Malware
Secure and Scalable Fault Localization under Dynamic Traffic Patterns
Target Fragmentation in Android Apps
1997 IEEE Symposium on Security and Privacy, May 4-7, 1997, Oakland, CA, USA
The Probabilistic Provenance Graph
ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation
On the Security of Two-Round Multi-Signatures
PyLingual: Toward Perfect Decompilation of Evolving High-Level Languages
Targeted Adversarial Examples for Black Box Audio Systems
Automatic Proof of Strong Secrecy for Security Protocols
Stopping a Rapid Tornado with a Puff
A Practical Executive for Secure Communications
Can we cast a ballot as intended and be receipt free?
AFGen: Whole-Function Fuzzing for Applications and Libraries
Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study
The Many-Time Pad: Theme and Variations
Dedup Est Machina: Memory Deduplication as an Advanced Exploitation Vector
The ghost is the machine: Weird machines in transient execution
Protecting Bare-Metal Embedded Systems with Privilege Overlays
Security and Privacy Experiences of First- and Second-Generation Pakistani Immigrants to the US: Perceptions, Practices, Challenges, and Parent-Child Dynamics
A Dynamic Taint Analysis Tool for Android App Forensics