On the public citation graph
Protection in programming-language translations
0 signed · 98 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.1006/inco.1998.2740openalex-snapshot
A Calculus for Cryptographic Protocols: The Spi Calculus
inferredcites →https://doi.org/10.1007/3-540-48737-9_8openalex-snapshot
A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and Subroutines
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.1007/978-3-642-58041-3_6openalex-snapshot
The Polyadic π-Calculus: a Tutorial
inferredcites →https://doi.org/10.1007/bf00124891openalex-snapshot
Authentication and authenticated key exchanges
inferredcites →https://doi.org/10.1007/bf00289507openalex-snapshot
Proof of correctness of data representations
inferredcites →https://doi.org/10.1007/bfb0014571openalex-snapshot
Secrecy by typing in security protocols
inferredcites →https://doi.org/10.1016/0167-6423(93)90004-9openalex-snapshot
On abstraction and the expressive power of programming languages
inferredcites →https://doi.org/10.1016/0304-3975(77)90044-5openalex-snapshot
LCF considered as a programming language
inferredcites →https://doi.org/10.1016/0304-3975(77)90053-6openalex-snapshot
Fully abstract models of typed λ-calculi
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/s0960129500000293openalex-snapshot
Fully abstract translations between functional languages
inferredcites →https://doi.org/10.1109/32.481534openalex-snapshot
A general theory of composition for a class of "possibilistic" properties
inferredcites →https://doi.org/10.1109/lics.1998.705647openalex-snapshot
Secure implementation of channel abstractions
inferredcites →https://doi.org/10.1145/103418.103423openalex-snapshot
Separating concurrent languages with categories of language embeddings
inferredcites →https://doi.org/10.1145/174613.174614openalex-snapshot
Authentication in the Taos operating system
inferredcites →https://doi.org/10.1145/214451.214452openalex-snapshot
Secure communication using remote procedure calls
inferredcites →https://doi.org/10.1145/237721.237805openalex-snapshot
The reflexive CHAM and the join-calculus
inferredcites →https://doi.org/10.1145/266420.266432openalex-snapshot
A calculus for cryptographic protocols
inferredcites →https://doi.org/10.1145/268946.268954openalex-snapshot
From system F to typed assembly language
inferredcites →https://doi.org/10.1145/268946.268959openalex-snapshot
A type system for Java bytecode subroutines
inferredcites →https://doi.org/10.1145/268946.268979openalex-snapshot
Security properties of typed applets
inferredcites →https://doi.org/10.1145/268998.266669openalex-snapshot
A decentralized model for information flow control
inferredcites →https://doi.org/10.1145/277650.277752openalex-snapshot
The design and implementation of a certifying compiler
inferredcites →https://doi.org/10.1145/286936.286972openalex-snapshot
A type system for object initialization in the Java bytecode language
inferredcites →https://doi.org/10.1145/359488.359493openalex-snapshot
A language extension for expressing constraints on data access
inferredcites →https://doi.org/10.1145/360051.360074openalex-snapshot
Reflections on an operating system design
inferredcites →https://doi.org/10.1145/361932.361937openalex-snapshot
Protection in programming languages
inferredcites →https://doi.org/10.1145/63238.63240openalex-snapshot
A simple approach to specifying concurrent systems
inferredcites →https://doi.org/10.1145/773379.806614openalex-snapshot
Hints for computer system design
inferredcites →https://doi.org/10.1201/9781439821916openalex-snapshot
Handbook of Applied Cryptography
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.2000.3020openalex-snapshot
Static Analysis for the π-Calculus with Applications to Security
inferred← citeshttps://doi.org/10.1006/inco.2002.3086openalex-snapshot
Secure Implementation of Channel Abstractions
inferred← citeshttps://doi.org/10.1007/11580850_3openalex-snapshot
Typed Processes in Untyped Contexts
inferred← citeshttps://doi.org/10.1007/11787006_10openalex-snapshot
Preserving Secrecy Under Refinement
inferred← citeshttps://doi.org/10.1007/11888116_8openalex-snapshot
Formal Analysis of Dynamic, Distributed File-System Access Controls
inferred← citeshttps://doi.org/10.1007/11924661_16openalex-snapshot
Computational Secrecy by Typing for the Pi Calculus
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-45061-0_75openalex-snapshot
Secrecy in Untrusted Networks
inferred← citeshttps://doi.org/10.1007/3-540-46691-6_10openalex-snapshot
A Top-Down Look at a Secure Message
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_9openalex-snapshot
Static Analysis of Processes for No Read-Up and No Write-Down
inferred← citeshttps://doi.org/10.1007/978-3-030-50029-0_9openalex-snapshot
GoPi: Compiling Linear and Static Channels in Go
inferred← citeshttps://doi.org/10.1007/978-3-319-11599-3_10openalex-snapshot
Static Semantics of Secret Channel Abstractions
inferred← citeshttps://doi.org/10.1007/978-3-540-31982-5_19openalex-snapshot
Bridging Language-Based and Process Calculi Security
inferred← citeshttps://doi.org/10.1007/978-3-540-74810-6_4openalex-snapshot
Low-Level Software Security: Attacks and Defenses
inferred← citeshttps://doi.org/10.1007/978-3-642-19718-5_8openalex-snapshot
Type-Based Access Control in Data-Centric Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-32759-9_1openalex-snapshot
Software Security: A Formal Perspective
inferred← citeshttps://doi.org/10.1007/978-3-642-35371-0_3openalex-snapshot
Secure Implementation of Asynchronous Method Calls and Futures
inferred← citeshttps://doi.org/10.1007/978-3-642-36830-1_9openalex-snapshot
On Layout Randomization for Arrays and Functions
inferred← citeshttps://doi.org/10.1007/978-3-662-53413-7_9openalex-snapshot
Securing a Compiler Transformation
inferred← citeshttps://doi.org/10.1007/s10703-017-0313-8openalex-snapshot
Securing a compiler transformation
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.08.014openalex-snapshot
Securing the .NET programming model
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00095-7openalex-snapshot
Cryptographic Security of Reactive Systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80068-9openalex-snapshot
Secrecy in Programming-Language Semantics
inferred← citeshttps://doi.org/10.1017/s0960129509990247openalex-snapshot
Channel abstractions for network security
inferred← citeshttps://doi.org/10.1109/ase.2001.989818openalex-snapshot
AGATE, access graph based tools for handling encapsulation
inferred← citeshttps://doi.org/10.1109/csf.2008.17openalex-snapshot
Language Based Secure Communication
inferred← citeshttps://doi.org/10.1109/csf.2010.30openalex-snapshot
On Protection by Layout Randomization
inferred← citeshttps://doi.org/10.1109/csf.2012.12openalex-snapshot
Secure Compilation to Modern Processors
inferred← citeshttps://doi.org/10.1109/csf.2016.11openalex-snapshot
Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation
inferred← citeshttps://doi.org/10.1109/csf54842.2022.9919680openalex-snapshot
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
inferred← citeshttps://doi.org/10.1109/csfw.1999.779759openalex-snapshot
I/O automaton models and proofs for shared-key communication systems
inferred← citeshttps://doi.org/10.1109/csfw.2005.15openalex-snapshot
Dimensions and Principles of Declassification
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/secpri.1999.766719openalex-snapshot
Secure communications processing for distributed languages
inferred← citeshttps://doi.org/10.1145/1103576.1103583openalex-snapshot
Formal security analysis of basic network-attached storage
inferred← citeshttps://doi.org/10.1145/1328438.1328478openalex-snapshot
Cryptographically sound implementations for typed information-flow security
inferred← citeshttps://doi.org/10.1145/1328897.1328478openalex-snapshot
Cryptographically sound implementations for typed information-flow security
inferred← citeshttps://doi.org/10.1145/3158110openalex-snapshot
Type-preserving CPS translation of Σ and Π types is not not possible
inferred← citeshttps://doi.org/10.1145/3158126openalex-snapshot
Parametricity versus the universal type
inferred← citeshttps://doi.org/10.1145/324133.324266openalex-snapshot
Secrecy by typing in security protocols
inferred← citeshttps://doi.org/10.1145/3377555.3377897openalex-snapshot
Secure delivery of program properties through optimizing compilation
inferred← citeshttps://doi.org/10.1145/3434288openalex-snapshot
Fully abstract from static to gradual
inferred← citeshttps://doi.org/10.1145/360204.360213openalex-snapshot
Mobile values, new names, and secure communication
inferred← citeshttps://doi.org/10.1145/3698234openalex-snapshot
Universal Composability Is Robust Compilation
inferred← citeshttps://doi.org/10.1145/373243.360213openalex-snapshot
Mobile values, new names, and secure communication
inferred← citeshttps://doi.org/10.1145/3763101openalex-snapshot
Non-interference Preserving Optimising Compilation
inferred← citeshttps://doi.org/10.3233/jcs-2004-123-407openalex-snapshot
Type-based cryptographic operations*
inferred← citeshttps://doi.org/10.4204/eptcs.104.8openalex-snapshot
Coherent Minimisation: Towards efficient tamper-proof compilation
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.