On the public citation graph
On Modular and Fully-Abstract Compilation
0 signed · 59 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.2002.3086openalex-snapshot
Secure Implementation of Channel Abstractions
inferredcites →https://doi.org/10.1007/11561163_3openalex-snapshot
A Fully Abstract Semantics for UML Components
inferredcites →https://doi.org/10.1007/3-540-48749-2_2openalex-snapshot
Protection in Programming-Language Translations
inferredcites →https://doi.org/10.1007/978-3-540-31987-0_29openalex-snapshot
Java JR: Fully Abstract Trace Semantics for a Core Java Language
inferredcites →https://doi.org/10.1007/s10817-009-9155-4openalex-snapshot
A Formally Verified Compiler Back-end
inferredcites →https://doi.org/10.1016/0304-3975(77)90044-5openalex-snapshot
LCF considered as a programming language
inferredcites →https://doi.org/10.1016/j.cl.2015.03.002openalex-snapshot
Fully abstract trace semantics for protected module architectures
inferredcites →https://doi.org/10.1017/s0960129514000279openalex-snapshot
Full abstraction for expressiveness: history, myths and facts
inferredcites →https://doi.org/10.1017/s0960129514000280openalex-snapshot
General conditions for full abstraction
inferredcites →https://doi.org/10.1109/csf.2011.18openalex-snapshot
Local Memory via Layout Randomization
inferredcites →https://doi.org/10.1109/isca.2014.6853201openalex-snapshot
The CHERI capability model: Revisiting RISC in an age of risk
inferredcites →https://doi.org/10.1109/sfcs.1981.32openalex-snapshot
On the security of public key protocols
inferredcites →https://doi.org/10.1109/sp.2010.17openalex-snapshot
TrustVisor: Efficient TCB Reduction and Attestation
inferredcites →https://doi.org/10.1109/tit.1983.1056650openalex-snapshot
On the security of public key protocols
inferredcites →https://doi.org/10.1145/1190215.1190253openalex-snapshot
Secure implementations of typed channel abstractions
inferredcites →https://doi.org/10.1145/1190216.1190253openalex-snapshot
Secure implementations of typed channel abstractions
inferredcites →https://doi.org/10.1145/1217935.1217951openalex-snapshot
Reducing TCB complexity for security-sensitive applications
inferredcites →https://doi.org/10.1145/1218063.1217951openalex-snapshot
Reducing TCB complexity for security-sensitive applications
inferredcites →https://doi.org/10.1145/1411203.1411227openalex-snapshot
Typed closure conversion preserves observational equivalence
inferredcites →https://doi.org/10.1145/1481861.1481866openalex-snapshot
Secure compilation of a multi-tier web language
inferredcites →https://doi.org/10.1145/1596550.1596567openalex-snapshot
Biorthogonality, step-indexing and compiler correctness
inferredcites →https://doi.org/10.1145/1631687.1596567openalex-snapshot
Biorthogonality, step-indexing and compiler correctness
inferredcites →https://doi.org/10.1145/1805974.1805977openalex-snapshot
Security of multithreaded programs by compilation
inferredcites →https://doi.org/10.1145/1925844.1926402openalex-snapshot
A kripke logical relation between ML and assembly
inferredcites →https://doi.org/10.1145/2034574.2034830openalex-snapshot
An equivalence-preserving CPS translation via multi-language semantics
inferredcites →https://doi.org/10.1145/2240276.2240279openalex-snapshot
On Protection by Layout Randomization
inferredcites →https://doi.org/10.1145/2429069.2429114openalex-snapshot
Fully abstract compilation to JavaScript
inferredcites →https://doi.org/10.1145/2487726.2488368openalex-snapshot
Innovative instructions and software model for isolated execution
inferredcites →https://doi.org/10.1145/2535838.2535839openalex-snapshot
A verified information-flow architecture
inferredcites →https://doi.org/10.1145/2535838.2535889openalex-snapshot
Gradual typing embedded securely in JavaScript
inferredcites →https://doi.org/10.1145/2699503openalex-snapshot
Secure Compilation to Protected Module Architectures
inferredcites →https://doi.org/10.1145/2837614.2837618openalex-snapshot
Fully-abstract compilation by approximate back-translation
inferredcites →https://doi.org/10.1145/964001.964015openalex-snapshot
A bisimulation for dynamic sealing
inferredcites →https://doi.org/10.1145/982962.964015openalex-snapshot
A bisimulation for dynamic sealing
inferredcites →https://doi.org/10.3233/jcs-2008-0334openalex-snapshot
A secure compiler for session abstractions
inferredcites →https://doi.org/10.4230/lipics.snapl.2015.15openalex-snapshot
Verified Compilers for a Multi-Language World
inferredcites →https://doi.org/10.48550/arxiv.1604.05044openalex-snapshot
On Modular and Fully-Abstract Compilation -- Technical Appendix
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-17184-1_17openalex-snapshot
Robustly Safe Compilation
inferred← citeshttps://doi.org/10.1007/978-3-030-57201-3_9openalex-snapshot
A Categorical Approach to Secure Compilation
inferred← citeshttps://doi.org/10.1007/978-3-319-89884-1_17openalex-snapshot
Reasoning About a Machine with Local Capabilities
inferred← citeshttps://doi.org/10.1017/s095679682100006xopenalex-snapshot
StkTokens : Enforcing well-bracketed control flow and stack encapsulation using linear capabilities
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/csf.2017.13openalex-snapshot
Secure Compilation and Hyperproperty Preservation
inferred← citeshttps://doi.org/10.1109/csf.2019.00024openalex-snapshot
Temporal Safety for Stack Allocated Memory on Capability Machines
inferred← citeshttps://doi.org/10.1109/csf.2019.00025openalex-snapshot
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470559openalex-snapshot
On sequentiality and well-bracketing in the $\pi$-calculus
inferred← citeshttps://doi.org/10.1109/secdev.2016.030openalex-snapshot
Security Guarantees for the Execution Infrastructure of Software Applications
inferred← citeshttps://doi.org/10.1145/3158126openalex-snapshot
Parametricity versus the universal type
inferred← citeshttps://doi.org/10.1145/3280984openalex-snapshot
Formal Approaches to Secure Compilation
inferred← citeshttps://doi.org/10.1145/3290332openalex-snapshot
StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities
inferred← citeshttps://doi.org/10.1145/3363519openalex-snapshot
Reasoning about a Machine with Local Capabilities
inferred← citeshttps://doi.org/10.1145/3436809openalex-snapshot
Robustly Safe Compilation, an Efficient Form of Secure Compilation
inferred← citeshttps://doi.org/10.48550/arxiv.1802.00588openalex-snapshot
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
inferred← citeshttps://doi.org/10.48550/arxiv.1804.00489openalex-snapshot
Robustly Safe Compilation or, Efficient, Provably Secure Compilation
inferred← citeshttps://doi.org/10.48550/arxiv.2001.11334openalex-snapshot
Why Should Anyone use Colours? or, Syntax Highlighting Beyond Code Snippets
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.