On the public citation graph
Three systems for cryptographic protocol analysis
0 signed · 207 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/0-387-34805-0_30openalex-snapshot
Key Distribution Protocol for Digital Mobile Communication Systems
inferredcites →https://doi.org/10.1007/3-540-15976-2_7openalex-snapshot
NARROWER: a new algorithm for unification and its application to Logic Programming
inferredcites →https://doi.org/10.1007/3-540-52885-7_95openalex-snapshot
Unification in a combination of equational theories: an efficient algorithm
inferredcites →https://doi.org/10.1007/bfb0013893openalex-snapshot
Separating the specification and implementation phases in cryptology
inferredcites →https://doi.org/10.1016/0167-4048(87)90126-xopenalex-snapshot
Expert systems applied to the analysis of key management schemes
inferredcites →https://doi.org/10.1016/0167-4048(90)90159-qopenalex-snapshot
A security scheme for resource sharing over a network
inferredcites →https://doi.org/10.1109/49.17707openalex-snapshot
Analyzing encryption protocols using formal verification techniques
inferredcites →https://doi.org/10.1109/52.57891openalex-snapshot
Integrating formal methods into the development process
inferredcites →https://doi.org/10.1109/csfw.1990.128181openalex-snapshot
A logic of communication in hostile environment
inferredcites →https://doi.org/10.1109/risp.1991.130786openalex-snapshot
A system for the specification and analysis of key management protocols
inferredcites →https://doi.org/10.1109/risp.1993.287634openalex-snapshot
A logical language for specifying cryptographic protocol requirements
inferredcites →https://doi.org/10.1109/sp.1984.10003openalex-snapshot
The Interrogator A Tool for Cryptographic Protocol Security
inferredcites →https://doi.org/10.1109/sp.1985.10006openalex-snapshot
How to (Selectively) Broadcast A Secret
inferredcites →https://doi.org/10.1109/tit.1983.1056650openalex-snapshot
On the security of public key protocols
inferredcites →https://doi.org/10.1109/tse.1987.233151openalex-snapshot
The Interrogator: Protocol Secuity Analysis
inferredcites →https://doi.org/10.1137/0218012openalex-snapshot
The Knowledge Complexity of Interactive Proof Systems
inferredcites →https://doi.org/10.1145/112600.112618openalex-snapshot
A semantics for a logic of authentication (extended abstract)
inferredcites →https://doi.org/10.1145/358722.358740openalex-snapshot
Timestamps in key distribution protocols
inferredcites →https://doi.org/10.1145/359657.359659openalex-snapshot
Using encryption for authentication in large networks of computers
inferredcites →https://doi.org/10.3233/jcs-1992-1102openalex-snapshot
Applying Formal Methods to the Analysis of a Key Management Protocol
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/sec.119openalex-snapshot
Synthesis of attack actions using model checking for the verification of security protocols
inferred← citeshttps://doi.org/10.1006/inco.1997.2678openalex-snapshot
A Collusion Problem and Its Solution
inferred← citeshttps://doi.org/10.1007/0-387-21821-1_42openalex-snapshot
Using the CORAL System to Discover Attacks on Security Protocols
inferred← citeshttps://doi.org/10.1007/0-387-33406-8_20openalex-snapshot
On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol
inferred← citeshttps://doi.org/10.1007/11542322_2openalex-snapshot
A Protocol’s Life After Attacks...
inferred← citeshttps://doi.org/10.1007/11542322_3openalex-snapshot
A Protocol’s Life After Attacks...
inferred← citeshttps://doi.org/10.1007/11554578_1openalex-snapshot
Justifying a Dolev-Yao Model Under Active Attacks
inferred← citeshttps://doi.org/10.1007/11813040_42openalex-snapshot
Model-Based Security Engineering for Real
inferred← citeshttps://doi.org/10.1007/11951957_27openalex-snapshot
An Improved E-Commerce Protocol for Fair Exchange
inferred← citeshttps://doi.org/10.1007/3-540-44750-4_19openalex-snapshot
Robustness Principles for Public Key Protocols
inferred← citeshttps://doi.org/10.1007/3-540-44929-9_1openalex-snapshot
Reconciling Two Views of Cryptography
inferred← citeshttps://doi.org/10.1007/3-540-45309-1_2openalex-snapshot
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis
inferred← citeshttps://doi.org/10.1007/3-540-45472-1_13openalex-snapshot
Analysis of Abuse-Free Contract Signing
inferred← citeshttps://doi.org/10.1007/3-540-45500-0_4openalex-snapshot
Formal Eavesdropping and Its Computational Interpretation
inferred← citeshttps://doi.org/10.1007/3-540-45610-4_2openalex-snapshot
Multiset Rewriting and Security Protocol Analysis
inferred← citeshttps://doi.org/10.1007/3-540-46701-7_3openalex-snapshot
Lazy Infinite-State Analysis of Security Protocols
inferred← citeshttps://doi.org/10.1007/3-540-47813-2_4openalex-snapshot
Analyzing Cryptographic Protocols in a Reactive Framework
inferred← citeshttps://doi.org/10.1007/3-540-48119-2_43openalex-snapshot
Probabilistic Polynomial-Time Equivalence and Security Analysis
inferred← citeshttps://doi.org/10.1007/3-540-48119-2_44openalex-snapshot
A Uniform Approach for the Definition of Security Properties
inferred← citeshttps://doi.org/10.1007/3-540-48523-6_3openalex-snapshot
Proof Techniques for Cryptographic Protocols
inferred← citeshttps://doi.org/10.1007/3-540-48892-8_26openalex-snapshot
Authenticated Diffe-Hellman Key Agreement Protocols
inferred← citeshttps://doi.org/10.1007/3-540-61770-1_46openalex-snapshot
Analyzing the Needham-Schroeder public key protocol: A comparison of two approaches
inferred← citeshttps://doi.org/10.1007/3-540-61996-8_40openalex-snapshot
Modeling cryptographic protocols and their collusion analysis
inferred← citeshttps://doi.org/10.1007/978-0-387-35256-5_9openalex-snapshot
Formal methods for the Analysis and Design of Cryptographic Protocols: A state-of-the-art review
inferred← citeshttps://doi.org/10.1007/978-0-387-35496-5_2openalex-snapshot
Verifying Authentication Protocol Implementations
inferred← citeshttps://doi.org/10.1007/978-0-387-35515-3_20openalex-snapshot
A Simple and Efficient Approach to Verifying Cryptographic Protocols
inferred← citeshttps://doi.org/10.1007/978-0-387-35568-9_7openalex-snapshot
Formal Design of Efficient Authentication and Key Agreement Protocols
inferred← citeshttps://doi.org/10.1007/978-1-4471-0997-6_10openalex-snapshot
Cryptographic Protocols over Open Distributed Systems: A Taxonomy of Flaws and related Protocol Analysis Tools
inferred← citeshttps://doi.org/10.1007/978-3-030-17659-4_3openalex-snapshot
Symbolic Encryption with Pseudorandom Keys
inferred← citeshttps://doi.org/10.1007/978-3-030-19052-1_2openalex-snapshot
A Long, Slow Conversation
inferred← citeshttps://doi.org/10.1007/978-3-030-91631-2_19openalex-snapshot
Joshua Guttman: Pioneering Strand Spaces
inferred← citeshttps://doi.org/10.1007/978-3-540-24725-8_24openalex-snapshot
Just Fast Keying in the Pi Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-24727-2_33openalex-snapshot
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-27836-8_7openalex-snapshot
Deciding Knowledge in Security Protocols Under Equational Theories
inferred← citeshttps://doi.org/10.1007/978-3-540-37621-7_5openalex-snapshot
A Formal System for Analysis of Cryptographic Encryption and Their Security Properties
inferred← citeshttps://doi.org/10.1007/978-3-540-39650-5_16openalex-snapshot
Symmetric Authentication within a Simulatable Cryptographic Library
inferred← citeshttps://doi.org/10.1007/978-3-540-45145-7_5openalex-snapshot
Authentication Primitives for Protocol Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-45187-7_23openalex-snapshot
Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions
inferred← citeshttps://doi.org/10.1007/978-3-540-74810-6_1openalex-snapshot
Security Protocols: Principles and Calculi
inferred← citeshttps://doi.org/10.1007/978-3-540-75101-4_22openalex-snapshot
Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees
inferred← citeshttps://doi.org/10.1007/978-3-540-77505-8_13openalex-snapshot
Breaking and Fixing Public-Key Kerberos
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-00843-6_30openalex-snapshot
Ranking Attack Graphs with Graph Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-13190-5_22openalex-snapshot
Bounded Key-Dependent Message Security
inferred← citeshttps://doi.org/10.1007/978-3-642-13464-7_16openalex-snapshot
On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-36830-1_11openalex-snapshot
Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-54792-8_3openalex-snapshot
Computational Soundness Results for ProVerif
inferred← citeshttps://doi.org/10.1007/bf02997769openalex-snapshot
Verification of two versions of the challenge handshake authentication protocol (chap)
inferred← citeshttps://doi.org/10.1007/bfb0000430openalex-snapshot
Formal verification of cryptographic protocols: A survey
inferred← citeshttps://doi.org/10.1007/bfb0000433openalex-snapshot
Design and analysis of key exchange protocols via secure channel identification
inferred← citeshttps://doi.org/10.1007/bfb0023295openalex-snapshot
A framework for design of key establishment protocols
inferred← citeshttps://doi.org/10.1007/bfb0028390openalex-snapshot
Using a PVS embedding of CSP to verify authentication protocols
inferred← citeshttps://doi.org/10.1007/bfb0028734openalex-snapshot
Finite-state analysis of security protocols
inferred← citeshttps://doi.org/10.1007/bfb0053447openalex-snapshot
Formal requirements for key distribution protocols
inferred← citeshttps://doi.org/10.1007/bfb0053746openalex-snapshot
Key establishment protocols for secure mobile communications: A selective survey
inferred← citeshttps://doi.org/10.1007/bfb0055875openalex-snapshot
Kerberos Version IV: Inductive analysis of the secrecy goals
inferred← citeshttps://doi.org/10.1007/s00145-001-0014-7openalex-snapshot
Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)
inferred← citeshttps://doi.org/10.1007/s10207-004-0056-6openalex-snapshot
Symmetric authentication in a simulatable Dolev–Yao-style cryptographic library
inferred← citeshttps://doi.org/10.1016/0743-1066(95)00095-xopenalex-snapshot
The NRL Protocol Analyzer: An Overview
inferred← citeshttps://doi.org/10.1016/j.cose.2009.09.003openalex-snapshot
Runtime verification of cryptographic protocols
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.05.006openalex-snapshot
Static Equivalence is Harder than Knowledge
inferred← citeshttps://doi.org/10.1016/j.future.2004.05.004openalex-snapshot
Authentication primitives for secure protocol specifications
inferred← citeshttps://doi.org/10.1016/j.ic.2007.05.005openalex-snapshot
Breaking and fixing public-key Kerberos
inferred← citeshttps://doi.org/10.1016/j.ijhcs.2005.04.021openalex-snapshot
In the eye of the beholder: A visualization-based approach to information system security
inferred← citeshttps://doi.org/10.1016/j.jlap.2004.09.002openalex-snapshot
Unifying simulatability definitions in cryptographic systems under different timing assumptions
inferred← citeshttps://doi.org/10.1016/j.jlap.2008.08.006openalex-snapshot
A domain-specific language for cryptographic protocols based on streams
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.03.005openalex-snapshot
A semantics for web services authentication
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.10.044openalex-snapshot
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.08.032openalex-snapshot
Deciding knowledge in security protocols under equational theories
inferred← citeshttps://doi.org/10.1016/s0140-3664(99)00030-4openalex-snapshot
Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification
inferred← citeshttps://doi.org/10.1016/s0140-3664(99)00210-8openalex-snapshot
Key establishment protocols for secure mobile communications: a critical survey
inferred← citeshttps://doi.org/10.1016/s0140-3664(99)00239-xopenalex-snapshot
Verification of security protocols using LOTOS-method and application
inferred← citeshttps://doi.org/10.1016/s0164-1212(96)00112-4openalex-snapshot
Petri net based models for specification and analysis of cryptographic protocols
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00136-0openalex-snapshot
Primitives for authentication in process algebras
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00141-4openalex-snapshot
Finite-state analysis of two contract signing protocols
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00364-xopenalex-snapshot
A new logic for electronic commerce protocols
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00863-0openalex-snapshot
Secrecy types for asymmetric communication
inferred← citeshttps://doi.org/10.1016/s0950-5849(01)00195-1openalex-snapshot
Protocols are programs too: the meta-heuristic search for security protocols
inferred← citeshttps://doi.org/10.1016/s1571-0661(03)50004-4openalex-snapshot
Towards the Correctness of Security Protocols
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80968-xopenalex-snapshot
A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols
inferred← citeshttps://doi.org/10.1023/a:1008683519655openalex-snapshot
Model-Based Verification of a Security Protocol for Conditional Access to Services
inferred← citeshttps://doi.org/10.1093/comjnl/42.7.569openalex-snapshot
A Flexible Approach to Secure and Fair Document Exchange
inferred← citeshttps://doi.org/10.1109/32.637148openalex-snapshot
Using CSP to detect errors in the TMN protocol
inferred← citeshttps://doi.org/10.1109/32.713329openalex-snapshot
Verifying authentication protocols in CSP
inferred← citeshttps://doi.org/10.1109/aero.2009.4839620openalex-snapshot
Developing an approach for analyzing and verifying system communication
inferred← citeshttps://doi.org/10.1109/asset.1999.756753openalex-snapshot
CAPSL interface for the NRL Protocol Analyzer
inferred← citeshttps://doi.org/10.1109/ccece.1997.614857openalex-snapshot
New approach to cryptographic protocol analysis using coloured Petri nets
inferred← citeshttps://doi.org/10.1109/csac.1996.569682openalex-snapshot
Verifying the correctness of cryptographic protocols using "Convince"
inferred← citeshttps://doi.org/10.1109/csac.1998.738652openalex-snapshot
An environment for the specification and analysis of cryptoprotocols
inferred← citeshttps://doi.org/10.1109/csda.1998.798355openalex-snapshot
A symbiotic relationship between formal methods and security
inferred← citeshttps://doi.org/10.1109/csf.2008.20openalex-snapshot
Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers
inferred← citeshttps://doi.org/10.1109/csfw.1996.503701openalex-snapshot
Some new attacks upon security protocols
inferred← citeshttps://doi.org/10.1109/csfw.1997.596775openalex-snapshot
Verifying authentication protocols with CSP
inferred← citeshttps://doi.org/10.1109/csfw.1997.596784openalex-snapshot
Provable security for cryptographic protocols-exact analysis and engineering applications
inferred← citeshttps://doi.org/10.1109/csfw.1997.596788openalex-snapshot
Proving properties of security protocols by induction
inferred← citeshttps://doi.org/10.1109/csfw.1998.683155openalex-snapshot
Formal analysis of a non-repudiation protocol
inferred← citeshttps://doi.org/10.1109/csfw.1998.683159openalex-snapshot
Towards a completeness result for model checking of security protocols
inferred← citeshttps://doi.org/10.1109/csfw.1998.683165openalex-snapshot
A simple logic for authentication protocol design
inferred← citeshttps://doi.org/10.1109/csfw.1999.779762openalex-snapshot
A meta-notation for protocol analysis
inferred← citeshttps://doi.org/10.1109/csfw.1999.779764openalex-snapshot
Honest functions and their application to the analysis of cryptographic protocols
inferred← citeshttps://doi.org/10.1109/csfw.1999.779766openalex-snapshot
Authentication via localized names
inferred← citeshttps://doi.org/10.1109/csfw.2000.856932openalex-snapshot
Towards automatic verification of authentication protocols on an unbounded network
inferred← citeshttps://doi.org/10.1109/csfw.2004.1310730openalex-snapshot
Abstraction and re .nement in protocol derivation
inferred← citeshttps://doi.org/10.1109/csfw.2004.4openalex-snapshot
Abstraction and refinement in protocol derivation
inferred← citeshttps://doi.org/10.1109/csfw.2005.14openalex-snapshot
Deciding Knowledge in Security Protocols under (Many More) Equational Theories
inferred← citeshttps://doi.org/10.1109/csfw.2006.10openalex-snapshot
Cryptographically Sound Theorem Proving
inferred← citeshttps://doi.org/10.1109/hase.1999.809495openalex-snapshot
A framework for a cryptographic protocol evaluation workbench
inferred← citeshttps://doi.org/10.1109/iccit.2009.5407301openalex-snapshot
Improved Needham-Schroeder protocol for secured and efficient key distributions
inferred← citeshttps://doi.org/10.1109/icnp.2010.5762765openalex-snapshot
Authentication and authorization protocol security property analysis with trace inclusion transformation and online minimization
inferred← citeshttps://doi.org/10.1109/icse.2004.1317437openalex-snapshot
Elaborating security requirements by construction of intentional anti-models
inferred← citeshttps://doi.org/10.1109/isita.2008.4895465openalex-snapshot
Security verification for authentication and key exchange protocols
inferred← citeshttps://doi.org/10.1109/lics.2001.932477openalex-snapshot
Probabilistic polynomial-time process calculus and security protocol analysis
inferred← citeshttps://doi.org/10.1109/mc.2016.228openalex-snapshot
What Happened to Formal Methods for Security?
inferred← citeshttps://doi.org/10.1109/secpri.1997.601329openalex-snapshot
Automated analysis of cryptographic protocols using Murφ
inferred← citeshttps://doi.org/10.1109/secpri.2000.848447openalex-snapshot
Searching for a solution: engineering tradeoffs and the evolution of provably secure protocols
inferred← citeshttps://doi.org/10.1109/sefm.2010.10openalex-snapshot
The Unreasonable Ineffectiveness of Security Engineering: An Overview
inferred← citeshttps://doi.org/10.1109/sfcs.2001.959888openalex-snapshot
Universally composable security: a new paradigm for cryptographic protocols
inferred← citeshttps://doi.org/10.1109/sp.2005.17openalex-snapshot
Relating Symbolic and Cryptographic Secrecy
inferred← citeshttps://doi.org/10.1109/tdsc.2005.25openalex-snapshot
Relating Symbolic and Cryptographic Secrecy
inferred← citeshttps://doi.org/10.1109/tsmcb.2009.2019263openalex-snapshot
Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux
inferred← citeshttps://doi.org/10.1142/s0218539301000566openalex-snapshot
A FRAMEWORK FOR A CRYPTOGRAPHIC PROTOCOL EVALUATION WORKBENCH
inferred← citeshttps://doi.org/10.1145/1044731.1044735openalex-snapshot
Analyzing security protocols with secrecy types and logic programs
inferred← citeshttps://doi.org/10.1145/1081706.1081715openalex-snapshot
Reasoning about confidentiality at requirements engineering time
inferred← citeshttps://doi.org/10.1145/1103022.1103035openalex-snapshot
Tailoring the Dolev-Yao abstraction to web services realities
inferred← citeshttps://doi.org/10.1145/1111348.1111355openalex-snapshot
Secure sessions for web services
inferred← citeshttps://doi.org/10.1145/1180405.1180450openalex-snapshot
Computationally sound secrecy proofs by mechanized flow analysis
inferred← citeshttps://doi.org/10.1145/1237500.1237504openalex-snapshot
Secure sessions for Web services
inferred← citeshttps://doi.org/10.1145/1266977.1266978openalex-snapshot
Just fast keying in the pi calculus
inferred← citeshttps://doi.org/10.1145/1866307.1866351openalex-snapshot
Computationally sound verification of source code
inferred← citeshttps://doi.org/10.1145/2382196.2382270openalex-snapshot
Computational soundness without protocol restrictions
inferred← citeshttps://doi.org/10.1145/288090.288117openalex-snapshot
A probabilistic poly-time framework for protocol analysis
inferred← citeshttps://doi.org/10.1145/3243734.3243825openalex-snapshot
Symbolic Proofs for Lattice-Based Cryptography
inferred← citeshttps://doi.org/10.1145/360204.360213openalex-snapshot
Mobile values, new names, and secure communication
inferred← citeshttps://doi.org/10.1145/366173.366194openalex-snapshot
Dynamic analysis of security protocols
inferred← citeshttps://doi.org/10.1145/373243.360213openalex-snapshot
Mobile values, new names, and secure communication
inferred← citeshttps://doi.org/10.1145/503272.503277openalex-snapshot
Analyzing security protocols with secrecy types and logic programs
inferred← citeshttps://doi.org/10.1145/506117.506121openalex-snapshot
An approach to finding the attacks on the cryptographic protocols
inferred← citeshttps://doi.org/10.1145/565816.503277openalex-snapshot
Analyzing security protocols with secrecy types and logic programs
inferred← citeshttps://doi.org/10.1145/844102.844116openalex-snapshot
An approach to usable security based on event monitoring and visualization
inferred← citeshttps://doi.org/10.1145/948109.948140openalex-snapshot
A composable cryptographic library with nested operations
inferred← citeshttps://doi.org/10.1145/964001.964018openalex-snapshot
A semantics for web services authentication
inferred← citeshttps://doi.org/10.1145/982962.964018openalex-snapshot
A semantics for web services authentication
inferred← citeshttps://doi.org/10.1201/9781410615862.ch32openalex-snapshot
Human-Computer Interaction Viewed from the Intersection of Privacy, Security, and Trust
inferred← citeshttps://doi.org/10.14236/ewic/isiict2009.9openalex-snapshot
EVALUATION TECHNIQUE IN THE SPICALCULUS FOR CRYPTOGRAPHIC PROTOCOLS
inferred← citeshttps://doi.org/10.1587/transinf.e95.d.215openalex-snapshot
On-the-Fly Trace Generation Approach to the Security Analysis of the TMN Protocol with Homomorphic Property: A Petri Nets-Based Method
inferred← citeshttps://doi.org/10.17877/de290r-4859openalex-snapshot
Model based security guarantees and change
inferred← citeshttps://doi.org/10.18130/v3c85copenalex-snapshot
A Formal Semantics for Evaluating Cryptographic Protocols
inferred← citeshttps://doi.org/10.18130/v3sz84openalex-snapshot
A Method For Examining Cryptographic Protocols
inferred← citeshttps://doi.org/10.21236/ada374554openalex-snapshot
Combining Theory Generation and Model Checking for Security Protocol Analysis,
inferred← citeshttps://doi.org/10.21917/ijct.2017.0226openalex-snapshot
CRYPTOGRAPHIC PROTOCOLS SPECIFICATION AND VERIFICATION TOOLS - A SURVEY
inferred← citeshttps://doi.org/10.25405/ncl.34123404openalex-snapshot
The Modelling and Analysis of Security Protocols: the CSP Approach
inferred← citeshttps://doi.org/10.25405/ncl.34169559openalex-snapshot
Browser-based Identity Federation
inferred← citeshttps://doi.org/10.3233/fi-2014-999openalex-snapshot
On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method
inferred← citeshttps://doi.org/10.3233/jcs-2001-91-202openalex-snapshot
Fault-preserving simplifying transformations for security protocols
inferred← citeshttps://doi.org/10.3233/jcs-2001-9302openalex-snapshot
Relations between secrets: two formal analyses of the Yahalom protocol
inferred← citeshttps://doi.org/10.3233/jcs-2002-101-208openalex-snapshot
An environment for security protocol intrusion detection
inferred← citeshttps://doi.org/10.3233/jcs-2004-12203openalex-snapshot
Multiset rewriting and the complexity of bounded security protocols
inferred← citeshttps://doi.org/10.3233/jcs-2005-13204openalex-snapshot
A decision procedure for the existence of a rank function
inferred← citeshttps://doi.org/10.3233/jcs-2005-13304openalex-snapshot
A derivation system and compositional logic for security protocols
inferred← citeshttps://doi.org/10.3233/jcs-2009-0392openalex-snapshot
Computational soundness of symbolic zero-knowledge proofs*
inferred← citeshttps://doi.org/10.3923/rjit.2012.176.185openalex-snapshot
Inter-domain Authentication Scheme in a Distributed Mobile Network
inferred← citeshttps://doi.org/10.4230/lipics.fsttcs.2010.352openalex-snapshot
Computationally Sound Abstraction and Verification of Secure Multi-Party Computations
inferred← citeshttps://doi.org/10.48456/tr-409openalex-snapshot
Proving properties of security protocols by induction
inferred← citeshttps://doi.org/10.48456/tr-493openalex-snapshot
Inductive verification of cryptographic protocols
inferred← citeshttps://doi.org/10.48550/arxiv.1106.0706openalex-snapshot
Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions
inferred← citeshttps://doi.org/10.48550/arxiv.1609.03003openalex-snapshot
The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication
inferred← citeshttps://doi.org/10.48550/arxiv.2109.08980openalex-snapshot
A Distributed Process Model of Cryptographic Protocols
inferred← citeshttps://doi.org/10.5075/epfl-thesis-2511openalex-snapshot
Building blocks for secure services : authenticated key transport and rational exchange protocols
inferred← citeshttps://doi.org/10.5075/epfl-thesis-4030openalex-snapshot
Equivalences and calculi for formal verification of cryptographic protocols
inferred← citeshttps://doi.org/10.5860/choice.34-4512openalex-snapshot
Handbook of applied cryptography
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.