yusuke1997/dblp-id-title huggingface dataset:
Performance of Public-Key-Enabled Kerberos Authentication in Large Networks
Searching for Public-Key Cryptosystems
TriggerScope: Towards Detecting Logic Bombs in Android Applications
SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions
Out of Control: Overcoming Control-Flow Integrity
Unveiling Security Vulnerabilities in Git Large File Storage Protocol
PassREfinder: Credential Stuffing Risk Prediction by Representing Password Reuse between Websites on a Graph
Good News for Script Kiddies? Evaluating Large Language Models for Automated Exploit Generation
Security Analysis of the MLS Key Derivation
GrOVe: Ownership Verification of Graph Neural Networks using Embeddings
SoK: Quantifying Cyber Risk
SoK: Software Compartmentalization
Capturing the iccMAX calculatorElement: A Case Study on Format Design
Forensic Analysis of Immersive Virtual Reality Social Applications: A Primary Account
SymCerts: Practical Symbolic Execution for Exposing Noncompliance in X.509 Certificate Validation Implementations
HopSkipJumpAttack: A Query-Efficient Decision-Based Attack
The design and implementation of a secure auction service
Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers
Digital Signitures with Blindfolded Arbitrators Who Cannot Form Alliances
The Remote on the Local: Exacerbating Web Attacks Via Service Workers Caches
Extending Ina Jo with Temporal Logic
Composite Explanation-Aware Attacks
Practical Timing Side Channel Attacks against Kernel Space ASLR
Compromising Reflections-or-How to Read LCD Monitors around the Corner
SmartInv: Multimodal Learning for Smart Contract Invariant Inference
Budget Recycling Differential Privacy
Audio Adversarial Examples: Targeted Attacks on Speech-to-Text
An Analysis of Pre-installed Android Software
Vulnerability Discovery for All: Experiences of Marginalization in Vulnerability Discovery
Stealthy Porn: Understanding Real-World Adversarial Images for Illicit Online Promotion
Hi-Res: Precise Exploit Detection Using Object-Granular Memory Monitoring
Does Certificate Transparency Break the Web? Measuring Adoption and Error Rate
Private resource allocators and their applications
Attack Directories, Not Caches: Side Channel Attacks in a Non-Inclusive World
The Interrogator model
Safety in Automated Trust Negotiation
A neural network component for an intrusion detection system
Algorithmic Transparency via Quantitative Input Influence: Theory and Experiments with Learning Systems
Dominance as a New Trusted Computing Primitive for the Internet of Things
Conning the Crypto Conman: End-to-End Analysis of Cryptocurrency-based Technical Support Scams
LBM: A Security Framework for Peripherals within the Linux Kernel
Security in KeyKOS™
Moderating New Waves of Online Hate with Chain-of-Thought Reasoning in Large Language Models
Activity Pattern Discovery from Network Captures
Skyfire: Data-Driven Seed Generation for Fuzzing
SHERPA: Explainable Robust Algorithms for Privacy-Preserved Federated Learning in Future Networks to Defend Against Data Poisoning Attacks
Towards Reliable Verification of Unauthorized Data Usage in Personalized Text-to-Image Diffusion Models
Good Bot, Bad Bot: Characterizing Automated Browsing Activity
Retrofitting Legacy Code for Authorization Policy Enforcement
Missing the Point(er): On the Effectiveness of Code Pointer Integrity
Goshawk: Hunting Memory Corruptions via Structure-Aware and Object-Centric Memory Operation Synopsis
Orca: FSS-based Secure Training and Inference with GPUs
32nd IEEE Symposium on Security and Privacy, SP 2011, 22-25 May 2011, Berkeley, California, USA
From Grim Reality to Practical Solution: Malware Classification in Real-World Noise
Secure Communications in the Presence of Pervasive Deceit
A Module Definition Facility for Access Control in Distributed Data Base Systems
USTAT: a real-time intrusion detection system for UNIX
Only Pay for What You Leak: Leveraging Sandboxes for a Minimally Invasive Browser Fingerprinting Defense
APP-Miner: Detecting API Misuses via Automatically Mining API Path Patterns
An Architecture for Practical Delegation in a Distributed System
Bomberman: Defining and Defeating Hardware Ticking Timebombs at Design-time
EvilSeed: A Guided Approach to Finding Malicious Web Pages
A Cryptographic Decentralized Label Model
BlindHub: Bitcoin-Compatible Privacy-Preserving Payment Channel Hubs Supporting Variable Amounts
Distance Hijacking Attacks on Distance Bounding Protocols
A semantic model for authentication protocols
SoK: Everyone Hates Robocalls: A Survey of Techniques Against Telephone Spam
The Leaky Web: Automated Discovery of Cross-Site Information Leaks in Browsers and the Web
Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem
2005 IEEE Symposium on Security and Privacy (S&P 2005), 8-11 May 2005, Oakland, CA, USA
TCP Spoofing: Reliable Payload Transmission Past the Spoofed TCP Handshake
Visa Scheme for Inter-Organization Network Security
Automatically Generating Malicious Disks using Symbolic Execution
Privacy Threats and Practical Solutions for Genetic Risk Tests
Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications
Zerocoin: Anonymous Distributed E-Cash from Bitcoin
Ensuring the Safe and Secure Operation of Electronic Control Units in Road Vehicles
Structure Matters - A New Approach for Data Flow Tracking
Views as the security objects in a multilevel secure relational database management system
Threshold ECDSA from ECDSA Assumptions: The Multiparty Case
I Know Where You Parked Last Summer : Automated Reverse Engineering and Privacy Analysis of Modern Cars
DPI Solutions in Practice: Benchmark and Comparison
Investigating Influencer VPN Ads on YouTube
Nurgle: Exacerbating Resource Consumption in Blockchain State Storage via MPT Manipulation
Verena: End-to-End Integrity Protection for Web Applications
Hardware Requirements for Secure Computer Systems: A Framework
BadRAM: Practical Memory Aliasing Attacks on Trusted Execution Environments
Chip and Skim: Cloning EMV Cards with the Pre-play Attack
From One Stolen Utterance: Assessing the Risks of Voice Cloning in the AIGC Era
The Spyware Used in Intimate Partner Violence
Revisiting Automotive Attack Surfaces: a Practitioners' Perspective
Modeling Security-Relevant Data Semantics
Inference of Expressive Declassification Policies
A Messy State of the Union: Taming the Composite State Machines of TLS
A near-term design for the SeaView multilevel database system
A Separation Model for Virtual Machine Monitors
Research Report: Analysis of Software for Restricted Computational Environment Applicability
The Army Secure Operating System
RAB: Provable Robustness Against Backdoor Attacks
GAuV: A Graph-Based Automated Verification Framework for Perfect Semi-Honest Security of Multiparty Computation Protocols
Authorization in distributed systems: a formal approach
Vulnerability Flow Type Systems
The SRI IDES Statistical Anomaly Detector
Storage Channels in Disk Arm Optimization
Predecessor-aware Directed Greybox Fuzzing
Privacy Weaknesses in Biometric Sketches
StegTorrent: A Steganographic Method for the P2P File Sharing Service
Graphics Peeping Unit: Exploiting EM Side-Channel Information of GPUs to Eavesdrop on Your Neighbors
Opera: Achieving Secure and High-Performance OLAP with Parallelized Homomorphic Comparisons
TEEzz: Fuzzing Trusted Applications on COTS Android Devices
Ethos' Deeply Integrated Distributed Types
Timing-Based Browsing Privacy Vulnerabilities Via Site Isolation
Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments
Analyzing the iOS Local Network Permission from a Technical and User Perspective
Privacy-Preserving Mutual Authentication Protocol for Federated Learning in Intelligent Transportation Systems
Analysis of an Electronic Voting System
Secure Ranging with IEEE 802.15.4z HRP UWB
The typed access matrix model
Twenty Years of Formal Methods
Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS
Understanding and Benchmarking the Commonality of Adversarial Examples
Anti-Tamper Radio: System-Level Tamper Detection for Computing Systems
Unexpected Data Dependency Creation and Chaining: A New Attack to SDN
Where Are the Red Lines? Towards Ethical Server-Side Scans in Security and Privacy Research
Protocol-Independent Secrecy
Confident Monte Carlo: Rigorous Analysis of Guessing Curves for Probabilistic Password Models
Discop: Provably Secure Steganography in Practice Based on "Distribution Copies"
The Master Key Problem
Robbery on DevOps: Understanding and Mitigating Illicit Cryptomining on Continuous Integration Service Platforms
Throwing Darts in the Dark? Detecting Bots with Limited Data using Neural Data Augmentation
On the Generality and Convenience of Etypes
Background Class Defense Against Adversarial Examples
Robust Multi-tab Website Fingerprinting Attacks in the Wild
Security Issues in Policy Routing
Specifications for Multi-Level Security and a Hook-Up Property
Preventing Memory Error Exploits with WIT
Research on Proof-Carrying Code for Untrusted-Code Security
CaFA: Cost-aware, Feasible Attacks With Database Constraints Against Neural Tabular Classifiers
Racing in Hyperspace: Closing Hyper-Threading Side Channels on SGX with Contrived Data Races
SoK: "Plug & Pray" Today - Understanding USB Insecurity in Versions 1 Through C
A Client-Side Seat to TLS Deployment
Revocation Systems with Very Small Private Keys
Characterizing Everyday Misuse of Smart Home Devices
mmSpy: Spying Phone Calls using mmWave Radars
State of the Art: Automated Black-Box Web Application Vulnerability Testing
IVD: Automatic Learning and Enforcement of Authorization Rules in Online Social Networks
Keeping Authorities "Honest or Bust" with Decentralized Witness Cosigning
Learning Differentially Private Mechanisms
Do Adversarial Patches Generalize? Attack Transferability Study Across Real-Time Segmentation Models in Autonomous Vehicles
Static Evaluation of Noninterference Using Approximate Model Counting
Mind Your Language(s): A Discussion about Languages and Security
Preserving privacy in a network of mobile computers
On the Formal Definition of Separation-of-Duty Policies and their Composition
Experimental Security Analysis of a Modern Automobile
BLEKeeper: Response Time Behavior Based Man-In-The-Middle Attack Detection
Modified Architecture for the Sub-Keys Model
Is Private Learning Possible with Instance Encoding?
A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification
Measuring Developers' Web Security Awareness from Attack and Defense Perspectives
Compositional Non-Interference for Fine-Grained Concurrent Programs
On the feasibility of short-lived dynamic onion services
Garbage Collector Memory Accounting in Language-Based Systems
PublicCheck: Public Integrity Verification for Services of Run-time Deep Models
Exploiting Unintended Feature Leakage in Collaborative Learning
Secure Execution of Java Applets using a Remote Playground
Controlling logical inference in multilevel database systems
In-Progress: Exploring Tire Pressure Monitoring Systems (TPMS) for Secure Key Generation for Intra-Vehicular Device Authentication
2019 IEEE Symposium on Security and Privacy, SP 2019, San Francisco, CA, USA, May 19-23, 2019
WTAGRAPH: Web Tracking and Advertising Detection using Graph Neural Networks
The Structure of a Security Kernel for the Z8000 Multiprocessor
2014 IEEE Symposium on Security and Privacy, SP 2014, Berkeley, CA, USA, May 18-21, 2014
Policy vs. Mechanism in the Secure TUNIS Operating System
Real Time Network File Similarity Detection Based on Approximate Matching
SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies
Outside the Closed World: On Using Machine Learning for Network Intrusion Detection
Fog Computing: Mitigating Insider Data Theft Attacks in the Cloud
A Sense of Self for Unix Processes
Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs
Threshold Signatures in the Multiverse
A Preliminary Neval Surveillance OBMS Sacurity
Methods and Metrics for Evaluating Analytic Insider Threat Tools
Understanding Linux Malware
Structuring Systems for Formal Verification
A General Theory of Security Properties
Polonium: An Identity Authentication System
ROS-Defender: SDN-Based Security Policy Enforcement for Robotic Applications
A Data Mining Framework for Building Intrusion Detection Models
MatriGear: Accelerating Authenticated Matrix Triple Generation with Scalable Prime Fields via Optimized HE Packing
Flexible Policy-Directed Code Safety
Pixy: A Static Analysis Tool for Detecting Web Application Vulnerabilities (Short Paper)
Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage-or-How to Store Ballots on a Voting Machine (Extended Abstract)
Demo: ROI Attacks on Traffic Light Detection in High-Level Autonomous Driving
Understanding Users' Security and Privacy Concerns and Attitudes Towards Conversational AI Platforms
On the Composition of Secure Systems
CANNON: Reliable and Stealthy Remote Shutdown Attacks via Unaltered Automotive Microcontrollers
Towards Cyber-Physical Representation and Cyber-Resilience Against Attack and Failure within a Hydraulic Network Simulation Toolkit
Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model
SP3 Peer Identification
Towards Simultaneous Attacks on Multiple Cellular Networks
DEEPCASE: Semi-Supervised Contextual Analysis of Security Events
Hackers vs. Testers: A Comparison of Software Vulnerability Discovery Processes
Goals for Computer Security Education
"They're not that hard to mitigate": What Cryptographic Library Developers Think About Timing Attacks
Differentially Private Histograms in the Shuffle Model from Fake Users
Object Capabilities and Isolation of Untrusted Web Applications
Semantic Comparison of Security Policies: From Access Control Policies to Flow Properties
From Zygote to Morula: Fortifying Weakened ASLR on Android
Towards Effective Differential Privacy Communication for Users' Data Sharing Decision and Comprehension
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols
A Deep Dive into How Open-Source Project Maintainers Review and Resolve Bug Bounty Reports
Sabre: Sender-Anonymous Messaging with Fast Audits
Reasoning about Belief in Cryptographic Protocols
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
ObjectSeeker: Certifiably Robust Object Detection against Patch Hiding Attacks via Patch-agnostic Masking
Protecting the Stack with Metadata Policies and Tagged Hardware
A Security Policy Model for Clinical Information Systems
Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt
A Low-Cost Attack against the hCaptcha System
Using Hardware Features for Increased Debugging Transparency
Publicly Accountable Robust Multi-Party Computation
SideGuard: Non-Invasive On-Chip Malware Detection in Heterogeneous IoT Systems by Leveraging Side-Channels
DrSec: Flexible Distributed Representations for Efficient Endpoint Security
The Dark Side of Scale: Insecurity of Direct-to-Cell Satellite Mega-Constellations
Kernel Isolation for the PDP-11/70
Sabre: Cutting through Adversarial Noise with Adaptive Spectral Filtering and Input Reconstruction
Exploring Parent-Child Perceptions on Safety in Generative AI: Concerns, Mitigation Strategies, and Design Implications
Casual Users and Rational Choices within Differential Privacy
Fable: A Language for Enforcing User-defined Security Policies
Exploiting the Dual Nature of Sensitivity Labels
User-Driven Access Control: Rethinking Permission Granting in Modern Operating Systems
An I/O Separation Model for Formal Verification of Kernel Implementations
An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols
MOCGuard: Automatically Detecting Missing-Owner-Check Vulnerabilities in Java Web Applications
zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure
Deep Reinforcement Fuzzing
SoK: A Framework and Guide for Human-Centered Threat Modeling in Security and Privacy Research
Gringotts: Securing Data for Digital Evidence
Linking Bluetooth LE & Classic and Implications for Privacy-Preserving Bluetooth-Based Protocols
What the App is That? Deception and Countermeasures in the Android User Interface
IRQDebloat: Reducing Driver Attack Surface in Embedded Devices
Trusted Computer Systems
EyeTell: Video-Assisted Touchscreen Keystroke Inference from Eye Movements
On the Feasibility of Internet-Scale Author Identification
Extending the Brewer-Nash Model to a Multilevel Context
A Multilevel Secure Local Area Network
Policy Aware Social Miner
Towards Making Systems Forget with Machine Unlearning
2007 IEEE Symposium on Security and Privacy (S&P 2007), 20-23 May 2007, Oakland, California, USA
Covert Flow Trees: A Technique for Identifying and Analyzing Covert Storage Channels
From Control to Chaos: A Comprehensive Formal Analysis of 5G's Access Control
SoK: Efficient Design and Implementation of Polynomial Hash Functions over Prime Fields
A Safety-Oriented Platform for Web Applications
Restricting the Link: Effects of Focused Attention and Time Delay on Phishing Warning Effectiveness
20 Years of Covert Channel Modeling and Analysis
2001 IEEE Symposium on Security and Privacy, Oakland, California, USA May 14-16, 2001
A Model to Describe Protection Problems
Combating Dependence Explosion in Forensic Analysis Using Alternative Tag Propagation Semantics
Hardening Java's Access Control by Abolishing Implicit Privilege Elevation
Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations
New Key Generation Algorithms for Multilevel Security
Architecture, Workflows, and Prototype for Stateful Data Usage Control in Cloud
Deterring Voluntary Trace Disclosure in Re-encryption Mix Networks
Routing Around Congestion: Defeating DDoS Attacks and Adverse Network Conditions via Reactive BGP Routing
Formalizing and Enforcing Purpose Restrictions in Privacy Policies
ABYSS: A Trusted Architecture for Software Protection
Dissecting Android Malware: Characterization and Evolution
Last-Level Cache Side-Channel Attacks are Practical
This PIN Can Be Easily Guessed: Analyzing the Security of Smartphone Unlock PINs
VC3: Trustworthy Data Analytics in the Cloud Using SGX
FairZK: A Scalable System to Prove Machine Learning Fairness in Zero-Knowledge
Ottawa Euclid and EVES: A Status Report
A Study of Probabilistic Password Models
A Generic Approach to Automatic Deobfuscation of Executable Code
Declarative Verifiable SDI Specifications
Seeing-Is-Believing: Using Camera Phones for Human-Verifiable Authentication
Liquefaction: Privately Liquefying Blockchain Assets
SoK: Computer-Aided Cryptography
BLACKSMITH: Scalable Rowhammering in the Frequency Domain
Towards Mobile Cryptography
On the Insecurity of Vehicles Against Protocol-Level Bluetooth Threats
Reconciling Belief and Vulnerability in Information Flow
Protecting Label Distribution in Cross-Silo Federated Learning
Typing High-Speed Cryptography against Spectre v1
Defending Against Neural Network Model Stealing Attacks Using Deceptive Perturbations
No One Drinks From the Firehose: How Organizations Filter and Prioritize Vulnerability Information
A Comparison of Commercial and Military Computer Security Policies
Seamlessly Insecure: Uncovering Outsider Access Risks in AiDot-Controlled Matter Devices
Tactical Provenance Analysis for Endpoint Detection and Response Systems
PCSPOOF: Compromising the Safety of Time-Triggered Ethernet
A More Efficient Use of Delta-CRLs
Efficient Authentication and Signing of Multicast Streams over Lossy Channels
Leaky Address Masking: Exploiting Unmasked Spectre Gadgets with Noncanonical Address Translation
Unwinding and Inference Control
Beyond the Pale of MAC and DAC-Defining New Forms of Access Control
The cascade vulnerability problem
Red Belly: A Secure, Fair and Scalable Open Blockchain
To hash or not to hash: A security assessment of CSP's unsafe-hashes expression
Fooling A Deep-Learning Based Gait Behavioral Biometric System
Security policy modeling for the next-generation packet switch
Malware Detection by Analysing Network Traffic with Neural Networks
Welcome to the Entropics: Boot-Time Entropy in Embedded Devices
No Pardon for the Interruption: New Inference Attacks on Android Through Interrupt Timing Analysis
OSPREY: Recovery of Variable and Data Structure via Probabilistic Analysis for Stripped Binary
New Methods for Immediate Revocation
SoK: Automated Software Diversity
GREBE: Unveiling Exploitation Potential for Linux Kernel Bugs
RL-GRIT: Reinforcement Learning for Grammar Inference
Will Openish Source Really Improve Security
The Future Is Not Assured - But It Should Be
Active Mapping: Resisting NIDS Evasion without Altering Traffic
P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF
ConDySTA: Context-Aware Dynamic Supplement to Static Taint Analysis
Applying Deep Learning to Combat Mass Robocalls
Explainable Machine Learning for Cyberattack Identification from Traffic Flows
A multilevel file system for high assurance
Architectural Mimicry: Innovative Instructions to Efficiently Address Control-Flow Leakage in Data-Oblivious Programs
Transformation of Access Rights
2016 IEEE Security and Privacy Workshops, SP Workshops 2016, San Jose, CA, USA, May 22-26, 2016
FuturesMEX: Secure, Distributed Futures Market Exchange
Supporting Multiple Access Control Policies in Database Systems
Exploring Traffic Simulation and Cybersecurity Strategies Using Large Language Models
Ecology-Based DoS Attack in Cognitive Radio Networks
A Note on the Denial-of-Service Problem
"How technical do you get? I'm an English teacher": Teaching and Learning Cybersecurity and AI Ethics in High School
Mechanism Sufficiency Validation by Assignment
Eureka: A General Framework for Black-box Differential Privacy Estimators
Electromagnetic Sensor and Actuator Attacks on Power Converters for Electric Vehicles
Secure Device Bootstrapping Without Secrets Resistant to Signal Manipulation Attacks
High-Frequency Trading on Decentralized On-Chain Exchanges
PEGASUS: Bridging Polynomial and Non-polynomial Evaluations in Homomorphic Encryption
Security and Privacy - 1998 IEEE Symposium on Security and Privacy, Oakland, CA, USA, May 3-6, 1998, Proceedings
Could you clean up the Internet with a Pit of Tar? Investigating tarpit feasibility on Internet worms
Necessity and Realization of Universally Verifiable Secret Sharing
Using Rescue Points to Navigate Software Recovery
Spook.js: Attacking Chrome Strict Site Isolation via Speculative Execution
Network Security: The Parts of the Sum
Smashing the Gadgets: Hindering Return-Oriented Programming Using In-place Code Randomization
A Secure Capability Computer System
Restriciting Queries that Might Lead to Compromise
COBRA: Dynamic Proactive Secret Sharing for Confidential BFT Services
Tempest in a Teapot: Compromising Reflections Revisited
Research Report: On the Feasibility of Retrofitting Operating Systems with Generated Protocol Parsers
Misleading Deep-Fake Detection with GAN Fingerprints
Spoofing Real-world Face Authentication Systems through Optical Synthesis
A Stealthier Partitioning Attack against Bitcoin Peer-to-Peer Network
Half Spectre, Full Exploit: Hardening Rowhammer Attacks with Half-Spectre Gadgets
Jolt: Recovering TLS Signing Keys via Rowhammer Faults
One Key to Rule Them All: Secure Group Pairing for Heterogeneous IoT Devices
A Low-Cost Privacy-Preserving Digital Wallet for Humanitarian Aid Distribution
Ally Friendly Jamming: How to Jam Your Enemy and Maintain Your Own Wireless Connectivity at the Same Time
Differentially Private Release of Israel's National Registry of Live Births
Automatically Detecting Bystanders in Photos to Reduce Privacy Risks
Accessible Formal Methods for Verified Parser Development
Differential analysis of x86-64 instruction decoders
Preventive Inference Control in Data-centric Business Models
How Well Do My Results Generalize? Comparing Security and Privacy Survey Results from MTurk, Web, and Telephone Samples