yusuke1997/dblp-id-title huggingface dataset:
Sequential Half-Aggregation of Lattice-Based Signatures
Puncturable Signature: A Generic Construction and Instantiations
SlopPy: Slope One with Privacy
Automated Certification of Authorisation Policy Resistance
Reflexive Memory Authenticator: A Proposal for Effortless Renewable Biometrics
The Effects of the Russo-Ukrainian War on Network Infrastructures Through the Lens of BGP
Practical Strategy-Resistant Privacy-Preserving Elections
Towards a Temporal Response Taxonomy
STRIDE to a Secure Smart Grid in a Hybrid Cloud
LNBot: A Covert Hybrid Botnet on Bitcoin Lightning Network for Fun and Profit
Secret-Sharing Hardware Improves the Privacy of Network Monitoring
μ Sec: A Security Protocol for Unicast Communication in Wireless Sensor Networks
Server-Supported RSA Signatures for Mobile Devices
Distributed Privacy-Preserving Methods for Statistical Disclosure Control
Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity
Shaping Digital Identities in Social Networks: Data Elements and the Role of Privacy Concerns
Security for Mobile Agents: Authentication and State Appraisal
Computer Security - ESORICS 94, Third European Symposium on Research in Computer Security, Brighton, UK, November 7-9, 1994, Proceedings
AppBastion: Protection from Untrusted Apps and OSes on ARM
SePCAR: A Secure and Privacy-Enhancing Protocol for Car Access Provision
Towards a Security Impact Analysis Framework: A Risk-Based and MITRE Attack Approach
You've Got Nothing on Me! Privacy Friendly Face Recognition Reloaded
GDPR Compliance: Proposed Guidelines for Cloud-Based Health Organizations
Task-Specific Knowledge Distillation with Differential Privacy in LLMs
Medical Image Integrity Control Combining Digital Signature and Lossless Watermarking
Configuration Assessment as a Service
Secure IDS Offloading with Nested Virtualization and Deep VM Introspection
Double-Authentication-Preventing Signatures
A Formalization of Anonymity and Onion Routing
Privug: Using Probabilistic Programming for Quantifying Leakage in Privacy Risk Analysis
ResolFuzz: Differential Fuzzing of DNS Resolvers
Towards an Object Oriented Development Environment for Secure Applications
WiFiHop - Mitigating the Evil Twin Attack through Multi-hop Detection
Privacy-Preserving Electronic Toll System with Dynamic Pricing for Low Emission Zones
Modeling and Evaluating the Survivability of an Intrusion Tolerant Database System
Incorporating Temporal Capabilities in Existing Key Management Schemes
Short Paper: Machine Learning-Based Secure Malware Detection Using Features from Binary Executable Headers
Development of Trust Infrastructures for Virtual Asset Service Providers
Challenging Differential Privacy: The Case of Non-interactive Mechanisms
Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation
Let the Noise Speak: Harnessing Noise for a Unified Defense Against Adversarial and Backdoor Attacks
A Quantitative Analysis of Indistinguishability for a Continuous Domain Biometric Cryptosystem
Key Derivation Algorithms for Monotone Access Structures in Cryptographic File Systems
Deriving Secrecy in Key Establishment Protocols
A Formal Model for Checking Cryptographic API Usage in JavaScript
Citizens as Data Donors: Maximizing Participation Through Privacy Assurance and Behavioral Change - (Short Paper)
Environment-Reactive Malware Behavior: Detection and Categorization
CRATOR a CRAwler for TOR: Turning Dark Web Pages into Open Source INTelligence
Digital Twins in Healthcare: Security, Privacy, Trust and Safety Challenges
Techniques and Systems for Anomaly Detection in Database Systems
The Polymorphism Maze: Understanding Diversities and Similarities in Malware Families
Verification and Modelling of Authentication Protocols
IoTPrivComp: A Measurement Study of Privacy Compliance in IoT Apps
MiniLedger: Compact-Sized Anonymous and Auditable Distributed Payments
SecureT2I: No More Unauthorized Manipulation on AI Generated Images from Prompts
NICraft: Malicious NIC Firmware-Based Cache Side-Channel Attack
What, Indeed, Is Intransitive Noninterference?
Smart Contracts for Incentivized Outsourcing of Computation
Can Industrial Intrusion Detection Be SIMPLE?
A Post-quantum Distributed OPRF from the Legendre PRF
Towards a Theory of Accountability and Audit
Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings
Securing Cyber-Physical Spaces with Hybrid Analytics: Vision and Reference Architecture
Rethinking the Limits of Mobile Operating System Permissions
My Fuzzer Beats Them All! Developing a Framework for Fair Evaluation and Comparison of Fuzzers
Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems
Dealing with Multi-policy Security in Large Open Distributed Systems
On the Key Schedule Strength of PRESENT
A Fully Compliant Research Implementation of the P3P Standard for Privacy Protection: Experiences and Recommendations
Emerging Technologies for Authorization and Authentication - Third International Workshop, ETAA 2020, Guildford, UK, September 18, 2020, Proceedings
BloomFuzz: Unveiling Bluetooth L2CAP Vulnerabilities via State Cluster Fuzzing with Target-Oriented State Machines
Efficient Proof Composition for Verifiable Computation
Phishing Attacks Modifications and Evolutions
A Performance and Resource Consumption Assessment of Secret Sharing Based Secure Multiparty Computation
Faster Post-quantum TLS 1.3 Based on ML-KEM: Implementation and Assessment
Privacy, Discovery, and Authentication for the Internet of Things
Connect and Protect: Requirements for Maritime Autonomous Surface Ship in Urban Passenger Transportation
Beacon Based Authentication
Practical Bayesian Poisoning Attacks on Challenge-Based Collaborative Intrusion Detection Networks
Combinatorial Design of Key Distribution Mechanisms for Wireless Sensor Networks
A Plug-and-Play Long-Range Defense System for Proof-of-Stake Blockchains
Extensible Virtual Call Integrity
WirelessHART NetSIM: A WirelessHART SCADA-Based Wireless Sensor Networks Simulator
Indirect Meltdown: Building Novel Side-Channel Attacks from Transient-Execution Attacks
Succinct Scriptable NIZK via Trusted Hardware
Epistemic Verification of Cryptographic Protocols
Predicting Code Vulnerability Types via Heterogeneous GNN Learning
Towards the Insurance of Healthcare Systems
Timely Authentication in Distributed Systems
A General Algorithm for k-anonymity on Dynamic Databases
Cardinality-Based Inference Control in Sum-Only Data Cubes
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment
Geo-DRS: Geometric Dynamic Range Search on Spatial Data with Backward and Content Privacy
Adversarial Examples for Malware Detection
Bit-Slice Auction Circuit
Web Browser History Detection as a Real-World Privacy Threat
Analyzing Continuous K s -Anonymization for Smart Meter Data
A Spatial Cloaking Framework Based on Range Search for Nearest Neighbor Search
A User-Oriented Anonymization Mechanism for Public Data
Privacy-Preserving Loyalty Programs
Sleepy Network-Layer Authentication Service for IPSEC
A k-Anonymised Federated Learning Framework with Decision Trees
Extending Atomic Cross-Chain Swaps
A Quantitative Evaluation of Privilege Separation in Web Browser Designs
Incentives for Harvesting Attack in Proof of Work Mining Pools
Dynamic Searchable Symmetric Encryption Schemes Supporting Range Queries with Forward (and Backward) Security
Distributed PCFG Password Cracking
On Transaction Processing for Multilevel Secure Replicated Databases
A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System
Authentication and Access Control in a Distributed System
An Algebra for Composing Enterprise Privacy Policies
A Formal Semantics for SPKI
Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2
FAANST: Fast Anonymizing Algorithm for Numerical Streaming DaTa
More Practical and Secure History-Independent Hash Tables
Privacy-Preserving Gradient Descent for Distributed Genome-Wide Analysis
Security Kernel Design and Implementation in the IBM PC Environment
Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal
Tightly Secure Ring-LWE Based Key Encapsulation with Short Ciphertexts
CSH: A Post-quantum Secret Handshake Scheme from Coding Theory
Puncturable Proxy Re-Encryption Supporting to Group Messaging Service
Generic Constructions for Fully Secure Revocable Attribute-Based Encryption
Hamming Weight Attacks on Cryptographic Hardware - Breaking Masking Defense
Untraceable Tags Based on Mild Assumptions
Distributed File System over a Multilevel Secure Architecture - Problems and Solutions
MITRE-Based APT Attack Generation and Prediction
Moving the Bar on Computationally Sound Exclusive-Or
SEPD: An Access Control Model for Resource Sharing in an IoT Environment
Continuous Authentication in Secure Messaging
Enhancing Privacy in Federated Learning with Local Differential Privacy for Email Classification
Differential Privacy in Tripartite Interaction: A Case Study with Linguistic Minorities in Canada
Botnet Tracking: Exploring a Root-Cause Methodology to Prevent Distributed Denial-of-Service Attacks
SDN-Enabled Virtual Data Diode
Commitments with Efficient Zero-Knowledge Arguments from Subset Sum Problems
Identifying Implicit Vulnerabilities Through Personas as Goal Models
A Practical Model for Collaborative Databases: Securely Mixing, Searching and Computing
Caught in the Maze of Security Standards
Security Constraint Processing in Multilevel Secure AMAC Schemata
Security Requirements for Store-on-Client and Verify-on-Server Secure Biometric Authentication
Private Verification of Access on Medical Data: An Initial Study
A Hardware Design Model for Cryptographic Algorithms
Polynomial Representation Is Tricky: Maliciously Secure Private Set Intersection Revisited
Coverage-Guided Fuzzing of Embedded Systems Leveraging Hardware Tracing
Systematic Assessment of Cache Timing Vulnerabilities on RISC-V Processors
Fully Secure Multi-authority Ciphertext-Policy Attribute-Based Encryption without Random Oracles
Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification
Decomposition of Multilevel Objects in an Object-Oriented Database
Computer Security - ESORICS 2014 - 19th European Symposium on Research in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings, Part II
Beyond Volume Pattern: Storage-Efficient Boolean Searchable Symmetric Encryption with Suppressed Leakage
Election Verifiability in Electronic Voting Protocols
Exploring Anomaly Detection for Marine Radar Systems
Practical Mutation Testing for Smart Contracts
Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web
A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols
Threshold Single Password Authentication
Practical Robust Dynamic Searchable Symmetric Encryption Supporting Conjunctive Queries
A Practical Complexity-Theoretic Analysis of Mix Systems
RatFish: A File Sharing Protocol Provably Secure against Rational Users
Using Economic Risk to Model Miner Hash Rate Allocation in Cryptocurrencies
Misuse Detection in a Simulated IaaS Environment
Secure and Scalable RFID Authentication Protocol
Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part IV
Severity Level Assessment from Semantically Fused Video Content Analysis for Physical Threat Detection in Ground Segments of Space Systems
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling
Enhancing Java Runtime Environment for Smart Cards Against Runtime Attacks
Balloon: A Forward-Secure Append-Only Persistent Authenticated Data Structure
Secure Key-Updating for Lazy Revocation
PrivacyGuard: Enforcing Private Data Usage Control with Blockchain and Attested Off-Chain Contract Execution
The VOCODES Kill Chain for Voice Controllable Devices
Portable and Flexible Document Access Control Mechanisms
PrivacyGuard: Enforcing Private Data Usage with Blockchain and Attested Execution
Detecting Malicious Domains via Graph Inference
Integrating Privacy-By-Design with Business Process Redesign
On the Expressive Power of the Unary Transformation Model
Secure Frequent Pattern Mining by Fully Homomorphic Encryption with Ciphertext Packing
Dissuading Stolen Password Reuse
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
Proactive Cyber Security Strategies for Securing Critical National Infrastructure
DroidMiner: Automated Mining and Characterization of Fine-grained Malicious Behaviors in Android Applications
Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings
Breaking the Traditional Computer Security Barriers
Computer Security - ESORICS 2025 - 30th European Symposium on Research in Computer Security, Toulouse, France, September 22-24, 2025, Proceedings, Part I
Anamorphic Monero Transactions: The Threat of Bypassing Anti-money Laundering Laws
Detecting Phishing Emails the Natural Language Way
Simulating User Activity for Assessing Effect of Sampling on DB Activity Monitoring Anomaly Detection
Explanation of Black Box AI for GDPR Related Privacy Using Isabelle
Data Privacy Management and Security Assurance - 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
DPC: Filtering Out Patch-Based Poisoned Samples with Differential Privacy
An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems
Computer Security - ESORICS 2002, 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings
Link-Layer Device Type Classification on Encrypted Wireless Traffic with COTS Radios
Isolating JavaScript with Filters, Rewriting, and Wrappers
No Sugar but All the Taste! Memory Encryption Without Architectural Support
Analyzing HTTP User Agent Anomalies for Malware Detection
Resilience to Chain-Quality Attacks in Fair Separability
Identity-Based Encryption with Master Key-Dependent Message Security and Leakage-Resilience
Evaluating Adversarial Partitions
Framework Proposal to Measure the Stress as Adversarial Factor on Cyber Decision Making
Computer Security - ESORICS 96, 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996, Proceedings
Information Control by Policy-Based Relational Weakening Templates
A Tale of Four Gates - Privilege Escalation and Permission Bypasses on Android Through App Components
Privacy Preserving Computation in Cloud Using Noise-Free Fully Homomorphic Encryption (FHE) Schemes
Anonymous Traceback for End-to-End Encryption
The "Ticket" Concept for Copy Control Based on Embedded Signalling
Pixels Who Violate Our Privacy! Deep Learning for Identifying Images' Key Pixels
Extended Abstract: Towards Physical-Layer Authentication for Backscatter Devices
Attacking Logo-Based Phishing Website Detectors with Adversarial Perturbations
Development of a Secure Electronic Marketplace for Europe
A Kernelized Architecture for Multilevel Secure Application Policies
Signature and Access Control Policies for XML Documents
DriverGuard: A Fine-Grained Protection on I/O Flows
Malware Classification Using Open Set Recognition and HTTP Protocol Requests
Updaticator: Updating Billions of Devices by an Efficient, Scalable and Secure Software Update Distribution over Untrusted Cache-enabled Networks
A Practical Man-In-The-Middle Attack on Signal-Based Key Generation Protocols
Local Obfuscation Mechanisms for Hiding Probability Distributions
Deciding Security for a Fragment of ASLan
Surveillance, Privacy and the Law of Requisite Variety
Computer Security - ESORICS 2024 - 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part I
Synthetic Is All You Need: Removing the Auxiliary Data Assumption for Membership Inference Attacks Against Synthetic Data
Deterministic Wallets for Adaptor Signatures
Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I
Efficient Multi-dimensional Key Management in Broadcast Services
How Not to Use a Privacy-Preserving Computation Platform: Case Study of a Voting Application
ID-Based Two-Server Password-Authenticated Key Exchange
Plug-and-Play IP Security - Anonymity Infrastructure instead of PKI
On Reductions from Multi-Domain Noninterference to the Two-Level Case
Lightweight Delegatable Proofs of Storage
Privacy-Preserving Deterministic Automata Evaluation with Encrypted Data Blocks
When Are Three Voters Enough for Privacy Properties?
Universally Composable Key-Management
Creative Toolkits for TIPS
FLMJR: Improving Robustness of Federated Learning via Model Stability
Lightweight Opportunistic Tunneling (LOT)
CAN-SQUARE - Decimeter Level Localization of Electronic Control Units on CAN Buses
Computer Security. ESORICS 2022 International Workshops - CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers
Website Fingerprinting and Identification Using Ordered Feature Sequences
Skade - A Challenge Management System for Cyber Threat Hunting
BMI: Bounded Mutual Information for Efficient Privacy-Preserving Feature Selection
High-Level Simulation for Multiple Fault Injection Evaluation
Interp-flow Hijacking: Launching Non-control Data Attack via Hijacking eBPF Interpretation Flow
Valuable Puzzles for Proofs-of-Work
Exploring the Characteristics and Security Risks of Emerging Emoji Domain Names
Human Readable Paper Verification of Prêt à Voter
DScope: To Reliably and Securely Acquire Live Data from Kernel-Compromised ARM Devices
Policy-Driven Memory Protection for Reconfigurable Hardware
Click Fraud Detection on the Advertiser Side
Efficient Circuits for Permuting and Mapping Packed Values Across Leveled Homomorphic Ciphertexts
Confidentiality-Preserving Refinement is Compositional - Sometimes
Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II
Optimistic Fair Exchange with Multiple Arbiters
Atomic Information Disclosure of Off-Chained Computations Using Threshold Encryption
Post-hoc User Traceability Analysis in Electronic Toll Pricing Systems
Automated Information Flow Analysis of Virtualized Infrastructures
Security Property Based Administrative Controls
Achieving Life-Cycle Compliance of Service-Oriented Architectures: Open Issues and Challenges
Systematic Scenario Creation for Serious Security-Awareness Games
On the Fly Design and Co-simulation of Responses Against Simultaneous Attacks
Smart RPKI Validation: Avoiding Errors and Preventing Hijacks
Anonymity and Historical-Anonymity in Location-Based Services
MixCT: Mixing Confidential Transactions from Homomorphic Commitment
Netfuzzlib: Adding First-Class Fuzzing Support to Network Protocol Implementations
Towards Post-Quantum Security for Cyber-Physical Systems: Integrating PQC into Industrial M2M Communication
GPS-Based Behavioral Authentication Utilizing Distance Coherence
A Logic for State-Modifying Authorization Policies
Zero Knowledge Contingent Payments for Trained Neural Networks
Authorization and Access Control in Adaptive Workflows
Fairness-Aware Privacy-Preserving Record Linkage
FuncVul: An Effective Function Level Vulnerability Detection Model Using LLM and Code Chunk
WebPol: Fine-Grained Information Flow Policies for Web Browsers
PINFER: Privacy-Preserving Inference - Logistic Regression, Support Vector Machines, and More, over Encrypted Data
Enabling Short Fragments for Uncoordinated Spread Spectrum Communication
Enhanced Security Architecture for Music Distribution on Mobile
AddShare: A Privacy-Preserving Approach for Federated Learning
Deploying Fog-to-Cloud Towards a Security Architecture for Critical Infrastructure Scenarios
P sfIVA: Privacy-Preserving Identity Verification Methods for Accountless Users via Private List Intersection and Variants
Detection of Injection Attacks in Compressed CAN Traffic Logs
SAEOn: An Ontological Metamodel for Quantitative Security Assurance Evaluation
New Algorithms for Secure Outsourcing of Modular Exponentiations
An Efficient Query Recovery Attack Against a Graph Encryption Scheme
Annotary: A Concolic Execution System for Developing Secure Smart Contracts
Efficient Linkable Ring Signatures: New Framework and Post-quantum Instantiations
A Rowhammer Reproduction Study Using the Blacksmith Fuzzer
Polisma - A Framework for Learning Attribute-Based Access Control Policies
Tracking the Invisible: Privacy-Preserving Contact Tracing to Control the Spread of a Virus
Generic Superlight Client for Permissionless Blockchains
Device-Enhanced Secure Cloud Storage with Keyword Searchable Encryption and Deduplication
A New Framework for RFID Privacy
Towards AI-Based Identification of Publicly Known Vulnerabilities
Reusing Nonces in Schnorr Signatures - (and Keeping It Secure...)
PRIAM: A Privacy Risk Analysis Methodology
Peeler: Profiling Kernel-Level Events to Detect Ransomware
Dynamic Enforcement of Abstract Separation of Duty Constraints
Zerojoin: Combining Zerocoin and CoinJoin
NetSpectre: Read Arbitrary Memory over Network
Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings
Cache-Side-Channel Quantification and Mitigation for Quantum Cryptography
CRBP-OpType: A Constrained Approximate Search Algorithm for Detecting Similar Attack Patterns
Utility Promises of Self-Organising Maps in Privacy Preserving Data Mining
A Proposed Privacy Impact Assessment Method Using Metrics Based on Organizational Characteristics
Trigger-Based Fragile Model Watermarking for Image Transformation Networks
In Code We Trust? - Measuring the Control Flow Immutability of All Smart Contracts Deployed on Ethereum
TEE-Based Distributed Watchtowers for Fraud Protection in the Lightning Network
Bringing Access Control Tree to Big Data
fASLR: Function-Based ASLR for Resource-Constrained IoT Systems
Efficient Handling of Adversary Attacks in Aggregation Applications
Secure Proximity Detection for NFC Devices Based on Ambient Sensor Data
Semantic Definition of Anonymity in Identity-Based Encryption and Its Relation to Indistinguishability-Based Definition
Enforcing Input Validation through Aspect Oriented Programming
Privacy-Preserving Biometric Authentication and Matching via Lattice-Based Encryption
Zero-Knowledge Password Policy Checks and Verifier-Based PAKE
Obligation Language and Framework to Enable Privacy-Aware SOA
Caught in the Web: DoS Vulnerabilities in Parsers for Structured Data
Online Payment Network Design
DualDory: Logarithmic-Verifier Linkable Ring Signatures Through Preprocessing
Analysis of Social Engineering Threats with Attack Graphs
Half-Aggregation of Schnorr Signatures with Tight Reductions
SeInspect: Defending Model Stealing via Heterogeneous Semantic Inspection
Introducing Usage Control in MQTT
PIAnalyzer: A Precise Approach for PendingIntent Vulnerability Analysis
Understanding the Security Risks of Docker Hub
Forward-Secure Puncturable Identity-Based Encryption for Securing Cloud Emails
Can Inputs' Reconstruction Information Be Coded into Machine Learning Model's Outputs?
Next Generation Data Masking Engine
Automated Side-Channel Analysis of ARM TrustZone-M Programs
Blockchain Driven Platform for Energy Distribution in a Microgrid
Privacy-Preserving Trade Chain Detection
PGC: Decentralized Confidential Payment System with Auditability
A Hybrid Dynamic Risk Analysis Methodology for Cyber-Physical Systems
Soundness of Formal Encryption in the Presence of Key-Cycles
Deciding Epistemic and Strategic Properties of Cryptographic Protocols
Calculating Adversarial Risk from Attack Trees: Control Strength and Probabilistic Attackers
Privacy Preserving Publication of Moving Object Data