On the public citation graph

Decision and Complexity of Dolev-Yao Hyperproperties

https://doi.org/10.1145/3632906
0 signed · 56 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-44598-6_15openalex-snapshot
Timed Commitments
inferredcites →https://doi.org/10.1007/978-3-030-61467-6_12openalex-snapshot
Accurate Smart Contract Verification Through Direct Modelling
inferredcites →https://doi.org/10.1007/978-3-030-61467-6_2openalex-snapshot
Functional Verification of Smart Contracts via Strong Data Integrity
inferredcites →https://doi.org/10.1007/978-3-030-62077-6_10openalex-snapshot
The Hitchhiker’s Guide to Decidability and Complexity of Equivalence Properties in Security Protocols
inferredcites →https://doi.org/10.1007/978-3-031-33170-1_22openalex-snapshot
Automata-Based Software Model Checking of Hyperproperties
inferredcites →https://doi.org/10.1007/978-3-031-37703-7_15openalex-snapshot
Second-Order Hyperproperties
inferredcites →https://doi.org/10.1007/978-3-319-21690-4_3openalex-snapshot
Algorithms for Model Checking HyperLTL and HyperCTL $$^*$$
inferredcites →https://doi.org/10.1007/978-3-319-89722-6_10openalex-snapshot
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
inferredcites →https://doi.org/10.1007/978-3-540-32033-3_22openalex-snapshot
The Finite Variant Property: How to Get Rid of Some Algebraic Properties
inferredcites →https://doi.org/10.1007/978-3-642-28641-4_2openalex-snapshot
Security Protocol Verification: Symbolic and Computational Models
inferredcites →https://doi.org/10.1007/978-3-642-28756-5_19openalex-snapshot
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
inferredcites →https://doi.org/10.1007/978-3-642-54792-8_15openalex-snapshot
Temporal Logics for Hyperproperties
inferredcites →https://doi.org/10.1016/0020-0190(85)90056-0openalex-snapshot
Defining liveness
inferredcites →https://doi.org/10.1016/j.cl.2014.05.003openalex-snapshot
Bounded memory protocols
inferredcites →https://doi.org/10.1016/j.tcs.2006.08.032openalex-snapshot
Deciding knowledge in security protocols under equational theories
inferredcites →https://doi.org/10.1016/j.tcs.2013.04.016openalex-snapshot
Deciding equivalence-based properties using constraint solving
inferredcites →https://doi.org/10.1016/s0304-3975(02)00490-5openalex-snapshot
Protocol insecurity with a finite number of sessions and composed keys is NP-complete
inferredcites →https://doi.org/10.1109/csf57540.2023.00006openalex-snapshot
Smart Contract Synthesis Modulo Hyperproperties
inferredcites →https://doi.org/10.1109/csf57540.2023.00023openalex-snapshot
HoRStify: Sound Security Analysis of Smart Contracts
inferredcites →https://doi.org/10.1109/eurosp.2017.12openalex-snapshot
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange
inferredcites →https://doi.org/10.1109/eurosp51992.2021.00042openalex-snapshot
$\text{DY}^{\star}$: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
inferredcites →https://doi.org/10.1109/lics.2019.8785713openalex-snapshot
The Hierarchy of Hyperlogics
inferredcites →https://doi.org/10.1109/ms.2011.67openalex-snapshot
Usenix Security Symposium
inferredcites →https://doi.org/10.1109/sp.2018.00033openalex-snapshot
DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice
inferredcites →https://doi.org/10.1109/sp.2019.00020openalex-snapshot
Perun: Virtual Payment Hubs over Cryptocurrencies
inferredcites →https://doi.org/10.1109/sp40000.2020.00024openalex-snapshot
VerX: Safety Verification of Smart Contracts
inferredcites →https://doi.org/10.1109/sp40001.2021.00085openalex-snapshot
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
inferredcites →https://doi.org/10.1109/sp40001.2021.00097openalex-snapshot
Bitcoin-Compatible Virtual Channels
inferredcites →https://doi.org/10.1109/tit.1983.1056650openalex-snapshot
On the security of public key protocols
inferredcites →https://doi.org/10.1145/2166956.2166962openalex-snapshot
Epistemic temporal logic for information flow security
inferredcites →https://doi.org/10.1145/2578855.2535847openalex-snapshot
Probabilistic relational verification for cryptographic implementations
inferredcites →https://doi.org/10.1145/2926715openalex-snapshot
Automated Verification of Equivalence Properties of Cryptographic Protocols
inferredcites →https://doi.org/10.1145/3127586openalex-snapshot
The Applied Pi Calculus
inferredcites →https://doi.org/10.1145/3158136openalex-snapshot
Online detection of effectively callback free objects with applications to smart contracts
inferredcites →https://doi.org/10.1145/3319535.3354260openalex-snapshot
Exploiting Symmetries When Proving Equivalence Properties for Security Protocols
inferredcites →https://doi.org/10.1145/3372297.3417250openalex-snapshot
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
inferredcites →https://doi.org/10.1145/3428277openalex-snapshot
Taming callbacks for smart contract modularity
inferredcites →https://doi.org/10.1145/3548606.3559343openalex-snapshot
Tidy: Symbolic Verification of Timed Cryptographic Protocols
inferredcites →https://doi.org/10.14722/ndss.2023.24370openalex-snapshot
Breaking and Fixing Virtual Channels: Domino Attack and Donner
inferredcites →https://doi.org/10.3233/jcs-160556openalex-snapshot
Automated analysis of security protocols with global state
inferredcites →https://doi.org/10.3233/jcs-2004-12203openalex-snapshot
Multiset rewriting and the complexity of bounded security protocols
inferredcites →https://doi.org/10.3233/jcs-2009-0393openalex-snapshot
Hyperproperties
inferredcites →https://doi.org/10.46298/lmcs-19(2:13)2023openalex-snapshot
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-032-05435-7_23openalex-snapshot
Monitoring Hypernode Logic Over Infinite Domains
inferred← citeshttps://doi.org/10.1007/978-3-032-10444-1_2openalex-snapshot
Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures Under Active Compromise
inferred← citeshttps://doi.org/10.1007/s10586-025-05569-6openalex-snapshot
L2AI: lightweight three-factor authentication and authorization in an IoMT blockchain-based environment with unsecure channel communication
inferred← citeshttps://doi.org/10.1038/s41598-025-18387-yopenalex-snapshot
ChebIoD: a Chebyshev polynomial-based lightweight authentication scheme for internet of drones environments
inferred← citeshttps://doi.org/10.1109/access.2024.3366803openalex-snapshot
Toward Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-Attention Large Language Model Approach
inferred← citeshttps://doi.org/10.1109/csf61375.2024.00032openalex-snapshot
Deciding Branching Hyperproperties for Real Time Systems
inferred← citeshttps://doi.org/10.1109/csf64896.2025.00003openalex-snapshot
Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents
inferred← citeshttps://doi.org/10.1109/iscipt67144.2025.11265445openalex-snapshot
Side-Channel Attacks and Defenses on Identity Authentication Protocols in Boundary Security Devices
inferred← citeshttps://doi.org/10.1109/jiot.2025.3578252openalex-snapshot
CDAP-PFMs: A Cross-Domain Authentication Protocol for Edge Inference-Based PFMs
inferred← citeshttps://doi.org/10.1109/tifs.2026.3698606openalex-snapshot
Lightweight Authentication for Drone Service Collaboration Using Blockchain-Based Decentralized Identity and Physically Unclonable Functions
inferred← citeshttps://doi.org/10.3390/electronics14214167openalex-snapshot
Mutual V2I Multifactor Authentication Using PUFs in an Unsecure Multi-Hop Wi-Fi Environment
inferred← citeshttps://doi.org/10.3390/sym17091456openalex-snapshot
Formal Analysis of EAP-TLS Protocol Based on Logic of Events
inferred← citeshttps://doi.org/10.55003/cast.2025.257532openalex-snapshot
Security Analysis of Biometric Verification Protocol Using Scyther Model Checker: A Case Study
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.