On the public citation graph
Secrecy by typing in security protocols
0 signed · 108 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.1006/inco.1995.1114openalex-snapshot
Testing Equivalence for Mobile Processes
inferredcites →https://doi.org/10.1007/3-540-63141-0_5openalex-snapshot
Reasoning about cryptographic protocols in the spi calculus
inferredcites →https://doi.org/10.1016/0142-0496(86)90071-8openalex-snapshot
Building a secure computer system
inferredcites →https://doi.org/10.1016/0267-3649(94)90017-5openalex-snapshot
Applied cryptography: Protocols, algorithms, and source code in C
inferredcites →https://doi.org/10.1016/0304-3975(84)90113-0openalex-snapshot
Testing equivalences for processes
inferredcites →https://doi.org/10.1016/0890-5401(92)90008-4openalex-snapshot
A calculus of mobile processes, I
inferredcites →https://doi.org/10.1016/0890-5401(92)90009-5openalex-snapshot
A calculus of mobile processes, II
inferredcites →https://doi.org/10.1017/s096012950007002xopenalex-snapshot
Typing and subtyping for mobile processes
inferredcites →https://doi.org/10.1109/32.481513openalex-snapshot
Prudent engineering practice for cryptographic protocols
inferredcites →https://doi.org/10.1145/225058.225084openalex-snapshot
Provably secure session key distribution
inferredcites →https://doi.org/10.1145/266420.266432openalex-snapshot
A calculus for cryptographic 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-1996-42-304openalex-snapshot
A sound type system for secure flow analysis
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/inco.1998.2740openalex-snapshot
A Calculus for Cryptographic Protocols: The Spi Calculus
inferred← citeshttps://doi.org/10.1006/inco.2000.3020openalex-snapshot
Static Analysis for the π-Calculus with Applications to Security
inferred← citeshttps://doi.org/10.1007/11423348_14openalex-snapshot
Verifying Security Protocols: An Application of CSP
inferred← citeshttps://doi.org/10.1007/11539902_82openalex-snapshot
Typing Aberrance in Signal Transduction
inferred← citeshttps://doi.org/10.1007/11576280_10openalex-snapshot
Game Semantics Model for Security Protocols
inferred← citeshttps://doi.org/10.1007/11679219_15openalex-snapshot
Type-Based Distributed Access Control vs. Untyped Attackers
inferred← citeshttps://doi.org/10.1007/11881223_47openalex-snapshot
Secrecy of Signals by Typing in Signal Transduction
inferred← citeshttps://doi.org/10.1007/3-540-36577-x_22openalex-snapshot
Pattern-Based Abstraction for Verifying Secrecy in Protocols
inferred← citeshttps://doi.org/10.1007/3-540-44929-9_25openalex-snapshot
Ambient Groups and Mobility Types
inferred← citeshttps://doi.org/10.1007/3-540-45022-x_34openalex-snapshot
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System
inferred← citeshttps://doi.org/10.1007/3-540-45022-x_35openalex-snapshot
Information Flow vs. Resource Access in the Asynchronous Pi-Calculus (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/3-540-45591-4_134openalex-snapshot
A Method for Automatic Cryptographic Protocol Verification
inferred← citeshttps://doi.org/10.1007/3-540-46425-5_12openalex-snapshot
Secure Information Flow as Typed Process Behaviour
inferred← citeshttps://doi.org/10.1007/3-540-47764-0_27openalex-snapshot
Abstracting Cryptographic Protocols by Prolog Rules
inferred← citeshttps://doi.org/10.1007/3-540-48294-6_10openalex-snapshot
Abstracting Cryptographic Protocols with Tree Automata
inferred← citeshttps://doi.org/10.1007/3-540-48320-9_25openalex-snapshot
Generating Type Systems for Process Graphs
inferred← citeshttps://doi.org/10.1007/3-540-48320-9_32openalex-snapshot
Validating Firewalls in Mobile Ambients
inferred← citeshttps://doi.org/10.1007/3-540-48523-6_20openalex-snapshot
Mobility Types for Mobile Ambients
inferred← citeshttps://doi.org/10.1007/3-540-48749-2_2openalex-snapshot
Protection in Programming-Language Translations
inferred← citeshttps://doi.org/10.1007/3-540-48749-2_6openalex-snapshot
Types as Specifications of Access Policies
inferred← citeshttps://doi.org/10.1007/3-540-48749-2_7openalex-snapshot
Security Properties of Typed Applets
inferred← citeshttps://doi.org/10.1007/3-540-48919-3_3openalex-snapshot
A Coordination Model for Agents based on Secure 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-49019-1_3openalex-snapshot
Reasoning about Concurrent Systems Using Types
inferred← citeshttps://doi.org/10.1007/3-540-49019-1_9openalex-snapshot
Static Analysis of Processes for No Read-Up and No Write-Down
inferred← citeshttps://doi.org/10.1007/978-1-4615-0288-3_30openalex-snapshot
Information Flow Control Using Version in Object-Oriented Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-17184-1_17openalex-snapshot
Robustly Safe Compilation
inferred← citeshttps://doi.org/10.1007/978-3-030-19052-1_6openalex-snapshot
Robust Declassification by Incremental Typing
inferred← citeshttps://doi.org/10.1007/978-3-642-03459-6_12openalex-snapshot
Towards a Type System for Security APIs
inferred← citeshttps://doi.org/10.1007/978-3-642-27660-6_47openalex-snapshot
Securing the Future — An Information Flow Analysis of a Distributed OO Language
inferred← citeshttps://doi.org/10.1007/bfb0030629openalex-snapshot
A type-based approach to program security
inferred← citeshttps://doi.org/10.1007/bfb0053560openalex-snapshot
A bisimulation method for cryptographic protocols
inferred← citeshttps://doi.org/10.1007/bfb0055094openalex-snapshot
Global/local subtyping and capability inference for a distributed π-calculus
inferred← citeshttps://doi.org/10.1007/bfb0055109openalex-snapshot
Protection in programming-language translations
inferred← citeshttps://doi.org/10.1007/bfb0055617openalex-snapshot
Control flow analysis for the π-calculus
inferred← citeshttps://doi.org/10.1007/s10009-005-0189-6openalex-snapshot
Pattern-based abstraction for verifying secrecy in protocols
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.12.016openalex-snapshot
A Denotational Approach to the Static Analysis of Cryptographic Processes
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.03.010openalex-snapshot
An End-To-End Approach to Distributed Policy Language Implementation
inferred← citeshttps://doi.org/10.1016/j.jlap.2004.01.003openalex-snapshot
The security pi-calculus and non-interference
inferred← citeshttps://doi.org/10.1016/j.jlap.2004.09.006openalex-snapshot
A static analysis of cryptographic processes: the denotational approach
inferred← citeshttps://doi.org/10.1016/s0167-6423(02)00132-6openalex-snapshot
Abstracting cryptographic protocols with tree automata
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00140-2openalex-snapshot
Validating firewalls using flow logics
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80068-9openalex-snapshot
Secrecy in Programming-Language Semantics
inferred← citeshttps://doi.org/10.1109/access.2019.2902352openalex-snapshot
Analysis of Cryptographic Protocol by Dynamic Epistemic Logic
inferred← citeshttps://doi.org/10.1109/acsac.2001.991520openalex-snapshot
Information flow analysis of component-structured applications
inferred← citeshttps://doi.org/10.1109/csf61375.2024.00040openalex-snapshot
On Separation Logic, Computational Independence, and Pseudorandomness
inferred← citeshttps://doi.org/10.1109/csfw.1999.779769openalex-snapshot
Secure composition of insecure components
inferred← citeshttps://doi.org/10.1109/csfw.2000.856931openalex-snapshot
Reasoning about secrecy for active networks
inferred← citeshttps://doi.org/10.1109/csfw.2003.1212712openalex-snapshot
Type-based distributed access control
inferred← citeshttps://doi.org/10.1109/discex.2000.825031openalex-snapshot
Protecting privacy in a decentralized environment
inferred← citeshttps://doi.org/10.1109/fits.2003.1264929openalex-snapshot
Protecting privacy using the decentralized label model
inferred← citeshttps://doi.org/10.1109/icfem.1998.730570openalex-snapshot
A calculus based on the agent-place model
inferred← citeshttps://doi.org/10.1109/jsac.2002.806121openalex-snapshot
Language-based information-flow security
inferred← citeshttps://doi.org/10.1109/lics.1998.705647openalex-snapshot
Secure implementation of channel abstractions
inferred← citeshttps://doi.org/10.1109/lics.1999.782608openalex-snapshot
Proof techniques for cryptographic processes
inferred← citeshttps://doi.org/10.1109/lics.1999.782639openalex-snapshot
Non-deterministic games and program analysis: An application to security
inferred← citeshttps://doi.org/10.1109/lics.2000.855782openalex-snapshot
Assigning types to processes
inferred← citeshttps://doi.org/10.1109/secpri.1998.674834openalex-snapshot
Complete, safe information flow with decentralized labels
inferred← citeshttps://doi.org/10.1109/secpri.2001.924288openalex-snapshot
On confidentiality and algorithms: programming under the constraints of noninterference
inferred← citeshttps://doi.org/10.1109/secpri.2004.1301317openalex-snapshot
Automatic proof of strong secrecy for security protocols
inferred← citeshttps://doi.org/10.1145/1134744.1134759openalex-snapshot
Efficient type inference for secure information flow
inferred← citeshttps://doi.org/10.1145/1375696.1375712openalex-snapshot
Securing nonintrusive web encryption through information flow
inferred← citeshttps://doi.org/10.1145/268946.268975openalex-snapshot
Secure information flow in a multi-threaded imperative language
inferred← citeshttps://doi.org/10.1145/268946.268979openalex-snapshot
Security properties of typed applets
inferred← citeshttps://doi.org/10.1145/292540.292551openalex-snapshot
Trust and partial typing in open systems of mobile agents
inferred← citeshttps://doi.org/10.1145/3371100openalex-snapshot
The high-level benefits of low-level sandboxing
inferred← citeshttps://doi.org/10.1145/3573105.3575687openalex-snapshot
FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores
inferred← citeshttps://doi.org/10.1145/363516.363526openalex-snapshot
Protecting privacy using the decentralized label model
inferred← citeshttps://doi.org/10.1145/570886.570890openalex-snapshot
Information flow vs. resource access in the asynchronous pi-calculus
inferred← citeshttps://doi.org/10.1145/964001.964014openalex-snapshot
Channel dependent types for higher-order mobile processes
inferred← citeshttps://doi.org/10.1201/9781420043839.ch2openalex-snapshot
Static Program Analysis for Security
inferred← citeshttps://doi.org/10.1349/ddlp.2759openalex-snapshot
Naming and sharing resources across administrative boundaries.
inferred← citeshttps://doi.org/10.1561/2500000001openalex-snapshot
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial
inferred← citeshttps://doi.org/10.1561/9781601989031openalex-snapshot
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial
inferred← citeshttps://doi.org/10.2172/885642openalex-snapshot
Suitability of Agent Technology for Military Command and Control in the Future Combat System Environment
inferred← citeshttps://doi.org/10.3233/jcm-2006-6s109openalex-snapshot
Advanced method for cryptographic protocol verification
inferred← citeshttps://doi.org/10.3233/jcs-2004-123-407openalex-snapshot
Type-based cryptographic operations*
inferred← citeshttps://doi.org/10.3233/jcs-2011-0429openalex-snapshot
Analysing TLS in the strand spaces model
inferred← citeshttps://doi.org/10.48550/arxiv.1804.00489openalex-snapshot
Robustly Safe Compilation or, Efficient, Provably Secure Compilation
inferred← citeshttps://doi.org/10.5121/csit.2014.4700openalex-snapshot
Computer Science & Information Technology ( CS & IT )
inferred← citeshttps://doi.org/10.5121/csit.2014.4728openalex-snapshot
New Functions for Secrecy on Real Protocols
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.7763/ijmo.2015.v5.459openalex-snapshot
Introduction to the Witness-Functions for Secrecy in Cryptographic 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.