On the public citation graph
Protocol interactions and the chosen protocol attack
0 signed · 99 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/3-540-44750-4_19openalex-snapshot
Robustness Principles for Public Key Protocols
inferredcites →https://doi.org/10.1007/bfb0028165openalex-snapshot
Low cost attacks on tamper resistant devices
inferredcites →https://doi.org/10.1109/csac.1997.646194openalex-snapshot
An improved e-mail security protocol
inferredcites →https://doi.org/10.1109/risp.1991.130791openalex-snapshot
SPX: global authentication using public key certificates
inferredcites →https://doi.org/10.17487/rfc1040openalex-snapshot
Privacy enhancement for Internet electronic mail: Part I: Message encipherment and authentication procedures
inferredcites →https://doi.org/10.17487/rfc1421openalex-snapshot
Privacy Enhancement for Internet Electronic Mail: Part I: Message Encryption and Authentication Procedures
inferredcites →https://doi.org/10.17487/rfc1422openalex-snapshot
Privacy Enhancement for Internet Electronic Mail: Part II: Certificate-Based Key Management
inferredcites →https://doi.org/10.17487/rfc1423openalex-snapshot
Privacy Enhancement for Internet Electronic Mail: Part III: Algorithms, Modes, and Identifiers
inferredcites →https://doi.org/10.17487/rfc1424openalex-snapshot
Privacy Enhancement for Internet Electronic Mail: Part IV: Key Certification and Related Services
inferredcites →https://doi.org/10.5860/choice.34-4512openalex-snapshot
Handbook of applied cryptography
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11542322_24openalex-snapshot
Secure Sessions from Weak Secrets
inferred← citeshttps://doi.org/10.1007/11556992_29openalex-snapshot
On the Security of the WinRAR Encryption Method
inferred← citeshttps://doi.org/10.1007/11681878_18openalex-snapshot
Generalized Environmental Security from Number Theoretic Assumptions
inferred← citeshttps://doi.org/10.1007/11915034_66openalex-snapshot
On the Existence of Related-Key Oracles in Cryptosystems Based on Block Ciphers
inferred← citeshttps://doi.org/10.1007/3-540-36532-x_21openalex-snapshot
Environmental Requirements for Authentication Protocols
inferred← citeshttps://doi.org/10.1007/3-540-45608-2_4openalex-snapshot
Security Goals: Packet Trajectories and Strand Spaces
inferred← citeshttps://doi.org/10.1007/3-540-49019-1_1openalex-snapshot
Security Protocols and Specifications
inferred← citeshttps://doi.org/10.1007/3-540-49380-8_16openalex-snapshot
Attacks on Copyright Marking Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-26948-7_26openalex-snapshot
Security in the Presence of Key Reuse: Context-Separable Interfaces and Their Applications
inferred← citeshttps://doi.org/10.1007/978-3-031-87541-0_5openalex-snapshot
Limitations of Wrapping Protocols and TLS Channel Bindings: Formal-Methods Analysis of the Session Binding Proxy Protocol
inferred← citeshttps://doi.org/10.1007/978-3-319-12400-1_19openalex-snapshot
I Bought a New Security Token and All I Got Was This Lousy Phish—Relay Attacks on Visual Code Authentication Schemes
inferred← citeshttps://doi.org/10.1007/978-3-319-15147-2_24openalex-snapshot
Secure Pseudo-Random Linear Binary Sequences Generators Based on Arithmetic Polynoms
inferred← citeshttps://doi.org/10.1007/978-3-319-66402-6_23openalex-snapshot
Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5
inferred← citeshttps://doi.org/10.1007/978-3-319-75650-9_4openalex-snapshot
Formal Analysis of Combinations of Secure Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-24638-1_12openalex-snapshot
Lower Bounds for Concurrent Self Composition
inferred← citeshttps://doi.org/10.1007/978-3-540-40974-8_26openalex-snapshot
A General Attack Model on Hash-Based Client Puzzles
inferred← citeshttps://doi.org/10.1007/978-3-540-46588-1_23openalex-snapshot
Efficient and Fresh Certification
inferred← citeshttps://doi.org/10.1007/978-3-540-76900-2_6openalex-snapshot
Obtaining Universally Compoable Security: Towards the Bare Bones of Trust
inferred← citeshttps://doi.org/10.1007/978-3-540-77050-3_29openalex-snapshot
Safely Composing 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-02190-9_10openalex-snapshot
A Study on Recent Trends on Integration of Security Mechanisms
inferred← citeshttps://doi.org/10.1007/978-3-642-10628-6_3openalex-snapshot
Reusing Static Keys in Key Agreement Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-13190-5_21openalex-snapshot
Cryptographic Agility and Its Relation to Circular Encryption
inferred← citeshttps://doi.org/10.1007/978-3-642-16074-5_12openalex-snapshot
AnBx - Security Protocols Design and Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-16822-2_8openalex-snapshot
EC-RAC: Enriching a Capacious RFID Attack Collection
inferred← citeshttps://doi.org/10.1007/978-3-642-17455-1_12openalex-snapshot
Ephemeral Key Leakage Resilient and Efficient ID-AKEs That Can Share Identities, Private and Master Keys
inferred← citeshttps://doi.org/10.1007/978-3-642-19751-2_4openalex-snapshot
Understanding Abstractions of Secure Channels
inferred← citeshttps://doi.org/10.1007/978-3-642-20465-4_25openalex-snapshot
Highly-Efficient Universally-Composable Commitments Based on the DDH Assumption
inferred← citeshttps://doi.org/10.1007/978-3-642-23822-2_18openalex-snapshot
Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2
inferred← citeshttps://doi.org/10.1007/978-3-642-25385-0_9openalex-snapshot
On the Joint Security of Encryption and Signature, Revisited
inferred← citeshttps://doi.org/10.1007/978-3-642-27375-9_2openalex-snapshot
Secure Composition of Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-27576-0_18openalex-snapshot
Might Financial Cryptography Kill Financial Innovation? – The Curious Case of EMV
inferred← citeshttps://doi.org/10.1007/978-3-642-32009-5_25openalex-snapshot
Impossibility Results for Static Input Secure Computation
inferred← citeshttps://doi.org/10.1007/978-3-642-32784-1_11openalex-snapshot
Tracing the Man in the Middle in Monoidal Categories
inferred← citeshttps://doi.org/10.1007/bf02947115openalex-snapshot
Study on strand space model theory
inferred← citeshttps://doi.org/10.1007/s00145-007-9015-5openalex-snapshot
Lower Bounds and Impossibility Results for Concurrent Self Composition
inferred← citeshttps://doi.org/10.1007/s10207-006-0086-3openalex-snapshot
On the security of the WinRAR encryption feature
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.02.012openalex-snapshot
Protocol Composition Logic (PCL)
inferred← citeshttps://doi.org/10.1016/j.jlap.2008.05.005openalex-snapshot
Cryptographic protocol logic: Satisfaction for (timed) Dolev–Yao cryptography
inferred← citeshttps://doi.org/10.1016/s1571-0661(03)50011-1openalex-snapshot
Secure Protocol Composition
inferred← citeshttps://doi.org/10.1017/cbo9780511619755openalex-snapshot
Security and Quality of Service in Ad Hoc Wireless Networks
inferred← citeshttps://doi.org/10.1038/s41598-022-12448-2openalex-snapshot
A formal analysis method for composition protocol based on model checking
inferred← citeshttps://doi.org/10.1109/2.708447openalex-snapshot
Cryptographic design vulnerabilities
inferred← citeshttps://doi.org/10.1109/ares.2006.63openalex-snapshot
Feasibility of multi-protocol attacks
inferred← citeshttps://doi.org/10.1109/c3it.2015.7060130openalex-snapshot
Deoxyribonucleic acid (DNA) for a shared secret key cryptosystem with Diffie hellman key sharing technique
inferred← citeshttps://doi.org/10.1109/cloud.2017.48openalex-snapshot
Intra-Cloud and Inter-Cloud Authentication
inferred← citeshttps://doi.org/10.1109/csf.2007.28openalex-snapshot
Reasoning about Concurrency for Security Tunnels
inferred← citeshttps://doi.org/10.1109/csf.2012.16openalex-snapshot
Verifying Privacy-Type Properties in a Modular Way
inferred← citeshttps://doi.org/10.1109/csfw.2000.856923openalex-snapshot
Protocol independence through disjoint encryption
inferred← citeshttps://doi.org/10.1109/csfw.2003.1212705openalex-snapshot
A procedure for verifying security against type confusion attacks
inferred← citeshttps://doi.org/10.1109/csfw.2003.1212708openalex-snapshot
A derivation system for security protocols and its logical formalization
inferred← citeshttps://doi.org/10.1109/focs.2004.71openalex-snapshot
Universally Composable Protocols with Relaxed Set-Up Assumptions
inferred← citeshttps://doi.org/10.1109/focs.2006.21openalex-snapshot
Concurrent Non-Malleable Zero Knowledge
inferred← citeshttps://doi.org/10.1109/hase.2001.966816openalex-snapshot
Analyzing Internet security protocols
inferred← citeshttps://doi.org/10.1109/iaeac.2017.8054486openalex-snapshot
A formal model for multi-protocol analysis
inferred← citeshttps://doi.org/10.1109/icccn.2000.885517openalex-snapshot
WANTED: a theft-deterrent solution for the pervasive computing world
inferred← citeshttps://doi.org/10.1109/iccias.2006.295282openalex-snapshot
Normal Forms and Normalization of Authentication Protocols
inferred← citeshttps://doi.org/10.1109/icicic.2008.317openalex-snapshot
Improving the Shim's AuthA Password-Authenticated Key Agreement Protocol
inferred← citeshttps://doi.org/10.1109/icnp.2013.6733669openalex-snapshot
Is the network capable of computation?
inferred← citeshttps://doi.org/10.1109/icvd.2004.1260985openalex-snapshot
Tamper resistance mechanisms for secure embedded systems
inferred← citeshttps://doi.org/10.1109/iscc.2007.4381592openalex-snapshot
Designing an Authentication Protocol via Authentication Test
inferred← citeshttps://doi.org/10.1109/iscst.2005.1553299openalex-snapshot
Model checking the security of multi-protocol systems
inferred← citeshttps://doi.org/10.1109/jsac.2002.806125openalex-snapshot
Formal methods for cryptographic protocol analysis: emerging issues and trends
inferred← citeshttps://doi.org/10.1109/nafips.2002.1018104openalex-snapshot
Activity profiles for intrusion detection
inferred← citeshttps://doi.org/10.1109/secpri.1999.766916openalex-snapshot
Analysis of the Internet Key Exchange protocol using the NRL Protocol Analyzer
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.2005.43openalex-snapshot
How To Play Almost Any Mental Game Over The Net - Concurrent Composition via Super-Polynomial Simulation
inferred← citeshttps://doi.org/10.1109/sp.2012.17openalex-snapshot
Distance Hijacking Attacks on Distance Bounding Protocols
inferred← citeshttps://doi.org/10.1142/9789812837042_0003openalex-snapshot
CLASSIFICATION OF ATTACKS ON CRYPTOGRAPHIC PROTOCOLS
inferred← citeshttps://doi.org/10.1145/2660267.2660286openalex-snapshot
Multi-Ciphersuite Security of the Secure Shell (SSH) Protocol
inferred← citeshttps://doi.org/10.1515/itit-2014-1045openalex-snapshot
On the insecurity of XML Security
inferred← citeshttps://doi.org/10.21236/ada462295openalex-snapshot
On Preventing Replay Attacks on Security Protocols
inferred← citeshttps://doi.org/10.21236/ada465134openalex-snapshot
Identifying Potential Type Confusion in Authenticated Messages
inferred← citeshttps://doi.org/10.3233/978-1-60750-714-7-182openalex-snapshot
Protocol Composition Logic
inferred← citeshttps://doi.org/10.3233/jcs-181139openalex-snapshot
Secure authentication in the grid: A formal analysis of DNP3 SAv5
inferred← citeshttps://doi.org/10.3233/jcs-2005-13304openalex-snapshot
A derivation system and compositional logic for security protocols
inferred← citeshttps://doi.org/10.3929/ethz-a-006804260openalex-snapshot
Key Exchange in IPsec revisited: Formal Analysis of IKEv1 and IKEv2
inferred← citeshttps://doi.org/10.4018/978-1-60960-851-4.ch008openalex-snapshot
Automated Formal Methods for Security Protocol Engineering
inferred← citeshttps://doi.org/10.48550/arxiv.1003.5384openalex-snapshot
Protocol indepedence through disjoint encryption under Exclusive-OR
inferred← citeshttps://doi.org/10.48550/arxiv.1004.2522openalex-snapshot
How to prevent type-flaw and multi-protocol attacks on cryptographic protocols under Exclusive-OR
inferred← citeshttps://doi.org/10.48550/arxiv.1203.6324openalex-snapshot
Tracing the Man in the Middle in Monoidal Categories
inferred← citeshttps://doi.org/10.5753/sbc.5824.5.3openalex-snapshot
Introdução à Verificação Automática de Protocolos de Segurança com Scyther
inferred← citeshttps://doi.org/10.6084/m9.figshare.991406.v1openalex-snapshot
A Knowledge-Based Intrusion Detection Engine to detect attacks on security protocols
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.