yusuke1997/dblp-id-title huggingface dataset:
Proceedings of the International Workshop on Secure Software Engineering in DevOps and Agile Development co-located with the 22nd European Symposium on Research in Computer Security (ESORICS 2017), Oslo, Norway, September 14, 2017
Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code
Extended Proxy-Assisted Approach: Achieving Revocable Fine-Grained Encryption of Cloud Data
LibAFLstar: Fast and State-Aware Protocol Fuzzing
Introducing Distributed Ledger Security into System Specifications with the Isabelle RR-Cycle
Non-Interference Through Determinism
Secure Random Sampling in Differential Privacy
A Fast, Practical and Simple Shortest Path Protocol for Multiparty Computation
Towards Poisoning the Neural Collaborative Filtering-Based Recommender Systems
Oblivious Maximum Bipartite Matching Size Algorithm with Applications to Secure Fingerprint Identification
Optimizing Cyber Defense in Dynamic Active Directories Through Reinforcement Learning
ID-Based Secure Distance Bounding and Localization
Distributed Detection of APTs: Consensus vs. Clustering
KeTS: Kernel-Based Trust Segmentation Against Model Poisoning Attacks
Towards Attack-Resistant Peer-Assisted Indoor Localization
Privacy-Aware Message Exchanges for Geographically Routed Human Movement Networks
Blockchain-Based Two-Factor Authentication for Credit Card Validation
PPDCP-ABE: Privacy-Preserving Decentralized Ciphertext-Policy Attribute-Based Encryption
Collaborative and Privacy-Aware Sensing for Observing Urban Movement Patterns
Assessing Vulnerabilities and IoT-Enabled Attacks on Smart Lighting Systems
Beyond Words: Stylometric Analysis for Detecting AI Manipulation on Social Media
ReminISCence: Trusted Monitoring Against Privileged Preemption Side-Channel Attacks
Simulation-Based Evaluation of DDoS Against Smart Grid SCADAs
Enforcing Memory Safety in Cyber-Physical Systems
The Economics of Cybersecurity: From the Public Good to the Revenge of the Industry
Secure Concurrency Control in MLS Databases with Two Versions of Data
A User-Centric System for Verified Identities on the Bitcoin Blockchain
Computational Soundness for Interactive Primitives
Privacy Management for Global Organizations
The Development and Testing of the Identity-Based Conference Key Distribution System for the RHODOS Distributed System
Towards Efficient Evaluation of a Time-Driven Cache Attack on Modern Processors
μIPS: Software-Based Intrusion Prevention for Bare-Metal Embedded Systems
Computer Security. ESORICS 2023 International Workshops - CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part II
Towards Secure and Efficient Outsourcing of Machine Learning Classification
A Novel High-Performance Implementation of CRYSTALS-Kyber with AI Accelerator
Navigating the Samsung TrustZone and Cache-Attacks on the Keymaster Trustlet
GDPiRated - Stealing Personal Information On- and Offline
Bulwark: Holistic and Verified Security Monitoring of Web Protocols
On Committing Authenticated-Encryption
Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2021 International Workshops, DPM 2021 and CBT 2021, Darmstadt, Germany, October 8, 2021, Revised Selected Papers
An Infection-Identifying and Self-Evolving System for IoT Early Defense from Multi-Step Attacks
An Authorization Model for Federated Systems
Recognition of Remakes and Fake Facial Images
Bijack: Breaking Bitcoin Network with TCP Vulnerabilities
On the (Not So) Surprising Impact of Multi-Path Payments on Performance And Privacy in the Lightning Network
Identity-Based Encryption with Security Against the KGC: A Formal Model and Its Instantiation from Lattices
Policy Support for Autonomous Swarms of Drones
Computer Security - ESORICS 2019 International Workshops, CyberICPS, SECPRE, SPOSE, and ADIoT, Luxembourg City, Luxembourg, September 26-27, 2019 Revised Selected Papers
Post-Quantum Verifiable Random Function from Symmetric Primitives in PoS Blockchain
Computer Security - 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I
Where Are You Bob? Privacy-Preserving Proximity Testing with a Napping Party
Computer Security - ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26-27, 2019, Revised Selected Papers
A Generic Security API for Symmetric Key Management on Cryptographic Devices
Managing Private Credentials by Privacy-Preserving Biometrics
On the Adversarial Robustness of Graph Neural Networks with Graph Reduction
Understanding Challenges to Adoption of the Protection Poker Software Security Game
Policy-Based Autonomic Data Governance [extended papers from the Second International Workshop on Policy-based Autonomic Data Governance, PADG@ESORICS 2018, September 6, 2018, Barcelona, Spain]
Group-Oriented Discretionary Access Controls for Distributed Structurally Object-Oriented Database Systems
Prioritized Execution of Privacy Policies
Arithmetic Garbling from Bilinear Maps
Post-processing Methods for High Quality Privacy-Preserving Record Linkage
Stealthy Deception Attacks Against SCADA Systems
Privacy-Preserving Authenticated Key Exchange: Stronger Privacy and Generic Constructions
Policy-Based Identification of IoT Devices' Vendor and Type by DNS Traffic Analysis
Local Differential Privacy for Federated Learning
A Practical Voter-Verifiable Election Scheme
Authentication via Multi-Service Tickets in the Kuperee Server
Efficient and Secure Sleepy Model for BFT Consensus
Click Passwords Under Investigation
Mobile Application Impersonation Detection Using Dynamic User Interface Extraction
Card-Based Cryptographic Protocols with the Minimum Number of Rounds Using Private Operations
Secure Model Fusion for Distributed Learning Using Partial Homomorphic Encryption
Towards Accountable Management of Privacy and Identity Information
Pragmatic XML Access Control Using Off-the-Shelf RDBMS
Efficient and Scalable Circuit-Based Protocol for Multi-party Private Set Intersection
Comparison-Based Privacy: Nudging Privacy in Social Media (Position Paper)
A Privacy-Protecting Architecture for Collaborative Filtering via Forgery and Suppression of Ratings
Parameterized Authentication
AS5: A Secure Searchable Secret Sharing Scheme for Privacy Preserving Database Outsourcing
For Your Voice Only: Exploiting Side Channels in Voice Messaging for Environment Detection
Privacy-Preserving Processing of Raw Genomic Data
The Beauty or The Beast? Attacking Rate Limits of the Xen Hypervisor
KQguard: Binary-Centric Defense against Kernel Queue Injection Attacks
Cooperative Speed Estimation of an RF Jammer in Wireless Vehicular Networks
Fooling Primality Tests on Smartcards
Towards Practical RAM Based Secure Computation
Two-Message Authenticated Key Exchange from Public-Key Encryption
Proposal of Non-invasive Fingerprint Age Determination to Improve Data Privacy Management in Police Work from a Legal Perspective Using the Example of Germany
Interdependent Privacy Issues Are Pervasive Among Third-Party Applications
Securing Data Analytics on SGX with Randomization
SilentKnock: Practical, Provably Undetectable Authentication
FLGuard: Byzantine-Robust Federated Learning via Ensemble of Contrastive Models
Wherever I May Roam: Stealthy Interception and Injection Attacks Through Roaming Agreements
How Dataset Diversity Affects Generalization in ML-Based NIDS
Practical Threshold Password-Authenticated Secret Sharing Protocol
Proactive Verification of Security Compliance for Clouds Through Pre-computation: Application to OpenStack
An Empirical Study of the Imbalance Issue in Software Vulnerability Detection
Contextual Privacy Management in Extended Role Based Access Control Model
DA3G: Detecting Adversarial Attacks by Analysing Gradients
Hardening Access Control and Data Protection in GFS-like File Systems
An Interoperable Architecture for Usable Password-Less Authentication
No Salvation from Trackers: Privacy Analysis of Religious Websites and Mobile Apps
Searchable Encryption for Biometric Identification Revisited
Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough
Modular Verification of Protocol Equivalence in the Presence of Randomness
Shortfall-Based Optimal Placement of Security Resources for Mobile IoT Scenarios
Curveball+: Exploring Curveball-Like Vulnerabilities of Implicit Certificate Validation
A New Formal Proof Model for RFID Location Privacy
Probabilistic Modelling of Humans in Security Ceremonies
Assuring Privacy of AI-Powered Community Driven Android Code Vulnerability Detection
Contour: A Practical System for Binary Transparency
Factorization of Behavioral Integrity
POR for Security Protocol Equivalences - Beyond Action-Determinism
ProxyKiller: An Anonymous Proxy Traffic Attack Model Based on Traffic Behavior Graphs
LPFHE: Low-Complexity Polynomial CNNs for Secure Inference over FHE
Computer Security - ESORICS 2003, 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003, Proceedings
SnapAuth: A Gesture-Based Unobtrusive Smartwatch User Authentication Scheme
Linear-Complexity Private Function Evaluation is Practical
Threat Modeling in Satellite Communications for Maritime Operations
A User-Centric, Privacy-Preserving, and Verifiable Ecosystem for Personal Data Management and Utilization
A Probabilistic Framework for Localization of Attackers in MANETs
Security Measuring System for IoT Devices
Fingerprinting Far Proximity from Radio Emissions
On the Trade-Off Between Privacy and Utility in Mobile Services: A Qualitative Study
Homomorphic Encryption Based ECDSA Generation Over Five Party Protocol
Sharemind: A Framework for Fast Privacy-Preserving Computations
Modeling Obfuscation Stealth Through Code Complexity
Optimal Verifiable Data Streaming Protocol with Data Auditing
Supporting Concurrency in Private Data Outsourcing
Efficient Password-Based Authenticated Key Exchange Without Public Information
Who Let the DOGS Out: Anonymous but Auditable Communications Using Group Signature Schemes with Distributed Opening
Fixed vs. Variable-Length Patterns for Detecting Suspicious Process Behavior
File-Injection Attacks on Searchable Encryption, Based on Binomial Structures
SoK: A Tale of Reduction, Security, and Correctness - Evaluating Program Debloating Paradigms and Their Compositions
Correcting the Record on Leakage Abuse Attacks: Revisiting the Subgraph Attacks with Sound Evaluation
Understanding Object Detection Through an Adversarial Lens
Teaching Secure Software Development Through an Online Course
Modeling Network Diversity for Evaluating the Robustness of Networks against Zero-Day Attacks
Inter-Packet Delay Based Correlation for Tracing Encrypted Connections through Stepping Stones
CoinShuffle: Practical Decentralized Coin Mixing for Bitcoin
Privacy Preserving Clustering
XSPIR: Efficient Symmetrically Private Information Retrieval from Ring-LWE
X.509 Forensics: Detecting and Localising the SSL/TLS Men-in-the-Middle
Public Key Authenticated Encryption with Keyword Search from LWE
Privilege Graph: an Extension to the Typed Access Matrix Model
Security- and Privacy-Aware IoT Application Placement and User Assignment
Finding a Connection Chain for Tracing Intruders
Automated Security Proofs for Almost-Universal Hash for MAC Verification
Privacy in Data Publishing
Extracting Speech from Motion-Sensitive Sensors
Privacy-Preserving k-Nearest Neighbor Query: Faster and More Secure
Machine Learning Vulnerabilities in 6G: Adversarial Attacks and Their Impact on Channel Gain Prediction and Resource Allocation in UC-CFmMIMO
An Efficient Security-Enhanced Accountable Access Control for Named Data Networking
Denial-of-Service Attacks and Countermeasures in the RPL-Based Internet of Things
Merged Mining: Curse or Cure?
RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems
Feature-Distributed Malware Attack: Risk and Defence
Uncertainty-Aware Authentication Model for IoT
CSP and Anonymity
YaPPL - A Lightweight Privacy Preference Language for Legally Sufficient and Automated Consent Provision in IoT Scenarios
New Privacy Results on Synchronized RFID Authentication Protocols against Tag Tracing
Administration of Machine Learning Based Access Control
End-to-End Non-profiled Side-Channel Analysis on Long Raw Traces
Post-Quantum Adaptor Signatures and Payment Channel Networks
Item-Oriented Personalized LDP for Discrete Distribution Estimation
KryptoKnight Authentication and Key Distribution System
One-Time Traceable Ring Signatures
An Intrusion-Tolerant Security Server for an Open Distributed System
Linear Obfuscation to Combat Symbolic Execution
The ESPRIT Project CAFE - High Security Digital Payment Systems
Quantifying Web Adblocker Privacy
PUSH for Security: A PUF-Based Protocol to Prevent Session Hijacking
Location Privacy in Location-Based Services: Beyond TTP-based Schemes
HoneyChart: Automated Honeypot Management over Kubernetes
HBAC: A Model for History-Based Access Control and Its Model Checking
New Unbounded Verifiable Data Streaming for Batch Query with Almost Optimal Overhead
Content Delivery Networks: Protection or Threat?
How Much Negotiation and Detail Can Users Handle? Experiences with Security Negotiation and the Granularity of Access Control in Communications
Benchmarking Post-quantum Cryptography in Ethereum-Based Blockchains
StealthGuard: Proofs of Retrievability with Hidden Watchdogs
On the Detectability of Weak DoS Attacks in Wireless Sensor Networks
Are On-Line Personae Really Unlinkable?
Predicate-Private Asymmetric Searchable Encryption for Conjunctions from Lattices
Security and Safety Interplay of Intelligent Software Systems - ESORICS 2018 International Workshops, ISSA/CSITS@ESORICS 2018, Barcelona, Spain, September 6-7, 2018, Revised Selected Papers
Differentially Private Smart Metering with Battery Recharging
DOMPurify: Client-Side Protection Against XSS and Markup Injection
Trustworthy Prevention of Code Injection in Linux on Embedded Devices
Effects of Organizational Cyber Security Culture Across the Energy Sector Supply Chain
SCIoT: A Secure and sCalable End-to-End Management Framework for IoT Devices
Protecting Private Web Content from Embedded Scripts
Fully Homomorphic Training and Inference on Binary Decision Tree and Random Forest
AttnCall: Refining Indirect Call Targets in Binaries with Attention
Outbound Authentication for Programmable Secure Coprocessors
AI-Assisted Assurance Profile Creation for System Security Assurance
Protocol Normalization Using Attribute Grammars
Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2020 International Workshops, DPM 2020 and CBT 2020, Guildford, UK, September 17-18, 2020, Revised Selected Papers
An Empirical Analysis of Running a Bitcoin Minimal Wallet on an IoT Device
Practical Covertly Secure MPC for Dishonest Majority - Or: Breaking the SPDZ Limits
Risk-Based Auto-delegation for Probabilistic Availability
Exploring User Reactions to New Browser Cues for Extended Validation Certificates
An On-the-Fly Model-Checker for Security Protocol Analysis
Canary in the Coal Mine: Identifying Cyber Threat Trends Through Topic Mining - Stack Overflow Case Study
Mingling of Clear and Muddy Water: Understanding and Detecting Semantic Confusion in Blackhat SEO
Multi-criteria Optimization Using l-diversity and t-closeness for k-anonymization
SigPath: A Memory Graph Based Approach for Program Data Introspection and Modification
Modeling Privacy Insurance Contracts and Their Utilization in Risk Management for ICT Firms
On the Privacy Risks of Compromised Trigger-Action Platforms
Stateful Protocol Composition
Efficient Zero-Knowledge Proofs for Commitments from Learning with Errors over Rings
Attack Path Analysis for Cyber Physical Systems
Computer Security. ESORICS 2024 International Workshops - SECAI, DisA, CPS4CIP, and SecAssure, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part II
Declassification with Explicit Reference Points
Scheduled Execution-Based Binary Indirect Call Targets Refinement
Two Types of Novel DoS Attacks Against CDNs Based on HTTP/2 Flow Control Mechanism
TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
Zero-Click SnailLoad: From Minimal to No User Interaction
You Shall Not Register! Detecting Privacy Leaks Across Registration Forms
A Traceability Analysis of Monero's Blockchain
On the Automated Correction of Security Protocols Susceptible to a Replay Attack
Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems
Opportunistic Algorithmic Double-Spending: - How I Learned to Stop Worrying and Love the Fork
Inference-Proof Updating of a Weakened View Under the Modification of Input Parameters
Developing GDPR Compliant Apps for the Edge
DR@FT: Efficient Remote Attestation Framework for Dynamic Systems
TGRop: Top Gun of Return-Oriented Programming Automation
Multistage Downstream Attack Detection in a Cyber Physical System
They Might NOT Be Giants Crafting Black-Box Adversarial Examples Using Particle Swarm Optimization
Making Any Identity-Based Encryption Accountable, Efficiently
Harmonised Criteria for the Security Evaluation of IT Systems and Products
Homomorphic Decryption in Blockchains via Compressed Discrete-Log Lookup Tables
Complexity and Performance of Secure Floating-Point Polynomial Evaluation Protocols
We Can Hear Your PIN Drop: An Acoustic Side-Channel Attack on ATM PIN Pads
Mixed-Technique Multi-Party Computations Composed of Two-Party Computations
RedactBuster: Entity Type Recognition from Redacted Documents
Short Paper: Systematic Bug Reproduction with Large Language Model
User Perceptions of Security and Usability of Mobile-Based Single Password Authentication and Two-Factor Authentication
Rebooting IT Security Awareness - How Organisations Can Encourage and Sustain Secure Behaviours
Digital Twin for Adaptive Adversary Emulation in IIoT Control Networks
Towards End-to-End Data Protection in Low-Power Networks
Providing Mobile Users' Anonymity in Hybrid Networks
Election Verifiability or Ballot Privacy: Do We Need to Choose?
Data Privacy Management and Autonomous Spontaneous Security, 4th International Workshop, DPM 2009 and Second International Workshop, SETOP 2009, St. Malo, France, September 24-25, 2009, Revised Selected Papers
The Nonce-nce of Web Security: An Investigation of CSP Nonces Reuse
Extending Groth16 for Disjunctive Statements
IntentObfuscator: A Jailbreaking Method via Confusing LLM with Prompts
ESORICS 90 - First European Symposium on Research in Computer Security, October 24-26, 1990, Toulouse, France
Revealing Abuses of Channel Assignment Protocols in Multi-channel Wireless Networks: An Investigation Logic Approach
Atomic Swaps for Boneh-Lynn-Shacham (BLS) Based Blockchains
Chaussette: A Symbolic Verification of Bitcoin Scripts
Verifiable Computation with Reduced Informational Costs and Computational Costs
ProCSA: Protecting Privacy in Crowdsourced Spectrum Allocation
Data Privacy Management and Autonomous Spontaneous Security - 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers
The Rise of ICS Malware: A Comparative Analysis
A Comparative Study of Rust Smart Contract SDKs for Application-Specific Blockchains
PPOPM: More Efficient Privacy Preserving Outsourced Pattern Matching
Certified Electronic Mail
The Economics of Deception: Structural Patterns of Rug Pull Across DeFi Blockchains
MLFM: Machine Learning Meets Formal Method for Faster Identification of Security Breaches in Network Functions Virtualization (NFV)
Multiprimary Support for the Availability of Cluster-Based Stateful Firewalls Using FT-FW
A Machine Learning Approach for Detecting Third-Party Trackers on the Web
Fingerprinting of Cellular Infrastructure Based on Broadcast Information
Privacy Leakage in Privacy-Preserving Neural Network Inference
[inline-graphic not available: see fulltext] : Towards Secure and Lightweight Deep Learning as a Medical Diagnostic Service
Using Deducibility in Secure Network Modelling
A Lattice-Based Key-Insulated and Privacy-Preserving Signature Scheme with Publicly Derived Public Key
Location Privacy Techniques in Client-Server Architectures
A Cross-Layer Key Establishment Scheme in Wireless Mesh Networks
GAN-GRID: A Novel Generative Attack on Smart Grid Stability Prediction
Browser-Based CPU Fingerprinting
DANTE: A Framework for Mining and Monitoring Darknet Traffic
Balancing XAI with Privacy and Security Considerations
Transferring Update Behavior from Smartphones to Smart Consumer Devices
Enabling Android Application Monitoring by Characterizing Security-Critical Code Fragments
Termination-Insensitive Noninterference Leaks More Than Just a Bit
Trajectory Hiding and Sharing for Supply Chains with Differential Privacy
Trust Assumptions in Voting Systems
Physical Attestation and Authentication to Detect Cheating in Resource Constrained Smart Micro-grids
How to (Legally) Keep Secrets from Mobile Operators
Static Detection of Uninitialized Stack Variables in Binary Code
webFuzz: Grey-Box Fuzzing for Web Applications
Evaluation of Autonomous Intrusion Response Agents in Adversarial and Normal Scenarios
Similarity of Binaries Across Optimization Levels and Obfuscation
Satisfiability and Feasibility in a Relationship-Based Workflow Authorization Model
Data Privacy Management, and Security Assurance - 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers
CROO: A Universal Infrastructure and Protocol to Detect Identity Fraud
Request-Based Comparable Encryption
Short Accountable Ring Signatures Based on DDH
Efficient Zero-Knowledge Contingent Payments in Cryptocurrencies Without Scripts
In Search of Partitioning Oracle Attacks Against TLS Session Tickets
Privacy-Preserving Decision Trees Evaluation via Linear Functions
Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings
Security of Multithreaded Programs by Compilation
Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems, REM@ESORICS 2007, Dresden, Germany, September 27, 2007
Expressive, Efficient and Obfuscation Resilient Behavior Based IDS
Security Analysis of SFrame
Interpretable Probabilistic Password Strength Meters via Deep Learning
FP-Block: Usable Web Privacy by Controlling Browser Fingerprinting
Two-Factor Authenticated Key Exchange with Enhanced Security from Post-quantum Assumptions
Computer Security - 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II
BlowPrint: Blow-Based Multi-factor Biometrics for Smartphone User Authentication
Privacy-Preserving Regular Expression Matching Using TNFA
PROTEAN: Federated Intrusion Detection in Non-IID Environments Through Prototype-Based Knowledge Sharing
Applying a Security Requirements Engineering Process
Boot Attestation: Secure Remote Reporting with Off-The-Shelf IoT Sensors
Initiator-Resilient Universally Composable Key Exchange
The Power of MEME: Adversarial Malware Creation with Model-Based Reinforcement Learning
Securing P2P Storage with a Self-organizing Payment Scheme
Towards the Creation of a Threat Intelligence Framework for Maritime Infrastructures
Tree-Based Cryptographic Access Control
A Formal Analysis of the FIDO2 Protocols
Syntax-Aware Mutation for Testing the Solidity Compiler
DEBridge: Towards Secure and Practical Plausibly Deniable Encryption Based on USB Bridge Controller
Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
Towards Real-World Private Computations with Homomorphic Encryption: Current Solutions and Open Challenges
Proof of No-Work: How to Incentivize Individuals to Stay at Home
Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing
Execution at RISC: Stealth JOP Attacks on RISC-V Applications
Machine-Checked Proofs of Accountability: How to sElect Who is to Blame
PassGPT: Password Modeling and (Guided) Generation with Large Language Models
Scalable Telemetry Classification for Automated Malware Detection