On the public citation graph

StatVerif: Verification of Stateful Processes

https://doi.org/10.1109/csf.2011.10

0 signed · 59 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/11513988_27openalex-snapshot

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

inferredcites →https://doi.org/10.1007/3-540-48405-1_29openalex-snapshot

Abuse-Free Optimistic Contract Signing

inferredcites →https://doi.org/10.1007/978-3-642-03459-6_7openalex-snapshot

Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data

inferredcites →https://doi.org/10.1007/978-3-642-19751-2_8openalex-snapshot

A Formal Analysis of Authentication in the TPM

inferredcites →https://doi.org/10.1109/csf.2011.12openalex-snapshot

Formal Analysis of Protocols Based on TPM State Registers

inferredcites →https://doi.org/10.1109/csfw.2001.930138openalex-snapshot

An efficient cryptographic protocol verifier based on prolog rules

inferredcites →https://doi.org/10.1109/msp.2006.85openalex-snapshot

Applying protocol analysis to security device interfaces

inferredcites →https://doi.org/10.1145/1352592.1352625openalex-snapshot

Flicker

inferredcites →https://doi.org/10.1145/1866307.1866348openalex-snapshot

Abstraction by set-membership

inferredcites →https://doi.org/10.1145/360204.360213openalex-snapshot

Mobile values, new names, and secure communication

inferredcites →https://doi.org/10.3233/jcs-2009-0339openalex-snapshot

Automatic verification of correspondences for security protocols

inferredcites →https://doi.org/10.4204/eptcs.7.4openalex-snapshot

Fair Exchange in Strand Spaces

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-030-91631-2_5openalex-snapshot

Security Protocols as Choreographies

inferred← citeshttps://doi.org/10.1007/978-3-031-06788-4_42openalex-snapshot

Formal Verification of Security Protocols: ProVerif and Extensions

inferred← citeshttps://doi.org/10.1007/978-3-319-05119-2_4openalex-snapshot

Dynamic Measurement and Protected Execution: Model and Analysis

inferred← citeshttps://doi.org/10.1007/978-3-319-10181-1_15openalex-snapshot

Formal Security Analysis of the MaCAN Protocol

inferred← citeshttps://doi.org/10.1007/978-3-319-10181-1_17openalex-snapshot

A Hybrid Analysis for Security Protocols with State

inferred← citeshttps://doi.org/10.1007/978-3-319-27152-1_13openalex-snapshot

Formal Support for Standardizing Protocols with State

inferred← citeshttps://doi.org/10.1007/978-3-319-39555-5_2openalex-snapshot

A Cryptographic Analysis of UMTS/LTE AKA

inferred← citeshttps://doi.org/10.1007/978-3-319-68690-5_16openalex-snapshot

A Verification Framework for Stateful Security Protocols

inferred← citeshttps://doi.org/10.1007/978-3-540-78636-8_8openalex-snapshot

Historical Background and Further Reading

inferred← citeshttps://doi.org/10.1007/978-3-642-28641-4_2openalex-snapshot

Security Protocol Verification: Symbolic and Computational Models

inferred← citeshttps://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

inferred← citeshttps://doi.org/10.1007/978-3-642-35371-0_1openalex-snapshot

Automatic Analysis of Security Properties of the TPM

inferred← citeshttps://doi.org/10.1007/978-3-642-36830-1_13openalex-snapshot

Formal Verification of e-Auction Protocols

inferred← citeshttps://doi.org/10.1007/978-3-642-38004-4_17openalex-snapshot

YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM

inferred← citeshttps://doi.org/10.1007/978-3-642-39799-8_48openalex-snapshot

The TAMARIN Prover for the Symbolic Analysis of Security Protocols

inferred← citeshttps://doi.org/10.1007/978-3-642-54792-8_2openalex-snapshot

Stateful Applied Pi Calculus

inferred← citeshttps://doi.org/10.1007/978-3-662-49635-0_13openalex-snapshot

Computational Soundness Results for Stateful Applied $$\pi $$ π Calculus

inferred← citeshttps://doi.org/10.1007/978-3-662-54455-6_5openalex-snapshot

Automated Verification of Dynamic Root of Trust Protocols

