yusuke1997/dblp-id-title huggingface dataset:
Methodology "Minerve Security" - Evaluation Process of Software Security
Secure Localization Using Dynamic Verifiers
A Blockchain-Based Architecture to Manage User Privacy Preferences on Smart Shared Spaces Privately
Computational Probabilistic Non-interference
Panini - Anonymous Anycast and an Instantiation
MORTON: Detection of Malicious Routines in Large-Scale DNS Traffic
Multi-Freq-LDPy: Multiple Frequency Estimation Under Local Differential Privacy in Python
Breaking Cauchy Model-Based JPEG Steganography with First Order Statistics
One IDS Is Not Enough! Exploring Ensemble Learning for Industrial Intrusion Detection
Emerging Technologies for Authorization and Authentication - Second International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019, Proceedings
L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols
12 Angry Miners
A Complete and Optimized Key Mismatch Attack on NIST Candidate NewHope
Justifying Security Measures - a Position Paper
Remote Integrity Check with Dishonest Storage Server
A Framework for Applying Digital Twins to Support Incident Response
Software Countermeasures for Control Flow Integrity of Smart Card C Codes
An Explainable Online Password Strength Estimator
Sequential Protocol Composition in Maude-NPA
A Tale of Two Models: Formal Verification of KEMTLS via Tamarin
Tactics for Account Access Graphs
Secure Anonymous Signature-Based Transactions
Keep a Few: Outsourcing Data While Maintaining Confidentiality
An Open and Flexible CyberSecurity Training Laboratory in IT/OT Infrastructures
MAG-JAM: Jamming Detection via Magnetic Emissions
The Challenge of Safety Tactics Synchronization for Cooperative Systems
A-PPL: An Accountability Policy Language
Group Discounts Compatible with Buyer Privacy
The SeaView Secure Database System: A Progress Report
2-hop Blockchain: Combining Proof-of-Work and Proof-of-Stake Securely
Practical Invalid Curve Attacks on TLS-ECDH
Computer Security - ESORICS 92, Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25, 1992, Proceedings
Asymmetric Asynchronous Byzantine Consensus
BDPL: A Boundary Differentially Private Layer Against Machine Learning Model Extraction Attacks
A Poisoning Attack Against Cryptocurrency Mining Pools
DNS Dependencies as an Expression of the Digital Divide: The Example of Australia
Access Control in Location-Based Services
Cache Demote for Fast Eviction Set Construction and Page Table Attribute Leakage
Location Privacy-Preserving Mobile Crowd Sensing with Anonymous Reputation
Per-Session Security: Password-Based Cryptography Revisited
Exploring Genomic Sequence Alignment for Improving Side-Channel Analysis
Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I
A Composable Security Treatment of ECVRF and Batch Verifications
Pseudorandom Permutations Based on the D.E.S. Scheme
Dismantling MIFARE Classic
Leveraging Transformer Architecture for Effective Trajectory-User Linking (TUL) Attack and Its Mitigation
Revocable Policy-Based Chameleon Hash
Data Privacy Management and Autonomous Spontaneus Security - 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers
ARCHERR: Runtime Environment Driven Program Safety
Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings
Better Login Protocols for Computer Networks
Intentio Ex Machina: Android Intent Access Control via an Extensible Application Hook
Privacy and Informational Self-determination Through Informed Consent: The Way Forward
Decomposing Global Quantitative Properties into Local Ones
A Consideration of the Modes of Operation for Secure Systems
Efficiently Deciding Equivalence for Standard Primitives and Phases
Performance Evaluation of Primitives for Privacy-Enhancing Cryptography on Current Smart-Cards and Smart-Phones
Symmetric-Key Based Proofs of Retrievability Supporting Public Verification
Obligations and Their Interaction with Programs
On the Security of Mutual Authentication Protocols for RFID Systems: The Case of Wei et al.'s Protocol
Computer Security - ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers
Towards Efficient Auditing for Real-Time Systems
Risk Assessment of Sharing Cyber Threat Intelligence
Efficient Zero-Knowledge Arguments and Digital Signatures via Sharing Conversion in the Head
Study of DNS Rebinding Attacks on Smart Home Devices
Computer Security - ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14-18, 2020, Revised Selected Papers
Analysis of Input-Output Mappings in Coinjoin Transactions with Arbitrary Values
Beneath the Bonnet: A Breakdown of Diagnostic Security
Banishing Misaligned Incentives for Validating Reports in Bug-Bounty Platforms
A Service Dependency Model for Cost-Sensitive Intrusion Response
Comparing Capability of Static Analysis Tools to Detect Security Weaknesses in Mobile Applications
Fair Anonymous Authentication for Location Based Services
Tracking Information Flow in Dynamic Tree Structures
Time Will Tell: Exploiting Timing Leaks Using HTTP Response Headers
Verifying the Quality of Outsourced Training on Clouds
Vulnerable Delegation of DNS Resolution
Data Trustworthiness - Approaches and Research Challenges
Using Personal Portfolios to Manage Customer Data
Adversarial Attacks and Mitigations on Scene Segmentation of Autonomous Vehicles
A Game-Theoretic Analysis of Delegation Incentives in Blockchain Governance
Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II
Public-Key Revocation and Tracing Schemes with Subset Difference Methods Revisited
Detecting Cross-language Memory Management Issues in Rust
Secure Location Verification: Why You Want Your Verifiers to Be Mobile
Private Information Retrieval Techniques for Enabling Location Privacy in Location-Based Services
kUBI: A Framework for Privacy and Transparency in Sensor-Based Business Models for Consumers: A Pay-How-You-Drive Example
Efficient Privacy-Enhanced Familiarity-Based Recommender System
Polylogarithmic Polynomial Commitment Scheme over Galois Rings
Oblivious Extractors and Improved Security in Biometric-Based Authentication Systems
SessionSafe: Implementing XSS Immune Session Handling
Revocable IBE with En-DKER from Lattices: A Novel Approach for Lattice Basis Delegation
JVM-Portable Sandboxing of Java's Native Libraries
Virtual ASICs: Generalized Proof-of-Stake Mining in Cryptocurrencies
The Operational Cost of Ethereum Airdrops
PCAL: Language Support for Proof-Carrying Authorization Systems
Who Am I? Secure Identity Registration on Distributed Ledgers
Verifying Security Property of Peer-to-Peer Systems Using CSP
M 2 S: A Machine for Multilevel Security
Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks
Checking Secure Interactions of Smart Card Applets
Symmetric-Key Corruption Detection: When XOR-MACs Meet Combinatorial Group Testing
Scaling up GAEN Pseudorandom Processes: Preparing for a More Extensive Pandemic
On the Applicability of Security and Privacy Threat Modeling for Blockchain Applications
A Multi-Path Approach for k-Anonymity in Mobile Hybrid Networks
Attribute Based Broadcast Encryption with Short Ciphertext and Decryption Key
FLOD: Oblivious Defender for Private Byzantine-Robust Federated Learning with Dishonest-Majority
On Results of Data Aggregation Operations
Scaling Mobile Private Contact Discovery to Billions of Users
An Anti-pattern for Misuse Cases
Formal Indistinguishability Extended to the Random Oracle Model
Identifying and Analyzing Implicit Interactions in a Wastewater Dechlorination System
Using Memristor Arrays as Physical Unclonable Functions
Attesting Distributional Properties of Training Data for Machine Learning
Countering Jailbreak Attacks with Two-Axis Pre-detection and Conditional Warning Wrappers
Bestie: Very Practical Searchable Encryption with Forward and Backward Security
How Secure Is Green IT? The Case of Software-Based Energy Side Channels
An Opportunity-Based Approach to Information Security Risk
Privacy Analysis of a Hidden Friendship Protocol
Methodology for Resilience Assessment for Rail Infrastructure Considering Cyber-Physical Threats
Efficient Quantification of Profile Matching Risk in Social Networks Using Belief Propagation
Oblivious Signatures
ComSEC: Secure Communications for Baggage Handling Systems
PrivMail: A Privacy-Preserving Framework for Secure Emails
Practical Packing Method in Somewhat Homomorphic Encryption
The Hidden Dangers of Public Serverless Repositories: An Empirical Security Assessment
Modelling and Simulation of Railway Networks for Resilience Analysis
Pine: Enabling Privacy-Preserving Deep Packet Inspection on TLS with Rule-Hiding and Fast Connection Establishment
DexHunter: Toward Extracting Hidden Code from Packed Android Applications
An Efficient Electronic Payment System Protecting Privacy
BioPrivacy: Development of a Keystroke Dynamics Continuous Authentication System
stoRNA: Stateless Transparent Proofs of Storage-time
DeltaPhish: Detecting Phishing Webpages in Compromised Websites
Identity-Based Matchmaking Encryption with Enhanced Privacy - A Generic Construction with Practical Instantiations
A Calculus for Secure Channel Establishment in Open Networks
Run-Time Monitoring of Data-Handling Violations
Synthesis of a Permissive Security Monitor
Privacy-Preserving Abuse Detection in Future Decentralised Online Social Networks
Ubic: Bridging the Gap between Digital Cryptography and the Physical World
Short Paper: Revisiting Difficulty Control for Blockchain Systems
Rules for Designing Multilevel Object-Oriented Databases
Browser Model for Security Analysis of Browser-Based Protocols
MPC-in-Multi-Heads: A Multi-Prover Zero-Knowledge Proof System - (or: How to Jointly Prove Any NP Statements in ZK)
Code-Based Secret Handshake Scheme, Revisited
Reach Me if You Can: On Native Vulnerability Reachability in Android Apps
The Cloud Continuum for Military Deployable Networks: Challenges and Opportunities
Rich Queries on Encrypted Data: Beyond Exact Matches
The Wisdom of Crowds: Attacks and Optimal Constructions
Non-uniform Stepping Approach to RFID Distance Bounding Problem
Visualizing Privacy Implications of Access Control Policies in Social Network Systems
Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code
A Workflow Checking Approach for Inherent Privacy Awareness in Network Monitoring
Why IT Security Needs Therapy
Secure Improved Cloud-Based RFID Authentication Protocol
A Cybersecurity Ontology to Support Risk Information Gathering in Cyber-Physical Systems
SMILE - Smart eMaIl Link Domain Extractor
Set Covering Problems in Role-Based Access Control
Lifelogging Protection Scheme for Internet-Based Personal Assistants
Critical Infrastructure Protection: A Holistic Methodology for Greece
Introducing the gMix Open Source Framework for Mix Implementations
VFLIP: A Backdoor Defense for Vertical Federated Learning via Identification and Purification
Supporting Object-Based High-Assurance Write-up in Multilevel Databases for the Replicated Architecture
An Integrated Reward and Reputation Mechanism for MCS Preserving Users' Privacy
Adversarial Examples for Hardware-Trojan Detection at Gate-Level Netlists
Is My Attack Tree Correct?
Type-Level Access Controls for Distributed Structurally Object-Oriented Database Systems
Privacy Preservation over Untrusted Mobile Networks
Towards a Marketplace for Secure Outsourced Computations
Authorization in CORBA Security
Optimized Privacy-Preserving Multi-signatures from Discrete Logarithm Assumption
Time-Distributed Backdoor Attacks on Federated Spiking Learning
Auditable Credential Anonymity Revocation Based on Privacy-Preserving Smart Contracts
Comprehensive and Improved Secure Biometric System Using Homomorphic Encryption
Fundamental Properties of the Layer Below a Payment Channel Network
Introducing Probabilities in Contract-Based Approaches for Mobile Application Security
Code Voting: When Simplicity Meets Security
Evaluating the Effectiveness of Heuristic Worst-Case Noise Analysis in FHE
Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach
On the Privacy of Concealed Data Aggregation
Towards Practical Homomorphic Time-Lock Puzzles: Applicability and Verifiability
Remote Timing Attacks Are Still Practical
Maintaining High Performance Communication Under Least Privilege Using Dynamic Perimeter Control
Securing Proof-of-Stake Blockchain Protocols
Difficult XSS Code Patterns for Static Code Analysis Tools
CO-DECYBER: Co-operative Decision Making for Cybersecurity Using Deep Multi-agent Reinforcement Learning
Detecting Insider Information Theft Using Features from File Access Logs
Safety Analysis of the Dynamic-Typed Access Matrix Model
Is Your Password Sexist? a Gamification-Based Analysis of the Cultural Context of Leaked Passwords
Augmented Oblivious Polynomial Evaluation Protocol and Its Applications
Correlated Randomness Teleportation via Semi-trusted Hardware - Enabling Silent Multi-party Computation
Introducing Probabilities in Controller Strategies
A Cryptographic Analysis of OPACITY - (Extended Abstract)
The Devil Is in the GAN: Backdoor Attacks and Defenses in Deep Generative Models
BLEWhisperer: Exploiting BLE Advertisements for Data Exfiltration
More Efficient Post-quantum KEMTLS with Pre-distributed Public Keys
Imitater: An Efficient Shared Mempool Protocol with Application to Byzantine Fault Tolerance
Public Cloud Data Auditing Revisited: Removing the Tradeoff Between Proof Size and Storage Cost
Internet Transparency Through Multi-party Computation
Preventing Web Application Injections with Complementary Character Coding
Precomputation for Rainbow Tables has Never Been so Fast
Toward Next-Generation Cyber Range: A Comparative Study of Training Platforms
TrustDump: Reliable Memory Acquisition on Smartphones
Efficient Sanitizable Signatures Without Random Oracles
An Effective Method for Combating Malicious Scripts Clickbots
Role Hierarchies and Constraints for Lattice-Based Access Controls
Data Structures Towards the Recognition of Fake News and Disinformation Written in Polish
Who Wrote This Code? Identifying the Authors of Program Binaries
Deep Learning for Network Anomaly Detection Under Data Contamination: Evaluating Robustness and Mitigating Performance Degradation
A Formal Framework for Confidentiality-Preserving Refinement
An Epistemic and Deontic Logic for Reasoning about Computer Security
Computer Security - ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II
Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage
On Ladder Logic Bombs in Industrial Control Systems
Hey, You, Get Off of My Image: Detecting Data Residue in Android Images
Formal Verification of Cardholder Registration in SET
Computer Security. ESORICS 2024 International Workshops - DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part I
On the Security of Some Variants of the RSA Signature Scheme
Grape: Efficient Hybrid Consensus Protocol Using DAG
On the Detection of Anomalous System Call Arguments
Secure Ownership and Ownership Transfer in RFID Systems
Decision-Making in Security Requirements Engineering with Constrained Goal Models
Can you Really Anonymize the Donors of Genomic Data in Today's Digital World?
Some Ideas on Virtualized System Security, and Monitors
Breaking Verifiability and Vote Privacy in CHVote
Multi-rate Threshold FlipThem
Fuzzy Authenticated Key Exchange with Tight Security
A Comparison Among Policy Editors for Attributed Based Access Control Model
Protocols for a Two-Tiered Trusted Computing Base
Process Identity-Based Firewalling
Security Versus Performance Requirements in Data Communications Systems
Anonymizing Machine Learning Models
HI-CFG: Construction by Binary Analysis and Application to Attack Polymorphism
Readers Behaving Badly - Reader Revocation in PKI-Based RFID Systems
Nemesis: Combating Abusive Information in Encrypted Messaging with Private Reporting
Hardware Fingerprinting for the ARINC 429 Avionic Bus
Assurance Requirements for Mutual User and Service Provider Authentication
Towards Efficient and Secure Encrypted Databases: Extending Message-Locked Encryption in Three-Party Model
NASimEmu: Network Attack Simulator & Emulator for Training Agents Generalizing to Novel Scenarios
Quantitative Rubric for Privacy Policy Analysis
Computer Security. ESORICS 2021 International Workshops - CyberICPS, SECPRE, ADIoT, SPOSE, CPS4CIP, and CDT&SECOMANE, Darmstadt, Germany, October 4-8, 2021, Revised Selected Papers
Efficient Numerical Frameworks for Multi-objective Cyber Security Planning
ARPSSO: An OIDC-Compatible Privacy-Preserving SSO Scheme Based on RP Anonymization
Robust Probabilistic Fake Packet Injection for Receiver-Location Privacy in WSN
How to Better Fit Reinforcement Learning for Pentesting: A New Hierarchical Approach
WORM-SEAL: Trustworthy Data Retention and Verification for Regulatory Compliance
Forkfuzz: Leveraging the Fork-Awareness in Coverage-Guided Fuzzing
Real-Time Policy Enforcement with Metric First-Order Temporal Logic
Improved Security Notions and Protocols for Non-transferable Identification
Towards a Mechanism for Incentivating Privacy
SERVAS! Secure Enclaves via RISC-V Authenticryption Shield
Fake Injection Strategies for Private Phonetic Matching
Pattern-Preserving k-Anonymization of Sequences and its Application to Mobil- ity Data Mining
Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Analysis
Computationally Sound Analysis of a Probabilistic Contract Signing Protocol
Bleichenbacher's Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption
Preventing DNS Amplification Attacks Using the History of DNS Queries with SDN
Low-Cost Client Puzzles Based on Modular Exponentiation
Lattice-Based HRA-secure Attribute-Based Proxy Re-Encryption in Standard Model
CPU Port Contention Without SMT
AppGuard - Fine-Grained Policy Enforcement for Untrusted Android Applications
Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2022 International Workshops, DPM 2022 and CBT 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers
TERRA: Trojan-Resilient Reverse-Firewall for Cryptographic Applications
Bitcoin Transaction Malleability and MtGox
Grid-Based Decompositions for Spatial Data Under Local Differential Privacy
A DPIA Repository for Interdisciplinary Data Protection Research
Automated Analysis of Equivalence Properties for Security Protocols Using Else Branches
Metering Schemes for General Access Structures
Web-to-Application Injection Attacks on Android: Characterization and Detection
Secure Code Update for Embedded Devices via Proofs of Secure Erasure
Code Encryption with Intel TME-MK for Control-Flow Enforcement
Stringer: Measuring the Importance of Static Data Comparisons to Detect Backdoors and Undocumented Functionality
Conclave: A Collective Stake Pool Protocol
Botyacc: Unified P2P Botnet Detection Using Behavioural Analysis and Graph Analysis
Fault Injection and Safe-Error Attack for Extraction of Embedded Neural Network Models
Accurate Specification for Robust Detection of Malicious Behavior in Mobile Environments
Authentication and Confidentiality via IPSEC
INCANTA - INtrusion Detection in Controller Area Networks with Time-Covert Authentication
Identity-Based Identity-Concealed Authenticated Key Exchange
Privacy-Preserving Context-Aware Recommender Systems: Analysis and New Solutions
Privately Outsourcing Exponentiation to a Single Server: Cryptanalysis and Optimal Constructions
The Bigger Picture: Approaches to Inter-organizational Data Protection Impact Assessment
Formal Approach for Route Agility against Persistent Attackers
A Practical Approach for Adaptive Data Structure Layout Randomization
What Users Want: Adapting Qualitative Research Methods to Security Policy Elicitation
A Model Driven Approach for Cyber Security Scenarios Deployment
Workflow-Aware Security of Integrated Mobility Services
maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults
Research and Challenges on Bitcoin Anonymity
A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol
LFuzz: Exploiting Locality-Enabled Techniques for File-System Fuzzing
Automatic and Precise Client-Side Protection against CSRF Attacks
Towards Efficient Verifiable Forward Secure Searchable Symmetric Encryption
Labeling NIDS Rules with MITRE ATT &CK Techniques Using ChatGPT
User-Centric Handling of Identity Agent Compromise
An Authorization Model for Workflows
Information Flow Controls vs Interference Controls: An Integrated Approach
Secure Code Updates for Mesh Networked Commodity Low-End Embedded Devices
Structured Peer-to-Peer Overlay Networks: Ideal Botnets Command and Control Infrastructures?
Sets, Bags, and Rock and Roll: Analyzing Large Data Sets of Network Data
You Never Surf Alone. Ubiquitous Tracking of Users' Browsing Habits
Precisely Answering Multi-dimensional Range Queries without Privacy Breaches
Diminisher: A Linux Kernel Based Countermeasure for TAA Vulnerability
Nighthawk: Transparent System Introspection from Ring -3
On Bitcoin Security in the Presence of Broken Cryptographic Primitives
Trustworthy Services and the Biological Analogy
Differentially Private Traffic Flow Prediction Using Transformers: A Federated Approach
Committed Private Information Retrieval
SPGC: An Integrated Framework of Secure Computation and Differential Privacy for Collaborative Learning
Better Privacy for Trusted Computing Platforms: (Extended Abstract)
A Notation for Policies Using Feature Structures
SecQuant: Quantifying Container System Call Exposure
Self Adaptive Privacy in Cloud Computing Environments: Identifying the Major Socio-Technical Concepts
What Websites Know About You
ASRBAC: A Security Administration Model for Mobile Autonomic Networks (MAutoNets)
PrivacySmart: Automatic and Transparent Management of Privacy Policies
Atomically Trading with Roger: Gambling on the Success of a Hardfork
Jatmo: Prompt Injection Defense by Task-Specific Finetuning
A Formal Treatment of Privacy in Video Data
Outside the Comfort Zone: Analysing LLM Capabilities in Software Vulnerability Detection
Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks
How to Verifiably Encrypt Many Bits for an Election?
Secure Multiparty Linear Programming Using Fixed-Point Arithmetic
SysML Model Transformation for Safety and Security Analysis
A Policy Language for Distributed Usage Control
Inference-Proof View Update Transactions with Minimal Refusals
P-Signature-Based Blocking to Improve the Scalability of Privacy-Preserving Record Linkage
Optimally-Fair Multi-party Exchange Without Trusted Parties
Learning Markov Chain Models from Sequential Data Under Local Differential Privacy
An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference
A Formal Model for Credential Hopping Attacks
Making an Asymmetric PAKE Quantum-Annoying by Hiding Group Elements
PerfectDedup: Secure Data Deduplication
A Semi-lattice Model for Multi-lateral Security
A Study from the Data Anonymization Competition Pwscup 2015
Exploiting Layerwise Feature Representation Similarity For Backdoor Defence in Federated Learning
A Basic Theory of Lightweight Hierarchical Key Predistribution Scheme
RIPOST: Two-Phase Private Decomposition for Multidimensional Data
Efficient Homomorphic Evaluation for Non-polynomial Functions
Don't Reveal My Intension: Protecting User Privacy Using Declarative Preferences during Distributed Query Processing
Deniable Cryptosystems: Simpler Constructions and Achieving Leakage Resilience
AVR Processors as a Platform for Language-Based Security
Nowhere to Hide: Navigating around Privacy in Online Social Networks
Distributed Proctoring