yusuke1997/dblp-id-title huggingface dataset:
Towards Understanding Privacy Implications of Adware and Potentially Unwanted Programs
A Hierarchical Adaptive Probabilistic Approach for Zero Hour Phish Detection
The Ticket Price Matters in Sharding Blockchain
SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection
Associating Metrics to Certification Paths
Multi-stage Contracts in the UTXO Model
Two Models are Better Than One: Federated Learning is Not Private for Google GBoard Next Word Prediction
Confidentiality of Interactions in Concurrent Object-Oriented Systems
A Proof Calculus for Attack Trees in Isabelle
Triptych: Logarithmic-Sized Linkable Ring Signatures with Applications
Decision Procedures for Simulatability
Towards General Scheme for Data Sharing Agreements Empowering Privacy-Preserving Data Analysis of Structured CTI
Incremental Time-Deniable Signatures
Computer Security - ESORICS 2021 - 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4-8, 2021, Proceedings, Part I
Blockchain Based Sharing of Security Information for Critical Infrastructures of the Finance Sector
Hunting Vulnerabilities in the Maritime Domain: A Domain Wide Cybersecurity Vulnerability Analysis
Fully Tally-Hiding Verifiable E-Voting for Real-World Elections with Seat-Allocations
Computer Security - ESORICS 2022 - 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26-30, 2022, Proceedings, Part III
You Reset I Attack! A Master Password Guessing Attack Against Honey Password Vaults
Privacy-Preserving Complex Query Evaluation over Semantically Secure Encrypted Data
Attribute-Sets: A Practically Motivated Enhancement to Attribute-Based Encryption
Migrating Blockchains Away from ECDSA for Post-quantum Security: A Study of Impact on Users and Applications
A Methodology for Cybersecurity Risk Assessment in Supply Chains
Deriving a Cost-Effective Digital Twin of an ICS to Facilitate Security Evaluation
Election Verifiability for Helios under Weaker Trust Assumptions
IoT Vulnerability Scanning: A State of the Art
Data Oblivious Genome Variants Search on Intel SGX
ZeroLeak: Automated Side-Channel Patching in Source Code Using LLMs
Super-Efficient Aggregating History-Independent Persistent Authenticated Dictionaries
Overview of Social Engineering Protection and Prevention Methods
A Novel Approach to Data Revocation on the Internet
Up-to-Date Threat Modelling for Soft Privacy on Smart Cars
Automatically Generating Models for Botnet Detection
Data Privacy Management and Autonomous Spontaneous Security, 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers
Time-Storage Trade-Offs for Cryptographically-Enforced Access Control
Range Extension Attacks on Contactless Smart Cards
δ-privacy: Bounding Privacy Leaks in Privacy Preserving Data Mining
The Revenge of Password Crackers: Automated Training of Password Cracking Tools
Towards Security Threats that Matter
Identifying Potential Timing Leakages from Hardware Design with Precondition Synthesis
A Symbolic Analysis of Hash Functions Vulnerabilities in Maude-NPA
Logics to Reason Formally About Trust Computation and Manipulation
A Survey of Cryptography-Based Authentication for Smart Grid Communication
Semantic Access Control Model: A Formal Specification
On the Security of Password Manager Database Formats
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance - 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers
Using Requirements Engineering in an Automatic Security Policy Derivation Process
LiMNet: Early-Stage Detection of IoT Botnets with Lightweight Memory Networks
Computer Security - ESORICS 2011 - 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12-14, 2011. Proceedings
Online Risk Assessment of Intrusion Scenarios Using D-S Evidence Theory
LegIoT: Ledgered Trust Management Platform for IoT
A Novel Method of Improving Intrusion Detection Systems Robustness Against Adversarial Attacks, Through Feature Omission and a Committee of Classifiers
Exploiting Internal Randomness for Privacy in Vertical Federated Learning
RFID Privacy Models Revisited
PRETT2: Discovering HTTP/2 DoS Vulnerabilities via Protocol Reverse Engineering
Towards Safety and Security Co-engineering - Challenging Aspects for a Consistent Intertwining
Non(c)esuch Ballot-Level Comparison Risk-Limiting Audits
Towards Measuring Fairness for Local Differential Privacy
A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment
Discrete Event Simulation of Jail Operations in Pursuit of Organizational Culture Change
Valuation of Trust in Open Networks
IFTTT Privacy Checker
Similar Data is Powerful: Enhancing Inference Attacks on SSE with Volume Leakages
Computer Security - ESORICS 2005, 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings
Bootstrapping Online Trust: Timeline Activity Proofs
Design and Implementation of a Terrorist Fraud Resilient Distance Bounding System
Index Optimization for L-Diversified Database-as-a-Service
Applying Divertibility to Blind Ballot Copying in the Helios Internet Voting System
Unraveling DoH Traces: Padding-Resilient Website Fingerprinting via HTTP/2 Key Frame Sequences
SECBENCH: A Database of Real Security Vulnerabilities
Byte Code Verification for Java Smart Card Based on Model Checking
A Framework for Evaluating Security in the Presence of Signal Injection Attacks
Analysing a Stream Authentication Protocol Using Model Checking
On the Impact of User Movement Simulations in the Evaluation of LBS Privacy- Preserving Techniques
Measuring the Adoption of TLS Encrypted Client Hello Extension and Its Forebear in the Wild
Merging Heterogeneous Security Orderings
MTD CBITS: Moving Target Defense for Cloud-Based IT Systems
Security Through Type Analysis
Policy Enforcement in Stub Autonomous Domains
Remote Attestation for Embedded Systems
Short Paper: Effects of Poisoning Attacks on Causal Deep Reinforcement Learning
On Private Information Retrieval Supporting Range Queries
Prêt à Voter with Re-encryption Mixes
We Will DAG You
Generic Multi-keyword Ranked Search on Encrypted Cloud Data
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions
Security Issues and Mitigation in Ethernet POWERLINK
Managing the Weakest Link - A Game-Theoretic Approach for the Mitigation of Insider Threats
Assessing the Impact of Sanctions in the Crypto Ecosystem: Effective Measures or Ineffective Deterrents?
Best-Practices-Based Training for Improving Cybersecurity in Power Grids
A Revisitation of Clausewitz's Thinking from the Cyber Situational Awareness Perspective
Separating the Specification and Implementation Phases in Cryptology
Data Poisoning Attacks Against Federated Learning Systems
Computer Security - ESORICS 2020 International Workshops, DETIPS, DeSECSys, MPS, and SPOSE, Guildford, UK, September 17-18, 2020, Revised Selected Papers
XML Access Control with Policy Matching Tree
Where to Look for What You See Is What You Sign? User Confusion in Transaction Security
An Authorization Model and Its Formal Semantics
Parallel Implementation of GC-Based MPC Protocols in the Semi-Honest Setting
Enforcing Secure Object Initialization in Java
High-Efficiency Fuzzing Technique Using Hooked I/O System Calls for Targeted Input Analysis
Breaking Through the Diversity: Encrypted Video Identification Attack Based on QUIC Features
HEDAS: Secure and Efficient Distributed OLAP Using Fully Homomorphic Encryption
UTRA: Universal Token Reusability Attack and Token Unforgeable Delegatable Order-Revealing Encryption
Llama-Based Source Code Vulnerability Detection: Prompt Engineering vs Fine Tuning
Privacy-Preserving Matching of Community-Contributed Content
Secure and Efficient Protocols for Iris and Fingerprint Identification
Zero Round-Trip Time for the Extended Access Control Protocol
Fine-Grained Access Control System Based on Outsourced Attribute-Based Encryption
Secure Computation of MIPS Machine Code
Using SAT-Solvers to Compute Inference-Proof Database Instances
Pretty Good Democracy for More Expressive Voting Schemes
Organisational Contexts of Energy Cybersecurity
Perspectives from a Comprehensive Evaluation of Reconstruction-based Anomaly Detection in Industrial Control Systems
Differentially Private Profiling of Anonymized Customer Purchase Records
Detecting Targeted Smartphone Malware with Behavior-Triggering Stochastic Models
BOTracle: A Framework for Discriminating Bots and Humans
A Study of Malicious Source Code Reuse Among GitHub, StackOverflow and Underground Forums
Secure Keyless Multi-party Storage Scheme
Equivocal URLs: Understanding the Fragmented Space of URL Parser Implementations
A Distributed Access Control Model for Java
Panel Session: Watermarking
Shadow-Catcher: Looking into Shadows to Detect Ghost Objects in Autonomous Vehicle 3D Sensing
Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta Privacy
Attacking Speaker Recognition Systems with Phoneme Morphing
MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols
The Road Towards Autonomous Cybersecurity Agents: Remedies for Simulation Environments
Designing Secure Key Exchange Protocols
Efficient Multi-client Order-Revealing Encryption and Its Applications
Acoustic Data Exfiltration from Speakerless Air-Gapped Computers via Covert Hard-Drive Noise ('DiskFiltration')
A Public-Key Encryption Scheme with Pseudo-random Ciphertexts
A Multi-protocol Payment System to Facilitate Financial Inclusion
Sandboxing the Cyberspace for Cybersecurity Education and Learning
CellFlood: Attacking Tor Onion Routers on the Cheap
Minimal Threshold Closure
Timing-Sensitive Information Flow Analysis for Synchronous Systems
Deep Learning Based Sequential Mining for User Authentication in Web Applications
Web Services Verification and Prudent Implementation
Enhancing User Privacy in Mobile Devices Through Prediction of Privacy Preferences
A Minimal Core Calculus for Solidity Contracts
VAL: Volume and Access Pattern Leakage-Abuse Attack with Leaked Documents
Sanitizable Signatures
Strongly-Resilient and Non-interactive Hierarchical Key-Agreement in MANETs
Server-Aided Revocable Attribute-Based Encryption
Modeling and Analyzing the Corona-Virus Warning App with the Isabelle Infrastructure Framework
Investigating Fingerprinters and Fingerprinting-Alike Behaviour of Android Applications
On the Security and Applicability of Fragile Camera Fingerprints
Order-Preserving Encryption Using Approximate Integer Common Divisors
Verifying DRAM Addressing in Software
Peering into the Darkness: The Use of UTRS in Combating DDoS Attacks
SLA-Based Continuous Security Assurance in Multi-Cloud DevOps
Exploring Linkability of User Reviews
Towards Modeling Trust Based Decisions: A Game Theoretic Approach
Extending the Common Services of eduGAIN with a Credential Conversion Service
Privacy Dashcam - Towards Lawful Use of Dashcams Through Enforcement of External Anonymization
Using Search Results to Microaggregate Query Logs Semantically
Cips: The Cache Intrusion Prevention System
Verification of a Formal Security Model for Multiapplicative Smart Cards
A Framework for Constructing Single Secret Leader Election from MPC
Information Confinement, Privacy, and Security in RFID Systems
$\mathfrak {Tetris}$! Traceable Extendable Threshold Ring Signatures and More
Symmetric Searchable Encryption with Sharing and Unsharing
Delegation in Role-Based Access Control
More Efficient Structure-Preserving Signatures - Or: Bypassing the Type-III Lower Bounds
Can N-Version Decision-Making Prevent the Rebirth of HAL 9000 in Military Camo? Using a "Golden Rule" Threshold to Prevent AI Mission Individuation
EPIC: An Electric Power Testbed for Research and Training in Cyber Physical Systems Security
Rapid Mixing and Security of Chaum's Visual Electronic Voting
Unlinkable Delegation of WebAuthn Credentials
Authentication for Distributed Web Caches
Concretely Efficient Parallel-Accessible DORAM for 100K-Sized Array
Towards Comprehensive Modeling of CPSs to Discover and Study Interdependencies
Intelligent Zigbee Protocol Fuzzing via Constraint-Field Dependency Inference
Value of Information: Quantification and Application to Coalition Machine Learning
Formal Security Analysis with Interacting State Machines
Who Is Touching My Cloud
Definition and Verification of Security Configurations of Cyber-Physical Systems
DigesTor: Comparing Passive Traffic Analysis Attacks on Tor
A Conceptual Redesign of a Modelling Language for Cyber Resiliency of Healthcare Systems
Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I
Linear Attack on Round-Reduced DES Using Deep Learning
Functional Credentials: A Practical Construction for the European Digital Identity
On the Use of AutoML for Combating Alert Fatigue in Security Operations Centers
Possibilistic Information Flow Control in the Presence of Encrypted Communication
Formalizing Federated Learning and Differential Privacy for GIS Systems in IIIf
Small Tweaks Do Not Help: Differential Power Analysis of MILENAGE Implementations in 3G/4G USIM Cards
More Efficient Amortization of Exact Zero-Knowledge Proofs for LWE
A New Privacy Enhancing Beacon Scheme in V2X Communication
Concessive Online/Offline Attribute Based Encryption with Cryptographic Reverse Firewalls - Secure and Efficient Fine-Grained Access Control on Corrupted Machines
Restructured Cloning Vulnerability Detection Based on Function Semantic Reserving and Reiteration Screening
Privacy-Preserving Tabular Data Generation: Systematic Literature Review
On Attacker Models and Profiles for Cyber-Physical Systems
STARS: A Simple and Efficient S cheme for Providing Transparent T raceability and A nonymity to R eputation S ystems
Quantifying and Measuring Anonymity
SHECS-PIR: Somewhat Homomorphic Encryption-Based Compact and Scalable Private Information Retrieval
Automated Smartphone Security Configuration
Insynd: Improved Privacy-Preserving Transparency Logging
Everlasting ROBOT: The Marvin Attack
WaitWatcher and WaitGuard: Detecting Flush-Based Cache Side-Channels Through Spurious Wakeups
Learning More about the Underground Economy: A Case-Study of Keyloggers and Dropzones
Analyzing the Capabilities of the CAN Attacker
On the User Acceptance of Privacy-Preserving Attribute-Based Credentials - A Qualitative Study
On the Usage of NLP on CVE Descriptions for Calculating Risk
A Secure Medium Access Control Protocol: Security vs Performances
Location Privacy in RFID Applications
Legal Issues About Metadata Data Privacy vs Information Security
CoinJoin in the Wild - An Empirical Analysis in Dash
Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings
An Object-Oriented Architecture to Support System Reliability and Security
Polymorphic Protocols at the Example of Mitigating Web Bots
EsPRESSo: Efficient Privacy-Preserving Evaluation of Sample Set Similarity
VRF-Based Mining Simple Non-outsourceable Cryptocurrency Mining
Computer Security - ESORICS 2022 - 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26-30, 2022, Proceedings, Part II
On the Privacy of Horizontally Partitioned Binary Data-Based Privacy-Preserving Collaborative Filtering
Scalable Analysis of Attack Scenarios
Satisfiability and Resiliency in Workflow Systems
Towards Session-Aware RBAC Delegation: Function Switch
Transparent Electricity Pricing with Privacy
Ring Signatures with User-Controlled Linkability
Authentication and Payment in Future Mobile Systems
Network Intrusion Detection Based on Semi-supervised Variational Auto-Encoder
Data Structures with Unpredictable Timing
TorScan: Tracing Long-Lived Connections and Differential Scanning Attacks
A Lattice-Based Linkable Ring Signature Supporting Stealth Addresses
Challenging the Trustworthiness of PGP: Is the Web-of-Trust Tear-Proof?
Review the Cuckoo Hash-Based Unbalanced Private Set Union: Leakage, Fix, and Optimization
On the Security of Delegation in Access Control Systems
Bounded Memory Protocols and Progressing Collaborative Systems
Privacy in Georeferenced Context-aware Services: A Survey
Secure Split Learning Against Property Inference, Data Reconstruction, and Feature Space Hijacking Attacks
Inonymous: Anonymous Invitation-Based System
Dynamic Searchable Symmetric Encryption with Forward and Stronger Backward Privacy
Plenty of Phish in the Sea: Analyzing Potential Pre-attack Surfaces
OCRAM-Assisted Sensitive Data Protection on ARM-Based Platform
Proceedings of the 1st International Workshop on Privacy in Location-Based Applications, Malaga, Spain, October 9, 2008
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders
Connecting Incident Reporting Infrastructure to Election Day Proceedings
Iterative Selection of Categorical Variables for Log Data Anomaly Detection
Feistel Structures for MPC, and More
When Is a Test Not a Proof?
A Comparison-Based Methodology for the Security Assurance of Novel Systems
A Security Policy Infrastructure for Tactical Service Oriented Architectures
On E-Vote Integrity in the Case of Malicious Voter Computers
Cyber-Attacks Against the Autonomous Ship
Biased RSA Private Keys: Origin Attribution of GCD-Factorable Keys
Distributed Shuffling for Preserving Access Confidentiality
Verifiable Computation over Large Database with Incremental Updates
Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part I
Detection by Attack: Detecting Adversarial Samples by Undercover Attack
A Traffic Regulation Method Based on MRA Signatures to Reduce Unwanted Traffic from Compromised End-User Machines
MobileFindr: Function Similarity Identification for Reversing Mobile Binaries
Post-quantum Certificates for Electronic Travel Documents
Security of NVMe Offloaded Data in Large-Scale Machine Learning
Security Evaluation of Scenarios Based on the TCG's TPM Specification
Characterizing GPU Overclocking Faults
Privacy-Preserving, Taxable Bank Accounts
Hardware Encapsulation of Security Services
Data Protection in Cloud Scenarios
Cloak: A Ten-Fold Way for Reliable Covert Communications
Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches
TrustedPals: Secure Multiparty Computation Implemented with Smart Cards
A Security Reclassifier for a Local Area Network
Authorized Keyword Search on Encrypted Data
ARIstoteles - Dissecting Apple's Baseband Interface
Solutions for Protecting the Space Ground Segments: From Risk Assessment to Emergency Response
Transforming Out Timing Leaks, More or Less
Generating Traffic-Level Adversarial Examples from Feature-Level Specifications
Anonymous RAM
A Logic-Based Reasoner for Discovering Authentication Vulnerabilities Between Interconnected Accounts
TurboTLS: TLS Connection Establishment with 1 Less Round Trip
Compiling Low Depth Circuits for Practical Secure Computation
Understanding Cross-Channel Abuse with SMS-Spam Support Infrastructure Attribution
Run-Time Enforcement of Information-Flow Properties on Android - (Extended Abstract)
Spatial Encryption Revisited: From Delegatable Multiple Inner Product Encryption and More
Investigating the OpenPGP Web of Trust
An Efficient CKKS-FHEW/TFHE Hybrid Encrypted Inference Framework
Securing Multiparty Protocols Against the Exposure of Data to Honest Parties
Practical Secure Logging: Seekable Sequential Key Generators
Reducing the Dependence of SPKI/SDSI on PKI
A RAG-Based Question-Answering Solution for Cyber-Attack Investigation and Attribution
Verifiable Delegation of Computations with Storage-Verification Trade-off
Non-interactive Provably Secure Attestations for Arbitrary RSA Prime Generation Algorithms
Distributed Authorization by Multiparty Trust Negotiation
Integrally Private Model Selection for Support Vector Machine
FedREVAN: Real-time DEtection of Vulnerable Android Source Code Through Federated Neural Network with XAI
Type-Based Analysis of PIN Processing APIs
Security and Privacy for Mobile Crowdsensing: Improving User Relevance and Privacy
Computer Security - ESORICS 98, 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998, Proceedings
DLoc: Distributed Auditing for Data Location Compliance in Cloud
No Root, No Problem: Automating Linux Least Privilege and Securing Ansible Deployments
Compile-Time Detection of Information Flow in Sequential Programs
Genetic Algorithm Assisted State-Recovery Attack on Round-Reduced Xoodyak
Timing Analysis in Low-Latency Mix Networks: Attacks and Defenses
Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model
A Toolkit for Managing Enterprise Privacy Policies
Accountable Authority Ciphertext-Policy Attribute-Based Encryption with White-Box Traceability and Public Auditing in the Cloud
A Low-Variance Random-Walk Procedure to Provide Anonymity in Overlay Networks
Short Generic Transformation to Strongly Unforgeable Signature in the Standard Model
Using Attack Trees to Identify Malicious Attacks from Authorized Insiders
Dobby: A Privacy-Preserving Time Series Data Analytics System with Enforcement of Flexible Policies
Using Degree Centrality to Identify Market Manipulation on Bitcoin
Disclosing Social and Location Attributes on Social Media: The Impact on Users' Privacy
Insider Attacks Enabling Data Broadcasting on Crypto-Enforced Unicast Links
User Privacy in Transport Systems Based on RFID E-Tickets
Privacy-Preserving Optimal Parameter Selection for Collaborative Clustering
On Bounding Problems of Quantitative Information Flow
From Coupling Relations to Mated Invariants for Checking Information Flow
Authors' Rights and Copyright Protection
Confidentiality Policies and Their Enforcement for Controlled Query Evaluation
Privacy in Georeferenced Context-Aware Services: A Survey
A User-Centric Approach to API Delegations - Enforcing Privacy Policies on OAuth Delegations
Surveying Aviation Professionals on the Security of the Air Traffic Control System
A DSL for Specifying Autonomic Security Management Strategies
Extending Automated Protocol State Learning for the 802.11 4-Way Handshake
Empirically Measuring WHOIS Misuse
Collaborative Authentication Using Threshold Cryptography
Deep Learning Side-Channel Analysis on Large-Scale Traces - A Case Study on a Polymorphic AES
Finding Flaws from Password Authentication Code in Android Apps
Practical Memory Deduplication Attacks in Sandboxed Javascript
Unravelling Network-Based Intrusion Detection: A Neutrosophic Rule Mining and Optimization Framework
Skiplist Timing Attack Vulnerability
The Emperor's New Password Creation Policies: An Evaluation of Leading Web Services and the Effect of Role in Resisting Against Online Guessing
Server-Aided Secure Computation with Off-line Parties
TINMAN: A Resource Bound Security Checking System for Mobile Code
Detecting and Characterizing Web Bot Traffic in a Large E-commerce Marketplace
An Efficient Micropayment Channel on Ethereum
Formal Security Analysis of ss2DNS
Towards a Concurrent and Distributed Route Selection for Payment Channel Networks
Verifiable External Blockchain Calls: Towards Removing Oracle Input Intermediaries
ConGISATA: A Framework for Continuous Gamified Information Security Awareness Training and Assessment
Dismantling iClass and iClass Elite
Cheap and Fast Iterative Matrix Inverse in Encrypted Domain
On the Robustness of Malware Detectors to Adversarial Samples
PROTECT - An Easy Configurable Serious Game to Train Employees Against Social Engineering Attacks
vBox: Proactively Establishing Secure Channels Between Wireless Devices Without Prior Knowledge
A Machine Learning Approach to Detect Differential Treatment of Anonymous Users
FADa-CPS - Faults and Attacks Discrimination in Cyber Physical Systems
Impact of Delay Classes on the Data Structure in IOTA