yusuke1997/dblp-id-title huggingface dataset:
Epistemology of Rowhammer Attacks: Threats to Rowhammer Research Validity
Forensics in Industrial Control System: A Case Study
On Security of Content-Based Video Stream Authentication
Succinctly Verifiable Sealed-Bid Auction Smart Contract
C-TAR: A Compositional Threat Analysis and Risk Assessment Method for Infrastructure-Based Autonomous Driving
Efficient Pruning for Machine Learning Under Homomorphic Encryption
Intra-role Progression in RBAC: An RPG-Like Access Control Scheme
Challenges and Pitfalls in Generating Representative ICS Datasets in Cyber Security Research
Firmware-Based DoS Attacks in Wireless Sensor Network
Mark-and-Sweep Garbage Collection in Multilevel Secure Object-Oriented Database Systems
An Efficiently Searchable Encrypted Data Structure for Range Queries
LeaPS: Learning-Based Proactive Security Auditing for Clouds
Examining 5G Technology-Based Applications for Military Communications
Codejail: Application-Transparent Isolation of Libraries with Tight Program Interactions
Lattice-Based Proof-of-Work for Post-Quantum Blockchains
AsyncShock: Exploiting Synchronisation Bugs in Intel SGX Enclaves
The Impact of Multilevel Security on Database Buffer Management
Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
An Adaptive Policy-Based Approach to SPIT Management
TRACE: Zero-Down-Time Database Damage Tracking, Quarantine, and Cleansing with Negligible Run-Time Overhead
Fragmentation and Encryption to Enforce Privacy in Data Storage
Email Cloaking: Deceiving Users and Spam Email Detectors with Invisible HTML Settings
Passive Attack Analysis for Connection-Based Anonymity Systems
Verifiable Computation on Outsourced Encrypted Data
Safeguarding Structural Controllability in Cyber-Physical Control Systems
AdIDoS - Adaptive and Intelligent Fully-Automatic Detection of Denial-of-Service Weaknesses in Web Services
Towards Security of Internet Naming Infrastructure
Local View Attack on Anonymous Communication
A Framework for Developing Tabletop Cybersecurity Exercises
Channels: Horizontal Scaling and Confidentiality on Permissioned Blockchains
Controlled Management of Confidentiality-Preserving Relational Interactions
Towards Data Anonymization in Data Mining via Meta-heuristic Approaches
NaClDroid: Native Code Isolation for Android Applications
Security Provisioning in Pervasive Environments Using Multi-objective Optimization
RingCT 2.0: A Compact Accumulator-Based (Linkable Ring Signature) Protocol for Blockchain Cryptocurrency Monero
Duplication-Based Fault Tolerance for RISC-V Embedded Software
The Silence of the LANs: Efficient Leakage Resilience for IPsec VPNs
Local Password Validation Using Self-Organizing Maps
Identifying Multiple Authors in a Binary Program
Data Privacy Management and Autonomous Spontaneous Security - 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010, Revised Selected Papers
CPU Bugs, CPU Backdoors and Consequences on Security
Using Oblivious RAM in Genomic Studies
Comparison Between Two Practical Mix Designs
Efficient Encrypted Keyword Search for Multi-user Data Sharing
DUMB and DUMBer: Is Adversarial Training Worth It in the Real World?
On the Secrecy of Spread-Spectrum Flow Watermarks
Privacy-Preserving Link Prediction
Don't Hash Me Like That: Exposing and Mitigating Hash-Induced Unfairness in Local Differential Privacy
Investigation of Signal and Message Manipulations on the Wireless Channel
A New RFID Privacy Model
When is Slower Block Propagation More Profitable for Large Miners?
Lightweight Cryptography for Embedded Systems - A Comparative Analysis
Identity-Based Encryption with Post-Challenge Auxiliary Inputs for Secure Cloud Applications and Sensor Networks
Batch Verifiable Computation of Polynomials on Outsourced Data
Data Protection Impact Assessments in Practice - Experiences from Case Studies
Leveraging Real-Life Facts to Make Random Passwords More Memorable
LightSwap: An Atomic Swap Does Not Require Timeouts at both Blockchains
Hide and Seek in Time - Robust Covert Timing Channels
Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption
Attribute-Based Conditional Proxy Re-encryption in the Standard Model Under LWE
PDP-ReqLite: A Lightweight Approach for the Elicitation of Privacy and Data Protection Requirements
PEA: Practical Private Epistasis Analysis Using MPC
dAPTaset: A Comprehensive Mapping of APT-Related Data
Encrypt-to-Self: Securely Outsourcing Storage
Enhancing Security Assurance in Software Development: AI-Based Vulnerable Code Detection with Static Analysis
Automated Identification of Desynchronisation Attacks on Shared Secrets
Verifiable Contracting - A Use Case for Onboarding and Contract Offering in Financial Services with eIDAS and Verifiable Credentials
User-Role Reachability Analysis of Evolving Administrative Role Based Access Control
DualTrust: A Distributed Trust Model for Swarm-Based Autonomic Computing Systems
Controlling Data Dissemination
Payment Networks as Creation Games
A First Look into Privacy Leakage in 3D Mixed Reality Data
Sealed Computation: Abstract Requirements for Mechanisms to Support Trustworthy Cloud Computing
Graph Perturbation as Noise Graph Addition: A New Perspective for Graph Anonymization
PRIVATUS: Wallet-Friendly Privacy Protection for Smart Meters
Let's Face It: Faceted Values for Taint Tracking
Symbolic Analysis of Terrorist Fraud Resistance
The Crypto-Democracy and the Trustworthy (Position Paper)
Constant-Size Unbounded Multi-hop Fully Homomorphic Proxy Re-encryption from Lattices
Privacy-Preserving Auditing for Attribute-Based Credentials
On Leveraging Coding Habits for Effective Binary Authorship Attribution
A Mathematical Framework for Evaluation of SOAR Tools with Limited Survey Data
Product Incremental Security Risk Assessment Using DevSecOps Practices
Timing Is Everything: The Importance of History Detection
An Ultra-High Throughput AES-Based Authenticated Encryption Scheme for 6G: Design and Implementation
Evaluation of a Security and Privacy Requirements Methodology Using the Physics of Notation
GET-AID: Graph-Enhanced Transformer for Provenance-Based Advanced Persistent Threats Investigation and Detection
Proposition of a Novel Type of Attacks Targetting Explainable AI Algorithms in Cybersecurity
Towards Knowledge Intensive Data Privacy
Verifying Constant-Time Implementations by Abstract Interpretation
Large Universe Ciphertext-Policy Attribute-Based Encryption with White-Box Traceability
A UML Profile for Privacy-Aware Data Lifecycle Models
Kerberos Version 4: Inductive Analysis of the Secrecy Goals
Towards a Practical Defense Against Adversarial Attacks on Deep Learning-Based Malware Detectors via Randomized Smoothing
VeriFLo: Verifiable Provenance with Fault Localization for Inter-domain Routing
Authenticated Key Agreement Mediated by a Proxy Re-encryptor for the Internet of Things
Updatable Blockchains
Cybersafety Analysis of a Natural Language User Interface for a Consumer Robotic System
An Effective TCP/IP Fingerprinting Technique Based on Strange Attractors Classification
Association Rule Mining on Fragmented Database
Research Challenges in Empowering Agile Teams with Security Knowledge Based on Public and Private Information Sources
Analysis of Policy Anomalies on Distributed Network Security Setups
Secure Communication and Authentication Against Off-line Dictionary Attacks in Smart Grid Systems
Privacy-Preserving Observation in Public Spaces
Machine-Checked Security Proofs of Cryptographic Signature Schemes
Visualisation for Intrusion Detection
A Certified-Input Mixnet from Two-Party Mercurial Signatures on Randomizable Ciphertexts
Privacy-Preserving Queries on Encrypted Data
Private Decision Tree Evaluation with Malicious Security via Function Secret Sharing
Formalisation of the KZG Polynomial Commitment Schemes in EasyCrypt
Integrated Analysis of Safety and Security Hazards in Automotive Systems
Multi-run Security
A Formal Security Analysis of Session Resumption Across Hostnames
Attack of the Clones: Detecting Cloned Applications on Android Markets
A Practical TFHE-Based Multi-Key Homomorphic Encryption with Linear Complexity and Low Noise Growth
Premining in the Shadows: How Hidden Blocks Weaken the Security of Proof-of-Work Chains
Computer Security - ESORICS 2014 - 19th European Symposium on Research in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings, Part I
Scalable Two-Factor Authentication Using Historical Data
Arithmetic Circuit Implementations of S-boxes for SKINNY and PHOTON in MPC
E-Ticketing Scheme for Mobile Devices with Exculpability
IFuzzer: An Evolutionary Interpreter Fuzzer Using Genetic Programming
A Study on Subject Data Access in Online Advertising After the GDPR
Redundancy and Diversity in Security
Identifying Privilege Separation Vulnerabilities in IoT Firmware with Symbolic Execution
SILK-TV: Secret Information Leakage from Keystroke Timing Videos
Inductive Proofs of Computational Secrecy
OntoCyrene: Towards Ontology-Enhanced Asset Modelling for Supply Chains in the Context of Cyber Security
Threshold Fully Homomorphic Encryption Over the Torus
A Formal Security Analysis of the p=uiv p Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email
Reclaiming the Blogosphere, TalkBack: A Secure LinkBack Protocol for Weblogs
Aggregation in Relational Databases: Controlled Disclosure of Sensitive Information
Computer Security - ESORICS 2025 - 30th European Symposium on Research in Computer Security, Toulouse, France, September 22-24, 2025, Proceedings, Part II
No-Directional and Backward-Leak Uni-Directional Updatable Encryption Are Equivalent
Selective Forwarding Attack on IoT Home Security Kits
Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) vs. QUIC
Forcing Johnny to Login Safely - Long-Term User Study of Forcing and Training Login Mechanisms
Enhancing the Controlled Disclosure of Sensitive Information
Should Cyber-Insurance Providers Invest in Software Security?
A Distributed Implementation of the Certified Information Access Service
Coordinated Network Attacks on Microgrid Dispatch Function: An EPIC Case Study
Enforcing Input Correctness via Certification in Garbled Circuit Evaluation
GDPR Compliance: Proposed Technical and Organizational Measures for Cloud Providers
On-Demand Time Blurring to Support Side-Channel Defense
Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data
Quantitative Analysis of Network Security with Abstract Argumentation
Verifiable Fairness: Privacy-preserving Computation of Fairness for Machine Learning Systems
DETONAR-Light: An IoT Network Intrusion Detection Using DETONAR without a Sniffer Network
Constant-Round Client-Aided Secure Comparison Protocol
Quantifying Probabilistic Information Flow in Computational Reactive Systems
Timely Identification of Victim Addresses in DeFi Attacks
Utility-Preserving Biometric Information Anonymization
A Multilevel Security Model for Distributed Object Systems
An Efficient and Secure Coding-Based Authenticated Encryption Scheme
Towards Security Transparency of Autonomous Systems on the Internet
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case
Signatures with Tight Multi-user Security from Search Assumptions
Big Enough to Care Not Enough to Scare! Crawling to Attack Recommender Systems
Computer Security - ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part I
Using Static Code Analysis for GDPR Compliance Checks
Computer Security - ESORICS 2024 - 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part IV
FHE-Compatible Batch Normalization for Privacy Preserving Deep Learning
Requirements and Protocols for Inference-Proof Interactions in Information Systems
SAEG: Stateful Automatic Exploit Generation
Automated and Secure Integration of the OpenID Connect iGov Profile in Mobile Native Applications
SocialImpact: Systematic Analysis of Underground Social Dynamics
Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores
Reinforcement Learning Approach to Generate Zero-Dynamics Attacks on Control Systems Without State Space Models
An Authorization Framework for Cooperative Intelligent Transport Systems
AcouListener: An Inaudible Acoustic Side-Channel Attack on AR/VR Systems
EncDNS: A Lightweight Privacy-Preserving Name Resolution Service
An Efficient and Unified Approach to Correlating, Hypothesizing, and Predicting Intrusion Alerts
Evaluating the Security Posture of 5G Networks by Combining State Auditing and Event Monitoring
Data-Confined HTML5 Applications
Bayesian Learned Models Can Detect Adversarial Malware for Free
An Architecture for a Trusted Network
GAME: Generative-Based Adaptive Model Extraction Attack
Common Component in Black-Boxes Is Prone to Attacks
A General Mechanism for Access Control: Its Relationship to Secure System Concepts
Privacy-Preserving Trajectory Data Publication Via Differentially-Private Representation Learning
Network Intrusion Detection by Variational Component-Based Feature Saliency Gaussian Mixture Clustering
Automating Privacy Enforcement in Cloud Platforms
The DCR Delusion: Measuring the Privacy Risk of Synthetic Data
Generic Construction of Trace-and-Revoke Inner Product Functional Encryption
Corruption-Localizing Hashing
Trust Establishment in Cooperating Cyber-Physical Systems
Locality Sensitive Hashing with Extended Differential Privacy
Computer Security - ESORICS 2024 - 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part II
The Adversarial AI-Art: Understanding, Generation, Detection, and Benchmarking
Privacy-Preserving Accountable Computation
ReFormat: Automatic Reverse Engineering of Encrypted Messages
Generalized Key Delegation for Hierarchical Identity-Based Encryption
Emulation-Instrumented Fuzz Testing of 4G/LTE Android Mobile Devices Guided by Reinforcement Learning
Sybil-Resistant DHT Routing
Modelling Time for Authenticated Key Exchange Protocols
Compositional Refinement of Policies in UML - Exemplified for Access Control
Privacy Challenges in RFID
SHARP: Private Proximity Test and Secure Handshake with Cheat-Proof Location Tags
Searchable Encrypted Relational Databases: Risks and Countermeasures
Discretionary Capability Confinement
Default Privacy Setting Prediction by Grouping User's Attributes and Settings Preferences
Adversarial Command Detection Using Parallel Speech Recognition Systems
DHWM: A Scheme for Managing Watermarking Keys in the Aquarelle Multimedia Distributed System
Dissemination of Authenticated Tree-Structured Data with Privacy Protection and Fine-Grained Control in Outsourced Databases
Computer Security - ESORICS 2022 - 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26-30, 2022, Proceedings, Part I
Learning Type Inference for Enhanced Dataflow Analysis
PointAPA: Towards Availability Poisoning Attacks in 3D Point Clouds
PriSM: A Privacy-Friendly Support Vector Machine
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution
ZeekFlow: Deep Learning-Based Network Intrusion Detection a Multimodal Approach
Refactoring Preserves Security
Dynamic k-Anonymity for Electronic Health Records: A Topological Framework
Robust and Secure Password and Key Change Method
A Formal Approach to Analyzing Cyber-Forensics Evidence
Unified Index for Mobile Object Data and Authorizations
Hardening HSM Clusters: Resolving Key Sync Vulnerabilities for Robust CU Isolation
A Framework for the Validation of Access Control Systems
Attack to Defend: Gamifying the MITRE ATT&CK for Cyber Security Training Using the COFELET Framework
Specification and Validation of Authorisation Constraints Using UML and OCL
Aion: Secure Transaction Ordering Using TEEs
Why Is Online Voting Still Largely a Black Box?
Measuring and Detecting Malware Downloads in Live Network Traffic
Synthesizing Privacy-Preserving Location Traces Including Co-locations
Follow the Blue Bird: A Study on Threat Data Published on Twitter
Understanding Common Automotive Security Issues and Their Implications
Avoiding Deadlocks in Payment Channel Networks
Security Notions for Disk Encryption
Achilles' Heels: Vulnerable Record Identification in Synthetic Data Publishing
The UNESCO Chair in Data Privacy Research in Vehicular Networks
Fine-Grained, Privacy-Augmenting LI-Compliance in the LAKE Standard
BinEye: Towards Efficient Binary Authorship Characterization Using Deep Learning
Identity-Based Authenticated Encryption with Identity Confidentiality
ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis
A Privacy Preservation Model for Facebook-Style Social Network Systems
Server-Aided Revocable Attribute-Based Encryption Revised: Multi-User Setting and Fully Secure
Third-Party Private DFA Evaluation on Encrypted Files in the Cloud
Automating Data Independence
Comparison of Ethereum Smart Contract Analysis and Verification Methods
On the Security of Digital Tachographs
Multi-round Secure-Light Broadcast Exclusion Protocol with Pre-processing
New Insight to Preserve Online Survey Accuracy and Privacy in Big Data Era
Usage of Cybersecurity Standards in Operational Technology Systems
Feasibility Study for Supporting Static Malware Analysis Using LLM
Bonded Mining: Difficulty Adjustment by Miner Commitment
Evolving Security Requirements in Multi-layered Service-Oriented-Architectures
Deployment Challenges of Industrial Intrusion Detection Systems
Computer Security - ESORICS 2025 - 30th European Symposium on Research in Computer Security, Toulouse, France, September 22-24, 2025, Proceedings, Part IV
Machine Learning for SAST: A Lightweight and Adaptable Approach
Secure Cloud Auditing with Efficient Ownership Transfer
Secure Internet Exams Despite Coercion
From Click to Sink: Utilizing AIS for Command and Control in Maritime Cyber Attacks
Security of Industrial Control Systems and Cyber-Physical Systems - Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers
Long-Short History of Gradients Is All You Need: Detecting Malicious and Unreliable Clients in Federated Learning
Computer Security - ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6-7, 2018, Revised Selected Papers
Leveraging Hierarchies: HMCAT for Efficiently Mapping CTI to Attack Techniques
Towards Minimising Timestamp Usage In Application Software - A Case Study of the Mattermost Application
Dynamic Information Flow Control Architecture for Web Applications
Improving SIEM for Critical SCADA Water Infrastructures Using Machine Learning
Analysing Simulated Phishing Campaigns for Staff
Route Discovery in Private Payment Channel Networks
Symmetric Authentication within a Simulatable Cryptographic Library
Lightweight and Flexible Trust Assessment Modules for the Internet of Things
Verifiable Document Redacting
Eureka: A Framework for Enabling Static Malware Analysis
Single-Server Batch Delegation of Variable-Input Pairings with Unbounded Client Lifetime
Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I
Tamarin-Based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks
Symbolic Probabilistic Analysis of Off-Line Guessing
Lighter is Better: A Lighter Multi-client Verifiable Outsourced Computation with Hybrid Homomorphic Encryption
Zero-History Confidential Chains with Zero-Knowledge Contracts: A New Normal for Decentralized Ledgers?
Towards Multiple Pattern Type Privacy Protection in Complex Event Processing Through Event Obfuscation Strategies
Detangling Resource Management Functions from the TCB in Privacy-Preserving Virtualization
Deriving, Attacking and Defending the GDOI Protocol
A Light-Weight Solution to Preservation of Access Pattern Privacy in Un-trusted Clouds
Quantitative Information Flow, with a View
Self-reproducing Coins as Universal Turing Machine
Best Security Measures to Reduce Cyber-Incident and Data Breach Risks
Reflective Attenuation of Cyber-Physical Attacks
Modeling and Analyzing Security in the Presence of Compromising Adversaries
Freshness Assurance of Authentication Protocols
The CURUPIRA-2 Block Cipher for Constrained Platforms: Specification and Benchmarking
From Fingerprint to Footprint: Characterizing the Dependencies in Encrypted DNS Infrastructures
MPEG PTY-Marks: Cheap Detection of Embedded Copyright Data in DVD-Video
Supporting the Human in Cyber Defence
Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part II
Automatically Calculating Quantitative Integrity Measures for Imperative Programs
BootRIST: Detecting and Isolating Mercurial Cores at the Booting Stage
Balancing Privacy and Utility in Multivariate Time-Series Classification
CastSan: Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM
Testing for Integrity Flaws in Web Sessions
An Improved Reference Flow Control Model for Policy-Based Intrusion Detection
Formal Analysis of Privacy for Vehicular Mix-Zones
Efficient Transparent Polynomial Commitments for zk-SNARKs
Optimal Machine-Learning Attacks on Hybrid PUFs
A Better Composition Operator for Quantitative Information Flow Analyses
Speaker Recognition in Encrypted Voice Streams
Redundancy as a Measure of Fault-Tolerance for the Internet of Things: A Review
Liability and Computer Security: Nine Principles
Mind-Reading: Privacy Attacks Exploiting Cross-App KeyEvent Injections
Acumen: Analysing the Impact of Organisational Change on Users' Access Entitlements
MLS Group Messaging: How Zero-Knowledge Can Secure Updates
A Framework of Deployment Strategy for Hierarchical WSN Security Management
On the Implications of Zipf's Law in Passwords
SAM: A Security Abstraction Model for Automotive Software Systems
Trust No One Else: Detecting MITM Attacks against SSL/TLS without Third-Parties
Trust Anchors in Software Defined Networks
Network Securing against Threatening Requests
We Are Family: Relating Information-Flow Trackers
All Your Voices are Belong to Us: Stealing Voices to Fool Humans and Machines
Privacy-Preserving Publish/Subscribe: Efficient Protocols in a Distributed Model
Abstractions Preserving Parameter Confidentiality
Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card
Configuration Behavior of Restrictive Default Privacy Settings on Social Network Sites - Analyzing the Combined Effect of Default Settings and Interface Style
Dynamic and Secure Memory Transformation in Userspace
A General Framework for Database Security
On the (In)Security of Manufacturer-Provided Remote Attestation Frameworks in Android
Building a Privacy Testbed: Use Cases and Design Considerations
Characterizing Prediction Model Responses to Attack Inputs: A Study with Time-Series Power Consumption Data
Estimating Asset Sensitivity by Profiling Users
On the Privacy of Private Browsing - A Forensic Approach
Towards a Systematic and Automatic Use of State Machine Inference to Uncover Security Flaws and Fingerprint TLS Stacks
ICITPM: Integrity Validation of Software in Iterative Continuous Integration Through the Use of Trusted Platform Module (TPM)
Patronum: In-network Volumetric DDoS Detection and Mitigation with Programmable Switches
Anonymous Sidechains
Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols
Bridging Model-Based and Language-Based Security
Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study
ASICS: Authenticated Key Exchange Security Incorporating Certification Systems
DTLS-HIMMO: Achieving DTLS Certificate Security with Symmetric Key Overhead
A Hardware Based Solution for Freshness of Secure Onboard Communication in Vehicles
Anonymous and Transferable Electronic Ticketing Scheme
Towards an Image Encryption Scheme with Content-Based Image Retrieval Properties
NoCry: No More Secure Encryption Keys for Cryptographic Ransomware
Protocol Dialects as Formal Patterns