yusuke1997/dblp-id-title huggingface dataset:
An Analysis of Universal Information Flow Based on Self-Composition
Verification of Correctness and Security Properties for CRYSTALS-KYBER
Data Level Inference Detection in Database Systems
Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010
TAPS: A First-Order Verifier for Cryptographic Protocols
A Cryptographic Look at Multi-party Channels
Dispute Resolution in Voting
Probability of Error in Information-Hiding Protocols
Two Facets of Authentication
Obligation as the Basis of Integrity Specification
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications
A Formal Approach to Cyber-Physical Attacks
Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox
Towards a classification of key agreement protocols
Yes We can: Watermarking Machine Learning Models beyond Classification
A Generic Approach to the Security of Multi-Threaded Programs
What is an Attack on a Cryptographic Protocal?
Malleable Signatures: New Definitions and Delegatable Anonymous Credentials
Securing Timeout Instructions in Web Applications
17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA
Proving full-system security properties under multiple attacker models on capability machines
Securing Interaction between Threads and the Scheduler
BitWhisper: Covert Signaling Channel between Air-Gapped Computers Using Thermal Manipulations
Development of Authentication Protocols: Some Misconceptions and a New Approach
Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Problem Setting
A Graded Modal Approach to Relaxed Semantic Declassification
Recent Latest Message Driven GHOST: Balancing Dynamic Availability With Asynchrony Resilience
Non-Interference: Who Needs It?
Publicly Auditable Privacy-Preserving Electoral Rolls
Formalizing Nakamoto-Style Proof of Stake
Creating Vulnerability Signatures Using Weakest Preconditions
Security for Key Management Interfaces
Set-Pi: Set Membership p-Calculus
Formal Computational Unlinkability Proofs of RFID Protocols
A Game-Based Definition of Coercion-Resistance and Its Applications
A Framework for Establishing Decentralized Secure Coalitions
Privacy as Reachability
Redrawing the Security Perimeter of a Trusted System
Flow-Limited Authorization
Statistical Model Checking for Hyperproperties
Quantum Information-Flow Security: Noninterference and Access Control
Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation
On the Incoercibility of Digital Signatures
Gradual Security Typing with References
Heuristic Approach for Countermeasure Selection Using Attack Graphs
Concurrency control for federated multilevel secure database systems
Backwards-directed information flow analysis for concurrent programs
Locked Circuit Indistinguishability: A Notion of Security for Logic Locking
Foundations of Intrusion Detection
Self-Defense: Optimal QIF Solutions and Application to Website Fingerprinting
A Theory of Dictionary Attacks and its Complexity
Game-Based Analysis of Denial-of-Service Prevention Protocols
End-to-End Availability Policies and Noninterference
Probabilistic Noninterference for Multi-Threaded Programs
Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman
Evil Twins: Handling Repetitions in Attack-Defense Trees - A Survival Guide
Localizing Firewall Security Policies
Protocol Insecurity with Finite Number of Sessions is NP-Complete
Formal Security Proof of CMAC and Its Variants
FSLH: Flexible Mechanized Speculative Load Hardening
A Logical Formalization of Secrecy
Derived Information Sensitivity as a Modelling Technique
Information-Theoretic Bounds for Differentially Private Mechanisms
Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms
Adversary Safety by Construction in a Language of Cryptographic Protocols
Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting
Securing Interactive Programs
A Formal Information-Theoretic Leakage Analysis of Order-Revealing Encryption
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata
Timing Leaks and Coarse-Grained Clocks
Canonical Representations of k-Safety Hyperproperties
Secrecy in Multiagent Systems
Refining Key Establishment
Specifying a security policy: a case study
A Quantale of Information
Panel: Cryptographic Protocol Models and Requirements
Panel Introduction: The Security Impact of Distributed Computing Technologies
IFCIL: An Information Flow Configuration Language for SELinux
An Optimization for Information Flow Analysis
Decidability of Trace Equivalence for Protocols with Nonces
On SDSI's Linked Local Name Spaces
Authenticity by Typing for Security Protocols
Actor Key Compromise: Consequences and Countermeasures
A Model of Computation for the NRL Protocol Analyzer
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols
Towards a model of storage jamming
Achieving Understandable Results in a Formal Design Verification
Accountability, Involvement, and Mediation for Information Flow
On Information Flow Security Models
A Hybrid Approach for Proving Noninterference of Java Programs
The Value of Semantics for the Analysis of Cryptographic Protocols
37th IEEE Computer Security Foundations Symposium, CSF 2024, Enschede, Netherlands, July 8-12, 2024
Cryptographic Enforcement of Language-Based Information Erasure
Simulation-Based Security with Inexhaustible Interactive Turing Machines
ATSyRa: An Integrated Environment for Synthesizing Attack Trees - (Tool Paper)
A Theory for System Security
Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments
UC-Secure Non-interactive Public-Key Encryption
Abductive and Approximate Reasoning Models for Characterizing Inference Channels
35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022
On the Protection of Private Information in Machine Learning Systems: Two Recent Approches
Is the JCJ voting system really coercion-resistant?
Circle of Health Based Access Control for Personal Health Information Systems
Consistency for Functional Encryption
34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021
Optimally Hiding Object Sizes with Constrained Padding
A Formal Definition for Information Flow in the Gypsy Expression Language
The Concurrency Control and Recovery Problem for Multilevel Update Transactions in MLS System
Languages for Formal Specification of Security Protocols
Efficient Attack-Defense Tree Analysis using Pareto Attribute Domains
Assumptions and Guarantees for Compositional Noninterference
Formalization and Proof of Secrecy Properties
Transforming Graphical System Models to Graphical Attack Models
Compositional Typed Analysis of ARBAC Policies
CSIRA: A Method for Analysing the Risk of Cybersecurity Incidents
A Taxonomy of Replay Attacks
Building higher resolution synthetic clocks for signaling in covert timing channels
An Executable Specification Language for Planning Attacks to Security Protocols
A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Quotient States and Probabilistic Channels
Invariant Generation Techniques in Cryptographic Protocol Analysis
Two Formal Analys s of Attack Graphs
Session Types for the Concurrent Composition of Interactive Differential Privacy
Logics for Cryptographic Protocols - Virtues and Limitations
Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists
CASH: A Cost Asymmetric Secure Hash Algorithm for Optimal Password Protection
Security Decision-Making among Interdependent Organizations
Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board
Secure Compilation to Modern Processors
Probabilistic Modeling of Insider Threat Detection Systems
Certificates for Verifiable Forensics
Selecting Appropriate Counter-Measures in an Intrusion Detection Framework
Rational Protection against Timing Attacks
Policy Analysis for Administrative Role Based Access Control
Information Flow Security in Dynamic Contexts
Access Control Synthesis for Physical Spaces
Composition of Password-Based Protocols
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption
The Thermodynamics of Confidentiality
A Cut Principle for Information Flow
Proving Properties of Security Protocols by Induction
Deciding Knowledge in Security Protocols under (Many More) Equational Theories
Strand Spaces and Rank Functions: More than Distant Cousins
CVS: A Compiler for the Analysis of Cryptographic Protocols
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols
Mechanizing the Proof of Adaptive, Information-Theoretic Security of Cryptographic Protocols in the Random Oracle Model
Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility
Belief in Information Flow
Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and Techniques
A Definition of Secure Dependencies Using the Logic of Security
Towards the Formal Verification of Electronic Commerce Protocols
Fine-Grained Information Flow Analysis for a \lambda Calculus with Sum Types
Partial Belief and Probabilistic Reasoning in the Analysis of Secure Protocols
Safe Simplifying Transformations for Security Protocols
Security Properties Consistent with the Testing Semantics for Communicating Processes
On the (De) centralization of FruitChains
Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems
Invited talk: An Introductions to the Mathematics of Trust in Security Protocols
Integrated Specification and Verification of Security Protocols and Policies
Comparing Two Information Flow Security Properties
Accountability in the Decentralised-Adversary Setting
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
The Right Tool for the Job: A Case for Common Input Scenarios for Security Assessment
On Efficient and Secure Compression Functions for Arithmetization-Oriented Hashing
Type-Based Distributed Access Control
Automatically Verified Mechanized Proof of One-Encryption Key Exchange
Resource-Bounded Intruders in Denial of Service Attacks
How Task Familiarity and Cognitive Predispositions Impact Behavior in a Security Game of Timing
Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework
Automating Open Bisimulation Checking for the Spi Calculus
How Efficient are Replay Attacks against Vote Privacy? A Formal Quantitative Analysis
Formalizing Stack Safety as a Security Property
Hybrid Monitoring of Attacker Knowledge
Termination-Insensitive Computational Indistinguishability (and Applications to Computational Soundness)
A Complete Characterization of Security for Linicrypt Block Cipher Modes
Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent
The security checker: a semantics-based tool for the verification of security properties
Dynamic vs. Static Flow-Sensitive Security Analysis
A Mechanized Proof of Security for Searchable Symmetric Encryption
The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines
Reasoning about Knowledge and Permission in Secure Distributed Systems
Graphical Models for Security - Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
The Complexity of Quantitative Information Flow Problems
On the Meaning and Purpose of Attack Trees
Alethea: A Provably Secure Random Sample Voting Protocol
On Modular and Fully-Abstract Compilation
Confidentiality for Mobile Code: The Case of a Simple Payment Protocol
Information Flow Analysis in a Discrete-Time Process Algebra
Knowledge-Based Security of Dynamic Secrets for Reactive Programs
Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols
Automating Audit with Policy Inference
Implementation of a discretionary access control model for script-based systems
Types and Effects for Secure Service Orchestration
Symbolic Methods in Computational Cryptography Proofs
Towards a Formal Foundation of Web Security
From A to Z: Developing a Visual Vocabulary for Information Security Threat Visualisation
Analyzing First-Order Role Based Access Control
Circuit-Succinct Universally-Composable NIZKs with Updatable CRS
CV2EC: Getting the Best of Both Worlds
A Formal Approach to Secure Speculation
Lenient Array Operations for Practical Secure Information Flow
The Complexity of Estimating Systematic Risk in Networks
Legendre PRF (Multiple) Key Attacks and the Power of Preprocessing
Automated Analysis and Synthesis of Message Authentication Codes
Election Verifiability with ProVerif
A Formal Theory of Key Conjuring
Controller Synthesis for Hyperproperties
A Logic of Programs with Interface-Confined Code
Capturing Parallel Attacks within the Data Independence Framework
Combining Components and Policies
Comparing Systems: Max-Case Refinement Orders and Application to Differential Privacy
OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded Traffic Overheads
Seventh IEEE Computer Security Foundations Workshop - CSFW'94, Franconia, New Hampshire, USA, June 14-16, 1994, Proceedings
Analysis of Key Wrapping APIs: Generic Policies, Computational Security
Android Permissions Unleashed
UniHand: Privacy-Preserving Universal Handover for Small-Cell Networks in 5G-Enabled Mobile Communication with KCI Resilience
On Testing for Absence of Rights in Access Control Models
A flow-sensitive analysis of privacy properties
Secure Introduction of One-Way Functions
Measuring Information Leakage Using Generalized Gain Functions
Reconciling progress-insensitive noninterference and declassification
Authentication without Elision: Partially Specified Protocols, Associated Data, and Cryptographic Models Described by Code
Quantifying Information Flow in Interactive Systems
Contingent payments from two-party signing and verification for abelian groups
Strands Rocq: Why is a Security Protocol Correct, Mechanically?
Enforcing Secure Service Composition
Analysing Unlinkability and Anonymity Using the Applied Pi Calculus
2013 IEEE 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013
Symbolic Side-Channel Analysis for Probabilistic Programs
A Framework for the Cryptographic Verification of Java-Like Programs
Unwinding and the LOCK Proof Referees Study
A Logical Reconstruction of SPKI
Constraining Credential Usage in Logic-Based Access Control
Second IEEE Computer Security Foundations Workshop - CSFW'89, Franconia, New Hampshire, USA, June 11-14, 1989, Proceedings
Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis
Compositional Analysis of Contract Signing Protocols
High-Assurance Field Inversion for Curve-Based Cryptography
Information Flow Control in a Parallel Language Framework
A Logic of Communication in Hostile Environments
Quantitative Attack Tree Analysis: Stochastic Bounds and Numerical Analysis
Panel Discussion on the Polyinstantiation Problem: An Introduction
Balancing Societal Security and Individual Privacy: Accountable Escrow System
Are the Real Limits to Scale a Matter of Science, or Engineering, or of Something Else? (Abstract only)
Authentication in Key-Exchange: Definitions, Relations and Composition
Merging Security Policies: Analysis of a Practical Example
Path Privacy and Handovers: Preventing Insider Traceability Attacks During Secure Handovers
Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement
A Procedure for Verifying Security Against Type Confusion Attacks
Visualizing Cyber Security Risks with Bow-Tie Diagrams
Protocol Composition for Arbitrary Primitives
Secure Information Flow by Self-Composition
Relating Cryptography and Cryptographic Protocols
A Distributed Calculus for Ro^le-Based Access Control
Design and Semantics of a Decentralized Authorization Language
Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping
Micro-policies for Web Session Security
End-to-End Enforcement of Erasure and Declassification
Concise UC Zero-Knowledge Proofs for Oblivious Updatable Databases
A New Type System for Secure Information Flow
Discovering Concrete Attacks on Website Authorization by Formal Analysis
A Framework for Composition of Security Models
Coercion-Resistance and Receipt-Freeness in Electronic Voting
Noninterference Equations for Nondeterministic Systems
Correlated Secrets in Quantitative Information Flow
Probabilistic Noninterference through Weak Probabilistic Bisimulation
Partial Model Checking and Theorem Proving for Ensuring Security Properties
Tractable Enforcement of Declassification Policies
Formal Specification of Information Flow Security Policies and Their Enforcement in Security Critical Systems
A Typing Result for Stateful Protocols
Enforcing Robust Declassification
A Methodology for Formalizing Model-Inversion Attacks
From Bounded to Unbounded: Privacy Amplification via Shuffling with Dummies
A Genealogy of Non-Interference
On Post-compromise Security
Formal security analysis of MPC-in-the-head zero-knowledge protocols
Narrowing terminates for encryption
Computer-Aided Proofs for Multiparty Computation with Active Security
Temporal Safety for Stack Allocated Memory on Capability Machines
Unwinding Forward Correctability
Practical Information-flow Control in Web-Based Information Systems
Complexity Theoretic Analysis of Crypto-Protcols - Overview
38th IEEE Computer Security Foundations Symposium, CSF 2025, Santa Cruz, CA, USA, June 16-20, 2025
Non-Interference in Constructive Authorization Logic
Reasoning about Trust and Insurance in a Public Key Infrastructure
Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata
A Simple View of Type-Secure Information Flow in the p-Calculus
Computationally Sound Compositional Logic for Key Exchange Protocols
15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada
Finite-State Noiseless Covert Channels
A Provably Secure and Efficient Countermeasure against Timing Attacks
Symbolic Analysis of Cryptographic Protocols Containing Bilinear Pairings
General-Purpose Secure Conflict-free Replicated Data Types
Decentralized Robustness
Vertical Composition and Sound Payload Abstraction for Stateful Protocols
Ninth IEEE Computer Security Foundations Workshop, March 10 - 12, 1996, Dromquinna Manor, Kenmare, County Kerry, Ireland
Information Flow Monitoring as Abstract Interpretation for Relational Logic
Verified Interoperable Implementations of Security Protocols
$BitML^{x}$: Secure Cross-Chain Smart Contracts for Bitcoin-Style Cryptocurrencies
Software-Based Memory Erasure with Relaxed Isolation Requirements
Differential Privacy in Quantum Computation
Scalable Private Signaling
Relative Security: Formally Modeling and (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities
A Fair Locking Protocol for Multilevel Secure Databases
Information-Flow Preservation in Compiler Optimisations
Bridging the Gap: Automated Analysis of Sancus
Polyinstantiation: An Inevitable Part of a Multilevel World
Election Verifiability in Receipt-Free Voting Protocols
36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023
Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman Problem
Nothing is Out-of-Band: Formal Modeling of Ceremonies
Cryptographic Protocols Flaws
Generic Indifferentiability Proofs of Hash Designs
Towards Producing Formally Checkable Security Proofs, Automatically
Fixing the Achilles Heel of E-Voting: The Bulletin Board
Collusion-Preserving Computation without a Mediator
Log Auditing through Model-Checking
SoK: Model Inversion Attack Landscape: Taxonomy, Challenges, and Future Roadmap
One For All: Formally Verifying Protocols which use Aggregate Signatures
A Formal Framework for Single Level Decomposition of Multilevel Relations
ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs
Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol
Graphical Modeling of Security Arguments: Current State and Future Directions
Simmons' protocol is not free of subliminal channels
Handling Infeasible Specifications fo Cryptographic Protocols
Evidence-Based Audit
Performing Security Proofs of Stateful Protocols
PrivatePool: Privacy-Preserving Ridesharing
Prophecy Variables for Hyperproperty Verification
Reasoning about Secrecy for Active Networks
Inductive Invariants for Noninterference in Multi-agent Workflows
Revocations-A Classification
A Parametric Family of Attack Models for Proxy Re-encryption
Resolve-Impossibility for a Contract-Signing Protocol
SAT-Equiv: An Efficient Tool for Equivalence Properties
Advice from Belnap Policies
An Operational Semantics of Java 2 Access Control
The Computer Security Foundations Workshop: Ten Years on and Ten Years Ahead
On Requirements and Security in a CCIS
Proceedings of the 13th IEEE Computer Security Foundations Workshop, CSFW '00, Cambridge, England, UK, July 3-5, 2000
Verifying Privacy-Type Properties in a Modular Way
Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization
EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security
Reasoning about Confidentiality Requirements
6th IEEE Computer Security Foundations Workshop - CSFW'93, Franconia, New Hampshire, USA, June 15-17, 1993, Proceedings
Separation of Duty in Role-based Environments
Proceedings of the 12th IEEE Computer Security Foundations Workshop, CSFW 1999, Mordano, Italy, June 28-30, 1999
A Formal Foundation for XrML
Observational Determinism for Concurrent Program Security
On Distributed Security Transactions that Use Secure Transport Protocols
Abstraction and Refinement in Protocol Derivation
Deducibility Security with Dynamic Level Assignment
The Consistency of Task-Based Authorization Constraints in Workflow Systems
Proving Secrecy is Easy Enough
Secure information flow and program logics
Analysis of Deterministic Longest-Chain Protocols
Secrecy by Typing and File-Access Control
Learning is Change in Knowledge: Knowledge-Based Security for Dynamic Policies
On Analyzing the Bus-Contention Channel Under Fuzzy Time
Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete
Confidentiality-Preserving Refinement
Privacy-Preserving Cooperative Scientific Computations
5th IEEE Computer Security Foundations Workshop - CSFW'92, Franconia, New Hampshire, USA, June 16-18, 1992, Proceedings
Using temporal logic to specify and verify cryptographic protocols
A Formal Model for Role-Based Access Control with Constraints
Investigating Membership Inference Attacks under Data Dependencies
How Shall We Play a Game?: A Game-theoretical Model for Cyber-warfare Games
Explaining ∊ in Local Differential Privacy Through the Lens of Quantitative Information Flow
By Reason and Authority: A System for Authorization of Proof-Carrying Code
A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies
A Hierarchy of Authentication Specification
Security Properties through the Lens of Modal Logic
A Correctness Proof of a Mesh Security Architecture
I/O Automaton Models and Proofs for Shared-Key Communication Systems
A HOL extension of GNY for automatically analyzing cryptographic protocols
Towards Formal Analysis of Security Protocols
A Logic for Reasoning about Digital Rights
Rényi Differential Privacy
Interpreting Epsilon of Differential Privacy in Terms of Advantage in Guessing or Approximating Sensitive Attributes
A Logic for SDSI's Linked Local Name Spaces
A Trust Framework for Evaluating GNSS Signal Integrity
Statement-Oblivious Threshold Witness Encryption
Protection against Covert Storage and Timing Channels
Verified Computational Differential Privacy with Applications to Smart Metering
Types for Information Flow Control: Labeling Granularity and Semantic Models
A Secure Kernelized Architecture for Multiple Object-Oriented Databases