On the public citation graph
A Method for Verifying Privacy-Type Properties: The Unbounded Case
0 signed · 62 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-319-11851-2_11openalex-snapshot
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA
inferredcites →https://doi.org/10.1007/978-3-540-28632-5_26openalex-snapshot
Strong Authentication for RFID Systems Using the AES Algorithm
inferredcites →https://doi.org/10.1007/978-3-642-04474-8_3openalex-snapshot
Security Analysis of the PACE Key-Agreement Protocol
inferredcites →https://doi.org/10.1007/978-3-642-12980-3_18openalex-snapshot
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster
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-32946-3_25openalex-snapshot
The PACE|AA Protocol for Machine Readable Travel Documents, and Its Security
inferredcites →https://doi.org/10.1007/978-3-642-33167-1_19openalex-snapshot
Formal Analysis of Privacy in an eHealth Protocol
inferredcites →https://doi.org/10.1007/978-3-642-36830-1_12openalex-snapshot
Proving More Observational Equivalences with ProVerif
inferredcites →https://doi.org/10.1007/978-3-642-39799-8_48openalex-snapshot
The TAMARIN Prover for the Symbolic Analysis of Security Protocols
inferredcites →https://doi.org/10.1016/j.jlap.2007.06.002openalex-snapshot
Automated Verification of Selected Equivalences for Security Protocols
inferredcites →https://doi.org/10.1109/csf.2008.26openalex-snapshot
Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus
inferredcites →https://doi.org/10.1109/csf.2010.13openalex-snapshot
Formal Verification of Privacy for RFID Systems
inferredcites →https://doi.org/10.1109/csf.2010.15openalex-snapshot
Analysing Unlinkability and Anonymity Using the Applied Pi Calculus
inferredcites →https://doi.org/10.1109/csf.2012.16openalex-snapshot
Verifying Privacy-Type Properties in a Modular Way
inferredcites →https://doi.org/10.1109/csfw.2001.930138openalex-snapshot
An efficient cryptographic protocol verifier based on prolog rules
inferredcites →https://doi.org/10.1145/1102120.1102125openalex-snapshot
Deciding security of protocols against off-line guessing attacks
inferredcites →https://doi.org/10.1145/1456396.1456397openalex-snapshot
Formal analysis of SAML 2.0 web browser single sign-on
inferredcites →https://doi.org/10.1145/1609956.1609963openalex-snapshot
Defining strong privacy for RFID
inferredcites →https://doi.org/10.1145/2382196.2382221openalex-snapshot
New privacy issues in mobile telephony
inferredcites →https://doi.org/10.1145/2810103.2813662openalex-snapshot
Automated Symbolic Proofs of Observational Equivalence
inferredcites →https://doi.org/10.1145/2811262openalex-snapshot
From Security Protocols to Pushdown Automata
inferredcites →https://doi.org/10.1145/360204.360213openalex-snapshot
Mobile values, new names, and secure communication
inferredcites →https://doi.org/10.14722/ndss.2014.23082openalex-snapshot
Privacy through Pseudonymity in Mobile Telephony Systems
inferredcites →https://doi.org/10.3233/jcs-2006-14101openalex-snapshot
A survey of algebraic properties used in cryptographic protocols
inferredcites →https://doi.org/10.3233/jcs-2009-0340openalex-snapshot
Verifying privacy-type properties of electronic voting protocols
inferredcites →https://doi.org/10.3233/jcs-2012-0458openalex-snapshot
Attacking and fixing Helios: An analysis of ballot secrecy
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-29959-0_28openalex-snapshot
Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity
inferred← citeshttps://doi.org/10.1007/978-3-030-65277-7_8openalex-snapshot
Verifpal: Cryptographic Protocol Analysis for the Real World
inferred← citeshttps://doi.org/10.1007/978-3-319-66402-6_12openalex-snapshot
Modular Verification of Protocol Equivalence in the Presence of Randomness
inferred← citeshttps://doi.org/10.1007/978-3-319-96142-2_10openalex-snapshot
Model Checking Indistinguishability of Randomized Security Protocols
inferred← citeshttps://doi.org/10.1007/978-3-319-99073-6_19openalex-snapshot
POR for Security Protocol Equivalences
inferred← citeshttps://doi.org/10.1109/ceii67787.2025.00043openalex-snapshot
Enhancing Regulatory Compliance in Digital Payments: Unlinkability and Privacy in EMV 2nd Gen Transactions
inferred← citeshttps://doi.org/10.1109/csci.2017.178openalex-snapshot
Formalizing Data Management Systems: A Case Study of Syndicate Protocol
inferred← citeshttps://doi.org/10.1109/csf.2017.9openalex-snapshot
Formal Computational Unlinkability Proofs of RFID Protocols
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/csf54842.2022.9919666openalex-snapshot
Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments
inferred← citeshttps://doi.org/10.1109/csf57540.2023.00022openalex-snapshot
Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes
inferred← citeshttps://doi.org/10.1109/eurosp.2019.00041openalex-snapshot
The 5G-AKA Authentication Protocol Privacy
inferred← citeshttps://doi.org/10.1109/eurosp.2019.00052openalex-snapshot
Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions
inferred← citeshttps://doi.org/10.1109/indin41052.2019.8972080openalex-snapshot
Security in Wireless Sensor Networks: A formal verification of protocols
inferred← citeshttps://doi.org/10.1109/sp.2018.00033openalex-snapshot
DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice
inferred← citeshttps://doi.org/10.1109/sp61157.2025.00093openalex-snapshot
Token Weaver: Privacy Preserving and Post-Compromise Secure Attestation
inferred← citeshttps://doi.org/10.1109/sp61157.2025.00150openalex-snapshot
The Importance of Being Earnest: Shedding Light on Johnny's (False) Sense of Privacy
inferred← citeshttps://doi.org/10.1109/tcc.2023.3250584openalex-snapshot
SECMACE+: Upscaling Pseudonymous Authentication for Large Mobile Systems
inferred← citeshttps://doi.org/10.1109/trustcom/bigdatase/icess.2017.287openalex-snapshot
Design and Analysis of a Modified Remote Attestation Protocol
inferred← citeshttps://doi.org/10.1145/3190619.3190640openalex-snapshot
Formal verification of the W3C web authentication protocol
inferred← citeshttps://doi.org/10.1145/3548606.3559360openalex-snapshot
A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello
inferred← citeshttps://doi.org/10.1145/3641399.3641446openalex-snapshot
Symbolic Verification of Mesh Commissioning Protocol of Thread
inferred← citeshttps://doi.org/10.23638/lmcs-17(2:24)2021openalex-snapshot
Discovering ePassport Vulnerabilities using Bisimilarity
inferred← citeshttps://doi.org/10.2478/popets-2019-0039openalex-snapshot
New Privacy Threat on 3G, 4G, and Upcoming 5G AKA Protocols
inferred← citeshttps://doi.org/10.3233/jcs-171013openalex-snapshot
Automated reasoning for equivalences in the applied pi calculus with barriers
inferred← citeshttps://doi.org/10.3233/jcs-171070openalex-snapshot
A method for unbounded verification of privacy-type properties
inferred← citeshttps://doi.org/10.3233/jcs-191358openalex-snapshot
Verification of stateful cryptographic protocols with exclusive OR
inferred← citeshttps://doi.org/10.46298/theoretics.24.4openalex-snapshot
DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
inferred← citeshttps://doi.org/10.48550/arxiv.1709.00194openalex-snapshot
Improving Automated Symbolic Analysis for E-voting Protocols: A Method Based on Sufficient Conditions for Ballot Secrecy
inferred← citeshttps://doi.org/10.70675/174b16b3z807cz413fz9849z794e3e037748openalex-snapshot
Efficient verification of observational equivalences of cryptographic processes : theory and practice
inferred← citeshttps://doi.org/10.70675/1be7f5f7zb53dz4abaz9f95z92dbefd6fb07openalex-snapshot
Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques
inferred← citeshttps://doi.org/10.70675/b8c9913aze055z43bdz863czb01f1010420fopenalex-snapshot
Automated Verification of Privacy in Security Protocols : Back and Forth Between Theory & Practice
inferred← citeshttps://doi.org/10.70675/feebd9afz70e2z4223zafaaz80a51eb47a29openalex-snapshot
Preuves symboliques de propriétés d’indistinguabilité calculatoire
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.