inferred← citeshttps://doi.org/10.1007/978-3-662-54455-6_6openalex-snapshot

Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols

inferred← citeshttps://doi.org/10.1016/j.jlamp.2017.03.001openalex-snapshot

Stateful applied pi calculus: Observational equivalence and labelled bisimilarity

inferred← citeshttps://doi.org/10.1016/j.scico.2015.04.004openalex-snapshot

Formal analysis of privacy in Direct Anonymous Attestation schemes

inferred← citeshttps://doi.org/10.1109/csf.2018.00033openalex-snapshot

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR

inferred← citeshttps://doi.org/10.1109/csf.2018.00034openalex-snapshot

A Typing Result for Stateful Protocols

inferred← citeshttps://doi.org/10.1109/csf54842.2022.9919659openalex-snapshot

Conditional Observational Equivalence and Off-line Guessing Attacks in Multiset Rewriting

inferred← citeshttps://doi.org/10.1109/eurosp.2017.16openalex-snapshot

Symbolic Models for Isolated Execution Environments

inferred← citeshttps://doi.org/10.1109/hpcsim.2012.6266956openalex-snapshot

Automated validation of trust and security of service-oriented architectures with the AVANTSSAR platform

inferred← citeshttps://doi.org/10.1109/iceccs.2014.11openalex-snapshot

Symbolic Analysis of an Electric Vehicle Charging Protocol

inferred← citeshttps://doi.org/10.1109/icis.2016.7550830openalex-snapshot

Formal verification of security protocols using Spin

inferred← citeshttps://doi.org/10.1109/sp.2014.18openalex-snapshot

Automated Analysis of Security Protocols with Global State

inferred← citeshttps://doi.org/10.1109/sp40001.2021.00008openalex-snapshot

SoK: Computer-Aided Cryptography

inferred← citeshttps://doi.org/10.1109/syssec.2011.8openalex-snapshot

System Security Research at Birmingham: Current Status and Some Future Work

inferred← citeshttps://doi.org/10.1109/tdsc.2024.3368131openalex-snapshot

Advancing the Automation Capability of Verifying Security Protocols

inferred← citeshttps://doi.org/10.1145/2714576.2714610openalex-snapshot

Formal Analysis of Enhanced Authorization in the TPM 2.0

inferred← citeshttps://doi.org/10.1145/3127586openalex-snapshot

The Applied Pi Calculus

inferred← citeshttps://doi.org/10.1145/3157831.3157835openalex-snapshot

Symbolically analyzing security protocols using tamarin

inferred← citeshttps://doi.org/10.1145/3385958.3430482openalex-snapshot

Security Analysis of Automotive Protocols

inferred← citeshttps://doi.org/10.14722/ndss.2014.23082openalex-snapshot

Privacy through Pseudonymity in Mobile Telephony Systems

inferred← citeshttps://doi.org/10.1561/2500000001openalex-snapshot

Formal Models and Techniques for Analyzing Security Protocols: A Tutorial

inferred← citeshttps://doi.org/10.1561/3300000004openalex-snapshot

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

inferred← citeshttps://doi.org/10.1561/9781601989031openalex-snapshot

Formal Models and Techniques for Analyzing Security Protocols: A Tutorial

inferred← citeshttps://doi.org/10.3233/jcs-15769openalex-snapshot

Abstractions for security protocol verification

inferred← citeshttps://doi.org/10.3233/jcs-160556openalex-snapshot

Automated analysis of security protocols with global state

inferred← citeshttps://doi.org/10.3233/jcs-191358openalex-snapshot

Verification of stateful cryptographic protocols with exclusive OR

inferred← citeshttps://doi.org/10.3929/ethz-a-009790675openalex-snapshot

Advancing automated security protocol verification

inferred← citeshttps://doi.org/10.4204/eptcs.137.5openalex-snapshot

Embedding Session Types in HML

inferred← citeshttps://doi.org/10.48550/arxiv.1403.2237openalex-snapshot

Stateful Security Protocol Verification

inferred← citeshttps://doi.org/10.48550/arxiv.1807.00669openalex-snapshot

Verifying Security Protocols using Dynamic Strategies

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.