yusuke1997/dblp-id-title huggingface dataset:
Pitchforks in Cryptocurrencies: - Enforcing Rule Changes Through Offensive Forking- and Consensus Techniques (Short Paper)
Flexible Scheduler-Independent Security
Romoa: Robust Model Aggregation for the Resistance of Federated Learning to Model Poisoning Attacks
Privacy-Preserving Multi-Party Reconciliation Secure in the Malicious Model
Practical Direct Chosen Ciphertext Secure Key-Policy Attribute-Based Encryption with Public Ciphertext Test
Try On, Spied On?: Privacy Analysis of Virtual Try-On Websites and Android Apps
Improved Anonymous Timed-Release Encryption
Resilience of Voice Assistants to Synthetic Speech
A Systematic Analysis of XSS Sanitization in Web Application Frameworks
Secure Evaluation of Private Linear Branching Programs with Medical Applications
Enabling Public Verifiability and Data Dynamics for Storage Security in Cloud Computing
Radium: Improving Dynamic PoW Targeting
No-Label User-Level Membership Inference for ASR Model Auditing
Efficient Hidden Vector Encryption with Constant-Size Ciphertext
Access Control Friendly Query Verification for Outsourced Data Publishing
Identifying Arbitrary Memory Access Vulnerabilities in Privilege-Separated Software
A Theory of Gray Security Policies
METRICS: A Methodology for Evaluating and Testing the Resilience of Industrial Control Systems to Cyberattacks
Automatic Firewalls' Configuration Using Argumentation Reasoning
Card-Based Cryptographic Protocols for Three-Input Functions with a Standard Deck of Cards Using Private Operations
Data Protection Officers' Perspectives on Privacy Challenges in Digital Ecosystems
Influencing Factors for Users' Privacy and Security Protection Behavior in Smart Speakers: Insights from a Swiss User Study
tt LLRing: Logarithmic Linkable Ring Signatures with Transparent Setup
Not Only Security and Privacy: The Evolving Ethical and Legal Challenges of E-Commerce
A Risk-Driven Model to Minimize the Effects of Human Factors on Smart Devices
Plausible Deniability of Redacted Text
Kallima: A Clean-Label Framework for Textual Backdoor Attacks
WelkIR: Flow-Sensitive Pre-trained Embeddings from Compiler IR for Vulnerability Detection
Privacy Threats in E-Shopping (Position Paper)
Authentication and Authorization for Interoperable IoT Architectures
Security Analysis of Covercrypt: A Quantum-Safe Hybrid Key Encapsulation Mechanism for Hidden Access Policies
Abuse-Resistant Evaluation of AI-as-a-Service via Function-Hiding Homomorphic Signatures
Blockchain-Based Fair Certified Notifications
Practical and Employable Protocols for UC-Secure Circuit Evaluation over ℤn
CANSentry: Securing CAN-Based Cyber-Physical Systems against Denial and Spoofing Attacks
Towards a Formal Approach for Data Minimization in Programs (Short Paper)
Computerized Voting Machines: A View from the Trenches
Security of Cyber-Physical Systems - From Theory to Testbeds and Validation
Isabelle Modelchecking for Insider Threats
It is Time To Steer: A Scalable Framework for Analysis-Driven Attack Graph Generation
Updatable Hash Proof System and Its Applications
PDFS: Practical Data Feed Service for Smart Contracts
IoT-Friendly AKE: Forward Secrecy and Session Resumption Meet Symmetric-Key Cryptography
FSSiBNN: FSS-Based Secure Binarized Neural Network Inference with Free Bitwidth Conversion
Learning from Others: User Anomaly Detection Using Anomalous Samples from Other Users
A Generic XACML Based Declarative Authorization Scheme for Java
Reaction Attack on TFHE: Minimum Number of Oracle Queries and Nearly Optimum Attacking Scheme
Efficient Proofs of Knowledge for Threshold Relations
Integral Privacy Compliant Statistics Computation
Spot the Difference: Secure Multi-execution and Multiple Facets
The Structure and Agency Policy Language (SAPL) for Attribute Stream-Based Access Control (ASBAC)
Reliable Evidence: Auditability by Typing
Joint Obfuscation for Privacy Protection in Location-Based Social Networks
Teaching Industrial Control System Security Using Collaborative Projects
Are Security Experts Useful? Bayesian Nash Equilibria for Network Security Games with Limited Information
Hiding Your Signals: A Security Analysis of PPG-Based Biometric Authentication
Cybersecurity Awareness Platform with Virtual Coach and Automated Challenge Assessment
Polyinstantation for Cover Stories
Training Differentially Private Neural Networks with Lottery Tickets
The Cost of Having Been Pwned: A Security Service Provider's Perspective
GDoM: a Multilevel Document Manager
On Intrinsic Cause and Defense of Adversarial Examples in Deep Neural Networks
DRE-ip: A Verifiable E-Voting Scheme Without Tallying Authorities
Key is in the Air: Hacking Remote Keyless Entry Systems
Tell Me How You Re-Charge, I Will Tell You Where You Drove To: Electric Vehicles Profiling Based on Charging-Current Demand
A Protocol to Strengthen Password-Based Authentication
Establishing Secure and Privacy-Preserving Blockchain Applications Through Real World Cryptography
Comparative Study of Machine Learning Methods for In-Vehicle Intrusion Detection
An Attack Execution Model for Industrial Control Systems Security Assessment
Access-Condition-Table-Driven Access Control for XML Databases
Countering Statistical Disclosure with Receiver-Bound Cover Traffic
Strongly Secure Identity-Based Key Exchange with Single Pairing Operation
Efficient Message Authentication Codes with Combinatorial Group Testing
Advanced Detection Tool for PDF Threats
Secure Hierarchical Deterministic Wallet Supporting Stealth Address
Fake or Compromised? Making Sense of Malicious Clients in Federated Learning
Uncovering Information Flow Policy Violations in C Programs (Extended Abstract)
Conditional Reactive Simulatability
A Host Intrusion Prevention System for Windows Operating Systems
Metrics for Transparency
Unwinding Possibilistic Security Properties
Secure and Privacy-Aware Searching in Peer-to-Peer Networks
Secure and Efficient Outsourcing of Sequence Comparisons
frameD: Toward Automated Identification of Embedded Frameworks in Firmware Images
Server-Supported Signatures
Simulation Extractability in Groth's zk-SNARK
LockPic: Privacy Preserving Photo Sharing in Social Networks
Sequential Digital Signatures for Cryptographic Software-Update Authentication
License Transfer in OMA-DRM
Horizontal Attacks Against ECC: From Simulations to ASIC
Computer Security - ESORICS 2009, 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings
Enhanced Key Mismatch Attacks on Lattice-Based KEMs: Multi-bit Inference and Ciphertext Generalization
Security of Patched DNS
Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem
n-MVTL Attack: Optimal Transaction Reordering Attack on DeFi
Computer Security. ESORICS 2023 International Workshops - CyberICS, DPM, CBT, and SECPRE, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part I
Privacy-Enhanced Machine Learning with Functional Encryption
Verifiable Timed Linkable Ring Signatures for Scalable Payments for Monero
Flexible Signatures: Making Authentication Suitable for Real-Time Environments
Short Paper: PSY: Posterior Sampling Based Privacy Enhancer in Large Language Models
Towards Symbolic Encryption Schemes
Current Events: Identifying Webpages by Tapping the Electrical Outlet
Learning Fingerprints for a Database Intrusion Detection System
Managing Security Work in Scrum: Tensions and Challenges
Anonymous Single-Sign-On for n Designated Services with Traceability
Simulating Deception for Web Applications Using Reinforcement Learning
Privacy-Preserving Object Recognition with Explainability in Smart Systems
SafePath: Encryption-Less On-Demand Input Path Protection for Mobile Devices
Secure Outsourced Matrix Multiplication with Fully Homomorphic Encryption
Active Re-identification Attacks on Periodically Released Dynamic Social Graphs
PanoptiCANs - Adversary-Resilient Architectures for Controller Area Networks
Nothing Standard About It: An Analysis of Minimum Security Standards in Organizations
Some Remarks and Ideas About Monetization of Sensitive Data
The Coremelt Attack
Rope: Covert Multi-process Malware Execution with Return-Oriented Programming
Zipper Stack: Shadow Stacks Without Shadow
Conditional Privacy-Aware Role Based Access Control
Flexible Regulation of Distributed Coalitions
One Vote Is Enough for Analysing Privacy
MARF: A Memory-Aware CLFLUSH-Based Intra- and Inter-CPU Side-Channel Attack
Web Servers Protection Using Anomaly Detection for HTTP Requests
Re-establishing Trust in Compromised Systems: Recovering from Rootkits That Trojan the System Call Table
Automatic Detection of Various Malicious Traffic Using Side Channel Features on TCP Packets
CryptoLLM: Harnessing the Power of LLMs to Detect Cryptographic API Misuse
Adaptive Soundness of Static Equivalence
Deduplication-Friendly Watermarking for Multimedia Data in Public Clouds
Preventing Advanced Persistent Threats in Complex Control Networks
Adversarial Activity Detection Using Keystroke Acoustics
On the Selection of the LN Client Implementation Parameters
A Browser-Based Kerberos Authentication Scheme
P2Onto: Making Privacy Policies Transparent
Robust and Scalable Process Isolation Against Spectre in the Cloud
Policy Chain for Securing Service Oriented Architectures
Composable Bounds on Information Flow from Distribution Differences
Enforcing Non-safety Security Policies with Program Monitors
Cryptographic Protocol Explication and End-Point Projection
Towards an Information-Theoretic Framework for Analyzing Intrusion Detection Systems
Decidability of Safety in Graph-Based Models for Access Control
Security Monitoring for Content-Centric Networking
Detecting Video-Game Injectors Exchanged in Game Cheating Communities
Improved Signature Schemes for Secure Multi-party Computation with Certified Inputs
Transparency and Consent Challenges in mHealth Apps: An Interdisciplinary Study of Privacy Policies, Data Sharing, and Dark Patterns
IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time
Resilience Quantification for Critical Infrastructure: Exemplified for Airport Operations
Enhancing Privacy in LTE Paging System Using Physical Layer Identification
Accessorize in the Dark: A Security Analysis of Near-Infrared Face Recognition
Exploring Distribution Learning of Synthetic Data Generators for Manifolds
Stronger Security for Sanitizable Signatures
Utilizing the Ensemble Learning and XAI for Performance Improvements in IoT Network Attack Detection
An Email a Day Could Give Your Health Data Away
A Security Framework for a Mobile Agent System
A Theory of Runtime Enforcement, with Results
Anonymity Preserving Byzantine Vector Consensus
Traffic Analysis against Low-Latency Anonymity Networks Using Available Bandwidth Estimation
Creating Privacy Policies from Data-Flow Diagrams
Disclosure Analysis and Control in Statistical Databases
Quantifying Liveness and Safety of Avalanche's Snowball
Side-Channel Aware Fuzzing
Securing DNSSEC Keys via Threshold ECDSA from Generic MPC
Backdoor Attacks Leveraging Latent Representation in Competitive Learning
Synthesizing Secure Protocols
Secure Multiparty Sampling of a Biased Coin for Differential Privacy
Quantitative Workflow Resiliency
Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings
An Insight into Decisive Factors in Cloud Provider Selection with a Focus on Security
MaleficNet: Hiding Malware into Deep Neural Networks Using Spread-Spectrum Channel Coding
Model-Driven Cyber Range Training: A Cyber Security Assurance Perspective
Towards Reverse Engineering of Industrial Physical Processes
How to Model the Bribery Attack: A Practical Quantification Method in Blockchain
Mitigating Gradient Inversion Attacks in Federated Learning with Frequency Transformation
Safety and Privacy in Vehicular Communications
Practical Keystroke Timing Attacks in Sandboxed JavaScript
On the Routing Convergence Delay in the Lightning Network
Enhancing Usage Control for Performance: An Architecture for Systems of Systems
Fingerprint Surface-Based Detection of Web Bot Detectors
A Formal Model for Role-Based Access Control Using Graph Transformation
Personalized Password Guessing via Modeling Multiple Leaked Credentials of the Same User
A Flexible Method for Information System Security Policy Specification
User Behavior Analysis for Malware Detection
Cumulative Attestation Kernels for Embedded Systems
TATA: Benchmark NIDS Test Sets Assessment and Targeted Augmentation
reteLLMe: Design Rules for Using Large Language Models to Protect the Privacy of Individuals in Their Textual Contributions
Location Proximity Attacks Against Mobile Targets: Analytical Bounds and Attacker Strategies
Order-Revealing Encryption: File-Injection Attack and Forward Security
Emerging Technologies for Authorization and Authentication - First International Workshop, ETAA@ESORICS 2018, Barcelona, Spain, September 7, 2018, Proceedings
Remote Biometrics for Robust Persistent Authentication
BISTRO: Binary Component Extraction and Embedding for Software Security Applications
\delta -DOCA: Achieving Privacy in Data Streams
Evaluation of Standardized Password-Based Key Derivation against Parallel Processing Platforms
SRID: State Relation Based Intrusion Detection for False Data Injection Attacks in SCADA
User-Centric Privacy-Preserving Collection and Analysis of Trajectory Data
AutoGuard: A Dual Intelligence Proactive Anomaly Detection at Application-Layer in 5G Networks
Moderated Redactable Blockchains: A Definitional Framework with an Efficient Construct
Efficient Proving for Practical Distributed Access-Control Systems
An Identity-Based Scheme Providing Zero-Knowledge Authentication and Authenticated Key Exchange
Relational Database Granularity
To Release or Not to Release: Evaluating Information Leaks in Aggregate Human-Genome Data
Private Information Retrieval Using Trusted Hardware
Learning from Vulnerabilities - Categorising, Understanding and Detecting Weaknesses in Industrial Control Systems
PhishCoder: Efficient Extraction of Contextual Information from Phishing Emails
Security Threat Mitigation Trends in Low-Cost RFID Systems
Limitations of the Approach of Solving a Network's Security Problem with a Firewall
A Design Phase for Data Sharing Agreements
An Efficient Cloud-Based Revocable Identity-Based Proxy Re-encryption Scheme for Public Clouds Data Sharing
iCAT: An Interactive Customizable Anonymization Tool
Towards Security in an Open Systems Federation
Managing and Presenting User Attributes over a Decentralized Secure Name System
MIRAGE: A Management Tool for the Analysis and Deployment of Network Security Policies
Efficient Hash-Based Redactable Signature for Smart Grid Applications
AnDarwin: Scalable Detection of Semantically Similar Android Applications
NLSaber: Enhancing Netlink Family Fuzzing via Automated Syscall Description Generation
Secure Pseudonymous Channels
TAFA: A Task-Agnostic Fingerprinting Algorithm for Neural Networks
Augmenting MetaMask to Support TLS-endorsed Smart Contracts
Keeping it Human: A Focus Group Study of Public Attitudes Towards AI in Banking
Membrane: A Posteriori Detection of Malicious Code Loading by Memory Paging Analysis
Making Any Attribute-Based Encryption Accountable, Efficiently
Usability of Display-Equipped RFID Tags for Security Purposes
Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings
A Parallel Privacy-Preserving Shortest Path Protocol from a Path Algebra Problem
Towards a Privacy-Preserving Attestation for Virtualized Networks
Analysis of Cyber Security Features in Industry 4.0 Maturity Models
WASMixer: Binary Obfuscation for WebAssembly
Confidential Boosting with Random Linear Classifiers for Outsourced User-Generated Data
Representation-Independent Data Usage Control
Identifying Critical Attack Assets in Dependency Attack Graphs
Source Code Authorship Attribution Using Long Short-Term Memory Based Networks
Analysing Time Dependent Security Properties in CSP Using PVS
Certifying Decision Trees Against Evasion Attacks by Program Analysis
Decentralized Policy-Hiding ABE with Receiver Privacy
FSmell: Recognizing Inline Function in Binary Code
Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations
JWTKey: Automatic Cryptographic Vulnerability Detection in JWT Applications
A Comprehensive Technical Survey of Contemporary Cybersecurity Products and Solutions
Securely Outsourcing Exponentiations with Single Untrusted Program for Cloud Storage
A Full Bandwidth ATM Firewall
Discovering Novel Attack Strategies from INFOSEC Alerts
AGENP: An ASGrammar-based GENerative Policy Framework
Weaponizing Disinformation Against Critical Infrastructures
State Space Reduction in the Maude-NRL Protocol Analyzer
Graphical Password Authentication Using Cued Click Points
GANSec: Enhancing Supervised Wireless Anomaly Detection Robustness Through Tailored Conditional GAN Augmentation
Equal To The Task?
On Symbolic Verification of Bitcoin's script Language
PwIN - Pwning Intel piN: Why DBI is Unsuitable for Security Applications
Aligning the Concepts of Risk, Security and Privacy Towards the Design of Secure Intelligent Transport Systems
A Fast Single Server Private Information Retrieval Protocol with Low Communication Cost
Coloured Ring Confidential Transactions
StructTransform: A Scalable Attack Surface for Safety-Aligned Large Language Models
RootkitDet: Practical End-to-End Defense against Kernel Rootkits in a Cloud Environment
Towards a Theory of Data Entanglement: (Extended Abstract)
Battery Depletion Attacks on NB-IoT Devices Using Interference
A Linear Logic of Authorization and Knowledge
Strain: A Secure Auction for Blockchains
Collaborative Anomaly Detection System for Charging Stations
Adapting Helios for Provable Ballot Privacy
Improving Adversarial Robustness in Android Malware Detection by Reducing the Impact of Spurious Correlations
Your PIN Sounds Good! Augmentation of PIN Guessing Strategies via Audio Leakage
A Calculus of Information Flow
Mining Malware Specifications through Static Reachability Analysis
Code-Carrying Authorization
Security of Industrial Control Systems and Cyber Physical Systems - First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015, Vienna, Austria, September 21-22, 2015, Revised Selected Papers
Investigating the Animation of Application Permission Dialogs: A Case Study of Facebook
Secure Event Tickets on a Blockchain
SecureBiNN: 3-Party Secure Computation for Binarized Neural Network Inference
Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes
Signature Bouquets: Immutability for Aggregated/Condensed Signatures
Purpose Restrictions on Information Use
Edge Coverage Feedback of Embedded Systems Fuzzing Based on Debugging Interfaces
GLASS: Towards Secure and Decentralized eGovernance Services Using IPFS
Measuring the Impact of Tactical Denial of Sustainability
Secrecy and Sensitivity: Privacy-Performance Trade-Offs in Encrypted Traffic Classification
Privacy Policy Classification with XLNet (Short Paper)
Key Recovery Attack on CRYSTALS-Kyber and Saber KEMs in Key Reuse Scenario
Secure Refactoring with Java Information Flow
A Taxonomy of Attacks Using BGP Blackholing
Cybersecurity Awareness for Small and Medium-Sized Enterprises (SMEs): Availability and Scope of Free and Inexpensive Awareness Resources
Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part II
Event-Based Remote Attacks in HTML5-Based Mobile Apps
Logarithmic-Size Ring Signatures with Tight Security from the DDH Assumption
A Subjective Metric of Authentication
Assessment of a Vulnerability in Iterative Servers Enabling Low-Rate DoS Attacks
Anomaly Detection in the HVAC System Operation by a RadViz Based Visualization-Driven Approach
auth.js: Advanced Authentication for the Web
Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5
Filling the Tax Gap via Programmable Money
Making Picnic Feasible for Embedded Devices
DGM: A Dynamic and Revocable Group Merkle Signature
Towards a Theory of Intrusion Detection
Enforcing the GDPR
k -Zero Day Safety: Measuring the Security Risk of Networks against Unknown Attacks
Online/Offline Public-Index Predicate Encryption for Fine-Grained Mobile Access Control
Privacy-Preserving User Data Oriented Services for Groups with Dynamic Participation
Waiting for CSP - Securing Legacy Web Applications with JSAgents
On the Chinese Wall Model
Complexity of Anonymity for Security Protocols
UEPS - A Second Generation Electronic Wallet
Modelling a Public-Key Infrastructure
A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing
Cybersecurity Challenges in Industrial Control Systems: An Interview Study with Asset Owners in Norway
Towards Inherent Privacy Awareness in Workflows
Finding Server-Side Endpoints with Static Analysis of Client-Side JavaScript
LUMIA: Linear Probing for Unimodal and MultiModal Membership Inference Attacks Leveraging Internal LLM States
EUROMED-JAVA: Trusted Third Party Services for Securing Medical Java Applets
Invited Talk Extended Abstract: Safety and Privacy in Vehicular Communications
Change-Impact Analysis of Firewall Policies
Autocomplete Injection Attack
An Efficient Non-interactive Multi-client Searchable Encryption with Support for Boolean Queries
Privacy Implications of Room Climate Data
Efficient and Secure Outsourcing of Differentially Private Data Publication
Towards Efficient Privacy-Preserving Deep Packet Inspection
Attribute-Based Signatures for Supporting Anonymous Certification
PACE with Mutual Authentication - Towards an Upgraded eID in Europe
Threat Scenarios as a Means to Formally Develop Secure Systems
Combination of Hardware and Software: An Efficient AES Implementation Resistant to Side-Channel Attacks on All Programmable SoC
Anomaly Detection for Industrial Control Systems Using Sequence-to-Sequence Neural Networks
Flexible Manipulation of Labeled Values for Information-Flow Control Libraries
PCS , A Privacy-Preserving Certification Scheme
CHIMÆRA: A Network Security Model
Dynamic Anonymous Index for Confidential Data
Tracking Advanced Persistent Threats in Critical Infrastructures Through Opinion Dynamics
Classifying Android Malware through Subgraph Mining
Multi-Objective Evolutionary Algorithm for Automatic Generation of Adversarial Metamorphic Malware
Fair Peer-to-Peer Content Delivery via Blockchain
Breakdown Resilience of Key Exchange Protocols: NewHope, TLS 1.3, and Hybrids
Privacy-Preserving Trust Management Mechanisms from Private Matching Schemes
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion
A Semantic Model for Embracing Privacy as Contextual Integrity in the Internet of Things (Short Paper)
Precise Extraction of Deep Learning Models via Side-Channel Attacks on Edge/Endpoint Devices
Scalable Wildcarded Identity-Based Encryption
Mirage: Toward a Stealthier and Modular Malware Analysis Sandbox for Android
Light the Signal: Optimization of Signal Leakage Attacks Against LWE-Based Key Exchange
One-More Unforgeability of Blind ECDSA
Hindering Eavesdropping via IPv6 Opportunistic Encryption
A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems
Ballot Secrecy and Ballot Independence Coincide
A Simulation of Document Detection Methods and Reducing False Positives for Private Stream Searching
A Simple Single Slot Finality Protocol for Ethereum
Towards a Toolkit for Utility and Privacy-Preserving Transformation of Semi-structured Data Using Data Pseudonymization
An Accountable Access Control Scheme for Hierarchical Content in Named Data Networks with Revocation
On the Role of Key Schedules in Attacks on Iterated Ciphers
A Framework for the Analysis of Mix-Based Steganographic File Systems
Identifying Safety and Human Factors Issues in Rail Using IRIS and CAIRIS
An Experimental Evaluation of Bow-Tie Analysis for Cybersecurity Requirements
EVExchange: A Relay Attack on Electric Vehicle Charging System
A Blockchain-Based Long-Term Time-Stamping Scheme