yusuke1997/dblp-id-title huggingface dataset:
XACML Policy Integration Algorithms
Leakage Mapping: A Systematic Methodology for Assessing the Side-Channel Information Leakage of Cryptographic Implementations
How to Train Your Browser: Preventing XSS Attacks Using Contextual Script Fingerprints
Reflection as a mechanism for software integrity verification
Mutual Authentication and Trust Bootstrapping towards Secure Disk Encryption
Towards Practical Identification of HF RFID Devices
Battery power-aware encryption
On interdomain routing security and pretty secure BGP (psBGP)
Role-based access control on the web
Toward Robust ASR System against Audio Adversarial Examples using Agitated Logit
Client-side caching for TLS
A practical revocation scheme for broadcast encryption using smartcards
An Anti-Phishing System Employing Diffused Information
Satisfiability and Resiliency in Workflow Authorization Systems
Rectifying Multi-Attack Adversarial Perturbations in Deep Neural Network based Image Classifier
Multi-Stage Enhanced Zero Trust Intrusion Detection System for Unknown Attack Detection in Internet of Things and Traditional Networks
A Multi-server ORAM Framework with Constant Client Bandwidth Blowup
#PrettyFlyForAWiFi: Real-world Detection of Privacy Invasion Attacks by Drones
Dynamic and Efficient Key Management for Access Hierarchies
InkFiltration: Using Inkjet Printers for Acoustic Data Exfiltration from Air-Gapped Networks
Inductive Analysis of the Internet Protocol TLS
Verifiable Graph Processing
Modeling and assessing inference exposure in encrypted databases
Flexible Control of Downloaded Executable Content
Know Your Enemy: Compromising Adversaries in Protocol Analysis
Designing Strong Privacy Metrics Suites Using Evolutionary Optimization
ISOTOP: Auditing Virtual Networks Isolation Across Cloud Layers in OpenStack
DP-Poison: Poisoning Federated Learning under the Cover of Differential Privacy
Mimicry Attacks on Smartphone Keystroke Authentication
B 3 : Backdoor Attacks against Black-box Machine Learning Models
Content-triggered trust negotiation
A framework to enforce access control over data streams
Improved efficiency for revocation schemes via Newton interpolation
BlueBoX: A policy-driven, host-based intrusion detection system
Status-Based Access Control
MaMaDroid: Detecting Android Malware by Building Markov Chains of Behavioral Models (Extended Version)
Role Mining with Probabilistic Models
Batch zero-knowledge proof and verification and its applications
What Users Want From Cloud Deletion and the Information They Need: A Participatory Action Study
Identity Escrow Protocol and Anonymity Analysis in the Applied Pi-Calculus
Evaluating the Privacy Guarantees of Location Proximity Services
Privacy-preserving Decentralized Federated Learning over Time-varying Communication Graph
Automated Security Assessments of Amazon Web Services Environments
CBDRA-IS: Centrality-Based Defense Resource Allocation for Securing Interdependent Systems
Formal model and policy specification of usage control
Non-intrusive Balance Tomography Using Reinforcement Learning in the Lightning Network
Resilience-by-design in Adaptive Multi-agent Traffic Control Systems
Texture to the Rescue: Practical Paper Fingerprinting Based on Texture Patterns
MOTION - A Framework for Mixed-Protocol Multi-Party Computation
Improving Unlinkability of Attribute-based Authentication through Game Theory
Flexichain: Flexible Payment Channel Network to Defend Against Channel Exhaustion Attack
ThermoSecure: Investigating the Effectiveness of AI-Driven Thermal Attacks on Commonly Used Computer Keyboards
Behavioral Study of Users When Interacting with Active Honeytokens
Uncovering CWE-CVE-CPE Relations with Threat Knowledge Graphs
The Specification and Enforcement of Authorization Constraints in Workflow Management Systems
System Auditing for Real-Time Systems
Adaptive Network Intrusion Detection Using Reinforcement Learning with Proximal Policy Optimization
Attack Context Embedded Data Driven Trust Diagnostics in Smart Metering Infrastructure
One Size Does Not Fit All: A Longitudinal Analysis of Brazilian Financial Malware
A Systematic Analysis of the Capital One Data Breach: Critical Lessons Learned
Access Control Policy Translation, Verification, and Minimization within Heterogeneous Data Federations
Picture Gesture Authentication: Empirical Analysis, Automated Attacks, and Scheme Evaluation
High Dictionary Compression for Proactive Password Checking
Exploiting Behavioral Side Channels in Observation Resilient Cognitive Authentication Schemes
Just fast keying: Key agreement in a hostile internet
Resilient Privacy Protection for Location-Based Services through Decentralization
Discriminative Power of Typing Features on Desktops, Tablets, and Phones for User Identification
ODSBR: An on-demand secure Byzantine resilient routing protocol for wireless ad hoc networks
A key recovery attack on the 802.11b wired equivalent privacy protocol (WEP)
X-GTRBAC: an XML-based policy specification framework and architecture for enterprise-wide access control
Crypto-based identifiers (CBIDs): Concepts and applications
SPArch: A Hardware-oriented Sketch-based Architecture for High-speed Network Flow Measurements
Security of multithreaded programs by compilation
On the Security and Usability Implications of Providing Multiple Authentication Choices on Smartphones: The More, the Better?
Cross-application data provenance and policy enforcement
GPLADD: Quantifying Trust in Government and Commercial Systems A Game-Theoretic Approach
Scalable multicast security with dynamic recipient groups
ArmSpy++: Enhanced PIN Inference through Video-based Fine-grained Arm Posture Analysis
Relations among privacy notions
Integrity Attacks on Real-Time Pricing in Electric Power Grids
Malicious Overtones: Hunting Data Theft in the Frequency Domain with One-class Learning
Performance and Usability Evaluation of Brainwave Authentication Techniques with Consumer Devices
Puppetnets: Misusing Web Browsers as a Distributed Attack Infrastructure
Using Episodic Memory for User Authentication
New payload attribution methods for network forensic investigations
"So if Mr Blue Head here clicks the link..." Risk Thinking in Cyber Security Decision Making
An authorization model for a public key management service
Tractor Beam: Safe-hijacking of Consumer Drones with Adaptive GPS Spoofing
C3PO: Cloud-based Confidentiality-preserving Continuous Query Processing
An effective role administration model using organization structure
Data Usage Control for Distributed Systems
Clustering intrusion detection alarms to support root cause analysis
Signature schemes based on the strong RSA assumption
Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities
Adaptive Cyber Defense Against Multi-Stage Attacks Using Learning-Based POMDP
Measures of Information Leakage for Incomplete Statistical Information: Application to a Binary Privacy Mechanism
Formal Security Analysis of the OpenID FAPI 2.0 Family of Protocols: Accompanying a Standardization Process
A Solicitous Approach to Smart Contract Verification
Multi-agent Deep Reinforcement Learning-based Key Generation for Graph Layer Security
Empowering End Users to Confine Their Own Applications: The Results of a Usability Study Comparing SELinux, AppArmor, and FBAC-LSM
BLC: Private Matrix Factorization Recommenders via Automatic Group Learning
Corrective Enforcement: A New Paradigm of Security Policy Enforcement by Monitors
Off-Path TCP Injection Attacks
Stateful Protocol Composition in Isabelle/HOL
Toward a Robust Detection of PowerShell Malware against Code Mixing and Obfuscation by Using Sentence Transformer and Similarity Learning
FOSSIL : A Resilient and Efficient System for Identifying FOSS Functions in Malware Binaries
Practical and efficient cryptographic enforcement of interval-based access control policies
Access control with IBM Tivoli access manager
A Novel Hybrid Approach for Multi-Dimensional Data Anonymization for Apache Spark
PP-trust-X: A system for privacy preserving trust negotiations
Rumpole: An Introspective Break-Glass Access Control Language
Security Evaluation of a Banking Fraud Analysis System
Thwarting E-mail Spam Laundering
Information Leaks in Structured Peer-to-Peer Anonymous Communication Systems
Privado: Privacy-preserving Group-based Advertising Using Multiple Independent Social Network Providers
Secure and selective dissemination of XML documents
Exploiting Mixed Binaries
Guest editorial: Special issue on access control models and technologies
Privacy-Preserving Training of Support Vector Machines via Secure Multiparty Computation
Defending Against Membership Inference Attacks on Beacon Services
The Seven Deadly Sins of the HTML5 WebAPI: A Large-scale Study on the Risks of Mobile Sensor-based Attacks
DriverGuard: Virtualization-Based Fine-Grained Protection on I/O Flows
Designing Password Policies for Strength and Usability
Pareto Optimal Security Resource Allocation for Internet of Things
Introducing the Temporal Dimension to Memory Forensics
Verifiable encryption of digital signatures and applications
Distributed and Secure Bootstrapping of Mobile Ad Hoc Networks: Framework and Constructions
Automated Anomaly Detector Adaptation using Adaptive Threshold Tuning
Breaking BLE MAC Address Randomization with Allowlist-Based Side Channels and its Countermeasure
FIMCE: A Fully Isolated Micro-Computing Environment for Multicore Systems
Understanding Information Disclosure from Secure Computation Output: A Comprehensive Study of Average Salary Computation
Long-Span Program Behavior Modeling and Attack Detection
Privacy-preserving Resilient Consensus for Multi-agent Systems in a General Topology Structure
Split-ballot voting: Everlasting privacy with distributed trust
Dynamic access-control policies on XML encrypted data
Private Information: To Reveal or not to Reveal
Systematic Mutation-Based Evaluation of the Soundness of Security-Focused Android Static Analysis Techniques
Defining strong privacy for RFID
Characterizing the Security of the SMS Ecosystem with Public Gateways
ZPredict: ML-Based IPID Side-channel Measurements
Information leakage from optical emanations
A propositional policy algebra for access control
DELM: Deep Ensemble Learning Model for Anomaly Detection in Malicious Network Traffic-based Adaptive Feature Aggregation and Network Optimization
Toward Robotic Robbery on the Touch Screen
Fast Proxy Re-Encryption for Publish/Subscribe Systems
Design, Development, and Evaluation of a Cybersecurity, Privacy, and Digital Literacy Game for Tweens
Accountability protocols: Formalized and verified
A logic for state-modifying authorization policies
Efficient multicast stream authentication using erasure codes
Efficient and Accurate Behavior-Based Tracking of Malware-Control Domains in Large ISP Networks
A Simple and Generic Construction of Authenticated Encryption with Associated Data
Authentication Metric Analysis and Design
A framework for constructing features and models for intrusion detection systems
Pareto-optimal Defenses for the Web Infrastructure: Theory and Practice
DADS: Decentralized Attestation for Device Swarms
Highliner: Enhancing Binary Analysis through NLP-Based Instruction-Level Detection of C++ Inline Functions
Dynamic Provable Data Possession
Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection
Security Best Practices: A Critical Analysis Using IoT as a Case Study
Authenticated Dictionaries: Real-World Costs and Trade-Offs
Access controls for oblivious and anonymous systems
On countering online dictionary attacks with login histories and humans-in-the-loop
Secure sessions for Web services
CANTINA+: A Feature-Rich Machine Learning Framework for Detecting Phishing Web Sites
Redoubtable Sensor Networks
VeriBin: A Malware Authorship Verification Approach for APT Tracking through Explainable and Functionality-Debiasing Adversarial Representation Learning
AutoProfile: Towards Automated Profile Generation for Memory Analysis
ANCHOR: Logically Centralized Security for Software-Defined Networks
Authentication Challenges in a Global Environment
The Traust Authorization Service
Incentivizing Secure Software Development: The Role of Voluntary Audit and Liability Waiver
Generating Quality Threat Intelligence Leveraging OSINT and a Cyber Threat Unified Taxonomy
Security Implications of the Morello Platform: An Empirical Threat Model-Based Analysis
Configuring role-based access control to enforce mandatory and discretionary access control policies
A Novel Cross-Network Embedding for Anchor Link Prediction with Social Adversarial Attacks
The Dilemma of User Engagement in Privacy Notices: Effects of Interaction Modes and Habituation on User Attention
Database Audit Workload Prioritization via Game Theory
A Comparison of Systemic and Systematic Risks of Malware Encounters in Consumer and Enterprise Environments
Deepfake Detection Model Combining Texture Differences and Frequency Domain Information
Introduction to ACM TISSEC special issue on CCS 2005
Attack-Resistant Location Estimation in Wireless Sensor Networks
Vulnerabilities of Unattended Face Verification Systems to Facial Components-based Presentation Attacks: An Empirical Study
Log-related Coding Patterns to Conduct Postmortems of Attacks in Supervised Learning-based Projects
CBAs: Character-level Backdoor Attacks against Chinese Pre-trained Language Models
Secure Audit Logs to Support Computer Forensics
Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation
Pulse-Response: Exploring Human Body Impedance for Biometric Recognition
The Dark Side of Native Code on Android
Abstract Non-Interference: A Unifying Framework for Weakening Information-flow
An integrated approach to engineer and enforce context constraints in RBAC environments
Improved proxy re-encryption schemes with applications to secure distributed storage
Adversarial Attack and Defense for Commercial Black-box Chinese-English Speech Recognition Systems
Run-Time Enforcement of Nonsafety Policies
PrivExtractor: Toward Redressing the Imbalance of Understanding between Virtual Assistant Users and Vendors
The session token protocol for forensics and traceback
Authenticated error-correcting codes with applications to multicast authentication
AdverSPAM: Adversarial SPam Account Manipulation in Online Social Networks
Mo(bile) Money, Mo(bile) Problems: Analysis of Branchless Banking Applications
Robust and efficient authentication of video stream broadcasting
An Efficient User Verification System Using Angle-Based Mouse Movement Biometrics
A Trustworthy and Untraceable Centralised Payment Protocol for Mobile Payment
Risk Prediction of IoT Devices Based on Vulnerability Analysis
Administrative scope: A foundation for role-based administrative models
Practical defenses against pollution attacks in wireless network coding
A Usability Study of Four Secure Email Tools Using Paired Participants
MPSS: Mobile Proactive Secret Sharing
On the performance of group key agreement protocols
Flexible Mechanisms for Remote Attestation
Safe Driving Adversarial Trajectory Can Mislead: Toward More Stealthy Adversarial Attack Against Autonomous Driving Prediction Module
Maintaining control while delegating trust: Integrity constraints in trust management
The ARBAC97 Model for Role-Based Administration of Roles
Code Renewability for Native Software Protection
MRAAC: A Multi-stage Risk-aware Adaptive Authentication and Access Control Framework for Android
Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution
Passive-Logging Attacks Against Anonymous Communications Systems
A Decentralized Private Data Marketplace using Blockchain and Secure Multi-Party Computation
A graph-based formalism for RBAC
End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs
Keystroke analysis of free text
Robust Decentralized Virtual Coordinate Systems in Adversarial Environments
OptiClass : An Optimized Classifier for Application Layer Protocols Using Bit Level Signatures
Token-based scanning of source code for security problems
Constrained Proximity Attacks on Mobile Targets
CrowdPrivacy: Publish More Useful Data with Less Privacy Exposure in Crowdsourced Location-Based Services
Assessing and Mitigating the Privacy Implications of Eye Tracking on Handheld Mobile Devices
Accountable Private Set Cardinality for Distributed Measurement
Information Leakage Games: Exploring Information as a Utility Function
Dealing with Security Alert Flooding: Using Machine Learning for Domain-independent Alert Aggregation
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval
Secure password-based cipher suite for TLS
A Framework for Identifying Compromised Nodes in Wireless Sensor Networks
The Tip of the Iceberg: On the Merits of Finding Security Bugs
"Sign in with ... Privacy ": Timely Disclosure of Privacy Differences among Web SSO Login Options
Introduction to special section SACMAT'08
Privacy Policies across the Ages: Content of Privacy Policies 1996-2021
Deep PackGen: A Deep Reinforcement Learning Framework for Adversarial Network Packet Generation
Effectiveness and detection of denial-of-service attacks in tor
PEREA: Practical TTP-free revocation of repeatedly misbehaving anonymous users
Attribute Inference Attacks in Online Social Networks
Secure Selections on Encrypted Multi-writer Streams
Sphinx-in-the-Head: Group Signatures from Symmetric Primitives
Spoofing Against Spoofing: Toward Caller ID Verification in Heterogeneous Telecommunication Systems
On the consistency of distributed proofs with hidden subtrees
Traducement: A model for record security
GradCAM-AE: A New Shield Defense against Poisoning Attacks on Federated Learning
Secure and verifiable outsourcing of large-scale biometric computations
Enforcing access control in Web-based social networks
Deterring voluntary trace disclosure in re-encryption mix-networks
Costs and Benefits of Authentication Advice
Examining a Large Keystroke Biometrics Dataset for Statistical-Attack Openings
Efficient and secure protocols for privacy-preserving set operations
Don't Let Google Know I'm Lonely
A key-chain-based keying scheme for many-to-many secure group communication
Hidden in Plain Sight: Exploring Privacy Risks of Mobile Augmented Reality Applications
Level Up with ML Vulnerability Identification: Leveraging Domain Constraints in Feature Space for Robust Android Malware Detection
TLS-MHSA: An Efficient Detection Model for Encrypted Malicious Traffic based on Multi-Head Self-Attention Mechanism
Detection of Rogue Certificates from Trusted Certificate Authorities Using Deep Neural Networks
Role-based authorization constraints specification
PredicTor: A Global, Machine Learning Approach to Tor Path Selection
Semi-Supervised Classification of Malware Families Under Extreme Class Imbalance via Hierarchical Non-Negative Matrix Factorization with Automatic Model Selection
VULCON: A System for Vulnerability Prioritization, Mitigation, and Management
Efficient Authorization of Graph-database Queries in an Attribute-supporting ReBAC Model
X-squatter: AI Multilingual Generation of Cross-Language Sound-squatting
Editorial ESORICS 2007
On the Construction of Practical Key Predistribution Schemes for Distributed Sensor Networks Using Combinatorial Designs
Technological and Human Factors of Malware Attacks: A Computer Security Clinical Trial Approach
On mutually exclusive roles and separation-of-duty
Kernel Protection Against Just-In-Time Code Reuse
Swarm: A Distributed Ledger-based Framework to Enhance Air Traffic Control Security Using ADS-B Protocol
Verifying Completeness of Relational Query Answers from Online Servers
Tree-based group key agreement
Breaking and provably repairing the SSH authenticated encryption scheme: A case study of the Encode-then-Encrypt-and-MAC paradigm
Delegation logic: A logic-based approach to distributed authorization
Time Series Analysis Neural Networks for Detecting False Data Injection Attacks of Different Rates on Power Grid State Estimation
RansomShield: A Visualization Approach to Defending Mobile Systems Against Ransomware
Valued Authorization Policy Existence Problem: Theory and Experiments
Efficient Privacy-Preserving Matrix Factorization for Recommendation via Fully Homomorphic Encryption
MGAN: A Multi-view Graph Adaptive Network for Robust Malicious Traffic Detection
Efficient Attack Graph Analysis through Approximate Inference
Don't Trust the Cloud, Verify: Integrity and Consistency for Cloud Object Stores
Euler: Detecting Network Lateral Movement via Scalable Temporal Link Prediction
A Study on the Use of Checksums for Integrity Verification of Web Downloads
Gatling: Automatic Performance Attack Discovery in Large-Scale Distributed Systems
Exception-Based Information Flow Control in Object-Oriented Systems
ZTA-IoT: A Novel Architecture for Zero-Trust in IoT Systems and an Ensuing Usage Control Model
Model Checking Distributed Mandatory Access Control Policies
Quantifying and Exploiting Adversarial Vulnerability: Gradient-Based Input Pre-Filtering for Enhanced Performance in Black-Box Attacks
On the Security of Smartphone Unlock PINs
Universally Composable RFID Identification and Authentication Protocols
Evaluating the Strength of Genomic Privacy Metrics
Provably Secure Timed-Release Public Key Encryption
Sophisticated Access Control via SMT and Logical Frameworks
Authorization recycling in hierarchical RBAC systems
Noninvasive Methods for Host Certification
symbSODA: Configurable and Verifiable Orchestration Automation for Active Malware Deception
Real-time protocol analysis for detecting link-state routing protocol attacks
Security Analysis of the Consumer Remote SIM Provisioning Protocol
The Password Life Cycle
SAM: Query-efficient Adversarial Attacks against Graph Neural Networks
Access privacy and correctness on untrusted storage
Security Seals on Voting Machines: A Case Study
Handling Anti-Virtual Machine Techniques in Malicious Software
Enforcing Safety and Consistency Constraints in Policy-Based Authorization Systems
Testing Intrusion detection systems: a critique of the 1998 and 1999 DARPA intrusion detection system evaluations as performed by Lincoln Laboratory
LOT: A Defense Against IP Spoofing and Flooding Attacks
Remote data checking using provable data possession
A Close Look at a Daily Dataset of Malware Samples
DeviceWatch: A Data-Driven Network Analysis Approach to Identifying Compromised Mobile Devices with Graph-Inference
A Multi-view Approach to Preserve Privacy and Utility in Network Trace Anonymization
KIST: Kernel-Informed Socket Transport for Tor
Guest editorial: Special issue on computer and communications security
Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure
A Video-based Attack for Android Pattern Lock
A Secret Sharing-Inspired Robust Distributed Backdoor Attack to Federated Learning
Large-scale and Robust Code Authorship Identification with Deep Feature Learning
Authenticated Index Structures for Aggregation Queries
Return-Oriented Programming: Systems, Languages, and Applications
A Formal Approach to Physics-based Attacks in Cyber-physical Systems
Xor-trees for efficient anonymous multicast and reception
Formal foundations for hybrid hierarchies in GTRBAC
Safety in automated trust negotiation
Remus: a security-enhanced operating system
BAF and FI-BAF: Efficient and Publicly Verifiable Cryptographic Schemes for Secure Logging in Resource-Constrained Systems
Randomization-Based Intrusion Detection System for Advanced Metering Infrastructure
Scalable Private Set Intersection Based on OT Extension
A Vulnerability Assessment Framework for Privacy-preserving Record Linkage
Friendly Fire: Cross-app Interactions in IoT Platforms
An experimental security analysis of two satphone standards
Analytical Models for the Scalability of Dynamic Group-key Agreement Protocols and Secure File Sharing Systems
Key Negotiation Downgrade Attacks on Bluetooth and Bluetooth Low Energy
Evaluating Honeyfile Realism and Enticement Metrics
Strength of two data encryption standard implementations under timing attacks
Practical safety in flexible access control models
Secure Time Synchronization in Sensor Networks
SpartanRPC: Remote Procedure Call Authorization in Wireless Sensor Networks
Privacy-Preserving Publishing of Hierarchical Data