yusuke1997/dblp-id-title huggingface dataset:
A Semantic-Based Transaction Processing Model for Multilevel Transactions
Group fairness under obfuscated sensitive information
DABKE: Secure deniable attribute-based key exchange framework
Identifying parasitic malware as outliers by code clustering
Secure authentication in the grid: A formal analysis of DNP3 SAv5
Secure pseudonym management using mediated identity-based encryption
Strong watermark numbers encoded as reducible permutation graphs against edge modification attacks
Type-based analysis of key management in PKCS#11 cryptographic devices
JCS special issue on EU-funded ICT research on Trust and Security
A secure compiler for session abstractions
Preserving user query privacy in cloud-based security services
An efficient query recovery attack against a graph encryption scheme
Polynomial liveness
OTKI-F: An efficient memory-secure multi-keyword fuzzy search protocol
Secure authentication protocols to resist off-line attacks on authentication data table
Achieving information flow security through monadic control of effects
A game-theoretic analysis of preventing spam over Internet Telephony via audio CAPTCHA-based authentication
An Environment for Security Protocol Intrusion Detection
How persuasive is a phishing email? A phishing game for phishing awareness
Authorization enforcement in distributed query evaluation
ANT-ET: An end-to-end multimodal framework for fine-grained encrypted traffic fingerprinting
Life-cycle management of X.509 certificates based on LDAP directories
Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols
SIA: Secure information aggregation in sensor networks
TripleMon: A multi-layer security framework for mediating inter-process communication on Android
Verification of stateful cryptographic protocols with exclusive OR
Automatically deriving information-theoretic bounds for adaptive side-channel attacks
Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles
Information flow in trust management systems
Edge-RMP: Minimizing administrative assignments for role-based access control
A decision procedure for the existence of a rank function
Towards automated security policy enforcement in multi-tenant virtual data centers
User-aided reader revocation in PKI-based RFID systems
Model-Based Analysis of Configuration Vulnerabilities
Delegated integrity check for hierarchical cloud data
The generalized temporal role mining problem
Model-checking trace-based information flow properties for infinite-state systems
Iterative enforcement by suppression: Towards practical enforcement theories
Sub-session hijacking on the web: Root causes and prevention
Special issue ESORICS 2021
Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality
Security analysis for temporal role based access control
A soft constraint-based approach to the cascade vulnerability problem
Guiding a general-purpose C verifier to prove cryptographic protocols
Enforcing authorizations while protecting access confidentiality
A scalable algorithm for network reachability analysis with cyclic attack graphs
Secure multi-execution: Fine-grained, declassification-aware, and transparent
Benchmarking frameworks and comparative studies of Controller Area Network (CAN) intrusion detection systems: A review
Resource and timing aspects of security protocols
Practical and provably secure distance-bounding
Timed analysis of security protocols
Universal optimality and robust utility bounds for metric differential privacy
Gradual GRAM and secure computation for RAM programs
Proved generation of implementations from computationally secure protocol specifications
Blind Electronic Commerce
Inference-proof view update transactions with forwarded refreshments
Analyzing worms and network traffic using compression
Lattice-based remote user authentication from reusable fuzzy signature
Enhancing robustness of backdoor attacks on real-world object detection systems
Special issue on verified information flow security
Provably repairing the ISO/IEC 9798 standard for entity authentication
Event-driven RBAC
Securing blockchain-based timed data release against adversarial attacks
Prometheus: Analyzing WebInject-based information stealers
Loose associations to increase utility in data publishing
Multiple Key Distribution Maintaining User Anonymity via Broadcast Channels
Secure protocols for cumulative reward maximization in stochastic multi-armed bandits
Special Issue: Advances in Security for Communication Networks
Exploiting WiFi usability features for association attacks in IEEE 802.11: Attack analysis and mitigation controls
Neural network Trojan
An approach to cooperative updates of XML documents in distributed systems
Network intrusion detection based on a generalized correlation function
Substring search over encrypted data
Improved typings for probabilistic noninterference in a multi-threaded language
Deploying ABAC policies using RBAC systems
PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL
Knowledge, Belief, and Semantics in the Analysis of Cryptographic Protocols
Synthesizing DNA molecules with identity-based digital signatures to prevent malicious tampering and enabling source attribution
Using type analysis in compiler to mitigate integer-overflow-to-buffer-overflow threat
Bucketing and information flow analysis for provable timing attack mitigation
Analyzing uncertainty in TG protection graphs with TG/MC
Verifying privacy-type properties of electronic voting protocols
Automatic analysis of malware behavior using machine learning
Scriptable and composable SNARKs in the trusted hardware model
Analysis of probabilistic contract signing
CA trust management for the Web PKI
Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation
A large-scale analysis of HTTPS deployments: Challenges, solutions, and recommendations
Identity-based chameleon hash from lattices
Privacy in video surveilled spaces
Towards designing robust CAPTCHAs
A Comparative Experimental Evaluation Study of Intrusion Detection System Performance in a Gigabit Environment
Permissive runtime information flow control in the presence of exceptions
A Calculus for Security Bootstrapping in Distributed Systems
On the semantics of communications when verifying equivalence properties
Ballot secrecy: Security definition, sufficient conditions, and analysis of Helios
Surviving unpatchable vulnerabilities through heterogeneous network hardening options
From qualitative to quantitative proofs of security properties using first-order conditional logic
In Search of Multiple Domain Key Recovery
Building an Authentication Service for Distributed Systems
Private Web Browsing
A severity-based quantification of data leakages in database systems
Enforcing provisioning and authorization policy in the Antigone system
Practical Automated Detection of Stealthy Portscans
A formal model of rational exchange and its application to the analysis of Syverson's protocol
Modeling, Specifying and Implementing Workflow Security in Cyberspace
A game-based definition of coercion resistance and its applications
AntibIoTic: The Fog-enhanced distributed security system to protect the (legacy) Internet of Things
A Unifying Approach to the Security of Distributed and Multi-Threaded Programs
Modular plans for secure service composition
Information flow in secure contexts
Independence from obfuscation: A semantic framework for diversity
Using Digital Credentials on the World Wide Web
Characterizing a property-driven obfuscation strategy
Towards adding verifiability to web-based Git repositories
Coprocessor-based hierarchical trust management for software integrity and digital identity protection
Range search on encrypted spatial data with dynamic updates
Assuring BetterTimes
Efficient security policy enforcement for the mobile environment
Privacy-preserving policy evaluation in multi-party access control
Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage
Ensuring cybersecurity for industrial networks: A solution for ARP-based MITM attacks
WebCallerID: Leveraging cellular networks for Web authentication
Modelling human threats in security ceremonies
Brandt's fully private auction protocol revisited
On bounding problems of quantitative information flow
A Resource Allocation Model for Denial of Service Protection
A static analysis for quantifying information flow in a simple imperative language
Verifying resource access control on mobile interactive devices
Formal verification of security properties in trust management policy
Collusion attacks and fair time-locked deposits for fast-payment transactions in Bitcoin
Polynomial runtime in simulatability definitions
A profile anonymization model for location-based services
A formal model of Checked C
StatVerif: Verification of stateful processes
A Ticket-Based Access Control Architecture for Object Systems
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving
A Performance Comparison of Five Transaction Processing Algorithms for the SINTRA Replicated-Architecture Database system
Aggregating vulnerability metrics in enterprise networks using attack graphs
Is one vote really enough? Vote privacy with re-voting and a dishonest ballot box
The impact of application context on privacy and performance of keystroke authentication systems
Identity Federation for VoIP systems
Certificate Chain Discovery in SPKI/SDSI
Searchable symmetric encryption: Improved definitions and efficient constructions
A mutation-based approach for the formal and automated analysis of security ceremonies
Checking security policies through an enhanced Control Flow Analysis
NetSTAT: A Network-based Intrusion Detection System
Manageable Access Control for CORBA
Secure information flow for a concurrent language with scheduling
Cardinality-based inference control in data cubes
Generic non-repudiation protocols supporting transparent off-line TTP
Types and effects for asymmetric cryptographic protocols
Prevention of information attacks by run-time detection of self-replication in computer codes
Verifying layered security protocols
Decidability of context-explicit security protocols
Special issue: Security and Cryptography for Networks - SCN 2020
Secure outsourced garbled circuit evaluation for mobile devices
Language based policy analysis in a SPKI Trust Management System
Panoptis: Intrusion Detection Using a Domain-Specific Language
Automated detection of parameter tampering opportunities and vulnerabilities in web applications
Optimizing mix-zone coverage in pervasive wireless networks
Secure Object Deletion and Garbage Collection in Multilevel Object Bases
Leveraging personal devices for stronger password authentication from untrusted computers
Detecting IEEE 802.11 MAC layer misbehavior in ad hoc networks: Robust strategies against individual and colluding attackers
A Note on the Randomness in Dynamic Threshold Schemes
Modeling and preventing inferences from sensitive value distributions in data release
USBCaptchaIn: Preventing (un)conventional attacks from promiscuously used USB devices in industrial control systems
Applying effective feature selection techniques with hierarchical mixtures of experts for spam classification
On declassification and the non-disclosure policy
Probabilistic analysis of an anonymity system
Expected loss analysis for authentication in constrained channels
Multilevel secure data stream processing: Architecture and implementation
Translation-based steganography
On the security and usability of dynamic cognitive game CAPTCHAs
A method for unbounded verification of privacy-type properties
On Inter-Realm Authentication in Large Distributed Systems
Using temporal probabilistic logic for optimal monitoring of security events with limited resources
A Petri Net Based Safety Analysis of Workflow Authorization Models
Aggregation and Separation as Noninterference Properties
Compositional information flow security for concurrent programs
Secure outsourced computation of iris matching
Personal health records sharing scheme based on attribute based signcryption with data integrity verifiable
Type-based cryptographic operations
Enforcing Mandatory and Discretionary Security in Workflow Management Systems
Hordes: a Multicast-Based Protocol for Anonymity
Securing information flow via dynamic capture of dependencies
The Economic Cost of Publicly Announced Information Security Breaches: Empirical Evidence from the Stock Market
Leak-free mediated group signatures
Implementing interactive analysis of attack graphs using relational databases
Shared and searchable encrypted data for untrusted servers
CookiExt: Patching the browser against session hijacking attacks
Risk-aware multi-objective optimized virtual machine placement in the cloud
Authentic Data Publication Over the Internet
Planning and verifying service composition
Privacy implications of room climate data
Relating multiset rewriting and process algebras for security protocol analysis
Research on automated rollbackability of intrusion response
The bi-objective workflow satisfiability problem and workflow resiliency
Effective verification of confidentiality for multi-threaded programs
Discriminative spatial-temporal feature learning for modeling network intrusion detection systems
Modular protections against non-control data attacks
A more efficient computationally sound non-interactive zero-knowledge shuffle argument
Chinese wall security for decentralized workflow management systems
Information flow analysis for a dynamically typed language with staged metaprogramming
A formal and automated approach to exploiting multi-stage attacks of web applications
Secure multi-execution of web scripts: Theory and practice
Decoupling coding habits from functionality for effective binary authorship attribution
Model-checking trace-based information flow properties
A framework for analyzing RFID distance bounding protocols
Cache attacks on subkey calculation of Blowfish
CWASAR: a European Infrastructure for Secure Electronic Commerce
Practical eavesdropping and skimming attacks on high-frequency RFID tokens
Web search query privacy: Evaluating query obfuscation and anonymizing networks
Per-session security: Password-based cryptography revisited
Invalid certificates in modern browsers: A socio-technical analysis
Journal of Computer SecuritySpecial Number devoted to the best papers of the Security Track at the 2006 ACM Symposium on Applied Computing
A decision procedure and typing result for alpha-beta privacy
Provably secure memory isolation for Linux on ARM
Side channel analysis of SPECK
A Checksum-based Corruption Detection Technique
Privacy-supporting cloud computing by in-browser key translation
Computationally sound analysis of protocols using bilinear pairings
Identifying stealth malware using CPU power consumption and learning algorithms
Policy-driven role-based access management for ad-hoc collaboration
EQRC: A secure QR code-based E-coupon framework supporting online and offline transactions
Fast threshold ECDSA with honest majority
Video interframe forgery detection: Classification, technique & new dataset
Exploring privacy versus data quality trade-offs in anonymization techniques using multi-objective optimization
Scramblesuit: An effective timing side-channels framework for malware sandbox evasion
Using Sample Size to Limit Exposure to Data Mining
Symbolic bisimulation for the applied pi calculus
A Logical View of Secure Dependencies
A Kernelized Architecture for Multilevel Secure Object-Oriented Databases Supporting Write-Up
Fixed- vs. Variable-Length Patterns for Detecting Suspicious Process Behavior
Evaluating privacy threats in released database views by symmetric indistinguishability
A Semantic-Based Execution Model for Multilevel Secure Workflows
A study on a feasible no-root approach on Android
Formal security analysis of PKCS#11 and proprietary extensions
Specifying Security for Computer Supported Collaborative Working
WARChain: Consensus-based trust in web archives via proof-of-stake blockchain technology
Probabilistic cost enforcement of security policies
Automated reasoning for equivalences in the applied pi calculus with barriers
5PM: Secure pattern matching
On the security of group communication schemes
A multi-server oblivious dynamic searchable encryption framework
Applying Formal Methods to the Analysis of a Key Management Protocol
Enforcing Robust Declassification and Qualified Robustness
Spread Identity: A new dynamic address remapping mechanism for anonymity and DDoS defense
Short voice imitation man-in-the-middle attacks on Crypto Phones: Defeating humans and machines
A Taxonomy of Security Properties for Process Algebras
PESrank: An Explainable online password strength estimator
k-Skyband query answering with differential privacy
Reasoning About Secrecy for Active Networks
A unified model for unconditionally secure key distribution
Semantics-based code obfuscation by abstract interpretation
Enhancing Profiles for Anomaly Detection Using Time Granularities
Temporal Authorization Bases: From Specification to Integration
Maybe tainted data: Theory and a case study
Private identity agreement for private set functionalities
RSA-based Verifiable and Recoverable Encryption of Signatures and its application in certified e-mail delivery
On the expressiveness and semantics of information flow types
Efficient construction of machine-checked symbolic protocol security proofs
Remote data integrity checking with server-side repair
Special issue on security and high performance computing systems
The BirliX Security Architecture
Some Attacks Upon Authenticated Group Key Agreement Protocols
A multi-party, fine-grained permission and policy enforcement framework for hybrid mobile applications
Robust RSA distributed signatures for large-scale long-lived ad hoc networks
Privacy-preserving incremental data dissemination
Hermes: A quantitative trust establishment framework for reliable data packet delivery in MANETs
Programmable Access Control
Systematic parsing of X.509: Eradicating security issues with a parse tree
Preprocessing for controlled query evaluation with availability policy
The Extended Schematic Protection Model
Depender Graphs: A Method of Fault-Tolerant Certificate Distribution
A privacy-aware access control system
Security applications of trust in multi-agent systems
Notarized federated ID management and authentication
Model Checking Security Properties of Control Flow Graphs
Towards a Definitive Paradigm for Security in Object-Oriented Systems and Applications
Optimal threshold padlock systems
Calibrating the power of schedulers for probabilistic polynomial-time calculus
The Expressive Power of Multi-parent Creation in Monotonic Access Control Models
A formal framework for security analysis of NFC mobile coupon protocols
Log2Graph: A graph convolution neural network based method for insider threat detection
A comprehensive survey on data provenance: State-of-the-art approaches and their deployments for IoT security enforcement
Optimality of Asynchronous Two-Party Secure Data-Exchange Protocols
Obstruction-free authorization enforcement: Aligning security and business objectives
The impact of information security breaches: Has there been a downward shift in costs?
On the impossibility of building secure Cliques-type authenticated group key agreement protocols
DeepReturn: A deep neural network can learn how to detect previously-unseen ROP payloads without using any heuristics
Certifying machine learning models against evasion attacks by program analysis
Verified indifferentiable hashing into elliptic curves
Anonymizing transactional datasets
Special issue on socio-technical aspects in security - editorial
Short blind signatures
Deep learning algorithms for cyber security applications: A survey
Inductive Verification of Smart Card Protocols
Reconstructing Trust Management
Securing vehicular ad hoc networks
Accelerated AES implementations via generalized instruction set extensions
A logical framework for history-based access control and reputation systems
Proving Noninterference and Functional Correctness Using Traces
Tree-based HB protocols for privacy-preserving authentication of RFID tags
Evaluating the stealth of reinforcement learning-based cyber attacks against unknown scenarios using knowledge transfer techniques
Authentication protocols based on low-bandwidth unspoofable channels: A comparative survey
Model checking SPKI/SDSI
Strong Authentication and Privacy with Standard Browsers
Address-space layout randomization using code islands
The intrinsic dimensionality of network datasets and its applications
PCPOR: Public and constant-cost proofs of retrievability in cloud
Detecting opinion spammer groups and spam targets through community discovery and sentiment analysis
Secrecy for bounded security protocols with freshness check is NEXPTIME-complete
Embedding agents within the intruder to detect parallel attacks
SQLaser: Detecting database management system (DBMS) logic bugs with clause-guided fuzzing
Guessing attacks and the computational soundness of static equivalence
A comparison between strand spaces and multiset rewriting for security protocol analysis
Supporting concurrency and multiple indexes in private access to outsourced data
Automated analysis of security protocols with global state
A trust-augmented voting scheme for collaborative privacy management
What, indeed, is intransitive noninterference?
Using Internal Sensors and Embedded Detectors for Intrusion Detection
Detecting and preventing type flaws at static time
A Compositional Logic for Proving Security Properties of Protocols
The faithfulness of abstract protocol analysis: Message authentication
Risk assessment of security threats for looping constructs
Accurate authentication based on ECG using deep learning
Automatic verification of correspondences for security protocols
Protection against unauthorized access and computer crime in Norwegian enterprises
Non-delegatable authorities in capability systems
Intrusion Detection Using Sequences of System Calls
Personal data protection in the age of mass surveillance
Hybrid adversarial defense: Merging honeypots and traditional security methods
Towards post-quantum security for cyber-physical systems: Integrating PQC into industrial M2M communication
The Composability of Non-Interference
Data privacy in the Internet of Things based on anonymization: A review
Multilevel Security Transaction Processing
Special issue: 35th IEEE Computer Security Symposium - CSF 2022
Detecting Illicit Leakage of Information in Operating Systems
Domain generated algorithms detection applying a combination of a deep feature selection and traditional machine learning models
StegEraser: Defending cybersecurity against malicious covert communications
Security of trusted repeater quantum key distribution networks
Information flow security in dynamic contexts
Authentication tests and disjoint encryption: A design method for security protocols
Parity-based inference control for multi-dimensional range sum queries
Specifying and using intrusion masking models to process distributed operations
Symbolic protocol verification with dice
PILOT: Password and PIN information leakage from obfuscated typing videos
A Game-based Verification of Non-repudiation and Fair Exchange Protocols
A multiview clustering framework for detecting deceptive reviews
An analysis of graphs that represent a role-based security policy hierarchy
Toward a Mathematical Foundation for Information
Finding the PKI needles in the Internet haystack
Mashic compiler: Mashup sandboxing based on inter-frame communication
Multilayer ransomware detection using grouped registry key operations, file entropy and file signature monitoring
FedRAB: Robust federated learning against backdoor attacks based on collaborative defense with smoothing
An OBDD approach to enforce confidentiality and visibility constraints in data publishing
Distributed Credential Chain Discovery in Trust Management
Design and performance analysis of efficient Keccak tree hashing on GPU architectures
Refining security protocols
A graph-based framework for malicious software detection and classification utilizing temporal-graphs