On the public citation graph

Robustly Safe Compilation, an Efficient Form of Secure Compilation

0 signed · 93 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.

Claim with ORCID

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.

See reference health

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/3-540-48749-2openalex-snapshot

Secure Internet Programming: Security Issues for Mobile and Distributed Objects

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-030-17184-1_17openalex-snapshot

Robustly Safe Compilation

inferredcites →https://doi.org/10.1007/978-3-030-39322-9_1openalex-snapshot

Witnessing Secure Compilation

inferredcites →https://doi.org/10.1007/978-3-319-03542-0_13openalex-snapshot

Secure Compilation of Object-Oriented Components to Protected Module Architectures

inferredcites →https://doi.org/10.1007/978-3-319-26529-2_3openalex-snapshot

A Secure Compiler for ML Modules

inferredcites →https://doi.org/10.1007/978-3-319-89884-1_17openalex-snapshot

Reasoning About a Machine with Local Capabilities

inferredcites →https://doi.org/10.1007/978-3-540-88313-5_36openalex-snapshot

Code-Carrying Authorization

inferredcites →https://doi.org/10.1007/978-3-642-01465-9_2openalex-snapshot

Secure Information Flow as a Safety Property

inferredcites →https://doi.org/10.1007/978-3-642-21461-5_19openalex-snapshot

Ownership Types for the Join Calculus

inferredcites →https://doi.org/10.1007/978-3-662-03811-6openalex-snapshot

Principles of Program Analysis

inferredcites →https://doi.org/10.1007/s10817-009-9155-4openalex-snapshot

A Formally Verified Compiler Back-end

inferredcites →https://doi.org/10.1016/0020-0190(85)90056-0openalex-snapshot

Defining liveness

inferredcites →https://doi.org/10.1016/0304-3975(92)90185-iopenalex-snapshot

The chemical abstract machine

inferredcites →https://doi.org/10.1016/j.cl.2005.05.002openalex-snapshot

Security types preserving compilation

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/csf.2012.12openalex-snapshot

Secure Compilation to Modern Processors

inferredcites →https://doi.org/10.1109/csf.2016.9openalex-snapshot

On Modular and Fully-Abstract Compilation

inferredcites →https://doi.org/10.1109/csf.2017.13openalex-snapshot

Secure Compilation and Hyperproperty Preservation

inferredcites →https://doi.org/10.1109/csf.2018.00031openalex-snapshot

Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic “Constant-Time”

inferredcites →https://doi.org/10.1109/csf.2019.00025openalex-snapshot

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation

inferredcites →https://doi.org/10.1109/csfw.2001.930143openalex-snapshot

Authenticity by typing for security protocols

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.1145/1111037.1111042openalex-snapshot

Formal certification of a compiler back-end or

inferredcites →https://doi.org/10.1145/1111320.1111042openalex-snapshot

Formal certification of a compiler back-end or

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/1275497.1275500openalex-snapshot

A type discipline for authorization policies

inferredcites →https://doi.org/10.1145/1411204.1411227openalex-snapshot

Typed closure conversion preserves observational equivalence

inferredcites →https://doi.org/10.1145/1596550.1596572openalex-snapshot

Non-parametric parametricity

inferredcites →https://doi.org/10.1145/1609956.1609960openalex-snapshot

Control-flow integrity principles, implementations, and applications

inferredcites →https://doi.org/10.1145/1631687.1596572openalex-snapshot

Non-parametric parametricity

inferredcites →https://doi.org/10.1145/1890028.1890031openalex-snapshot

Refinement types for secure implementations

inferredcites →https://doi.org/10.1145/1925844.1926402openalex-snapshot

A kripke logical relation between ML and assembly

inferredcites →https://doi.org/10.1145/195470.195579openalex-snapshot

Hardware support for fast capability-based addressing

inferredcites →https://doi.org/10.1145/195473.195579openalex-snapshot

Hardware support for fast capability-based addressing

inferredcites →https://doi.org/10.1145/2034574.2034830openalex-snapshot

An equivalence-preserving CPS translation via multi-language semantics

inferredcites →https://doi.org/10.1145/2034773.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.2535889openalex-snapshot

Gradual typing embedded securely in JavaScript

inferredcites →https://doi.org/10.1145/2578855.2535889openalex-snapshot

Gradual typing embedded securely in JavaScript

inferredcites →https://doi.org/10.1145/2676726.2676985openalex-snapshot

Compositional CompCert

inferredcites →https://doi.org/10.1145/2678373.2665740openalex-snapshot

The CHERI capability model

inferredcites →https://doi.org/10.1145/2699503openalex-snapshot

Secure Compilation to Protected Module Architectures

inferredcites →https://doi.org/10.1145/2784731.2784733openalex-snapshot

Noninterference for free

inferredcites →https://doi.org/10.1145/2784731.2784764openalex-snapshot

Pilsner: a compositionally verified compiler for a higher-order imperative language

inferredcites →https://doi.org/10.1145/2837614.2837642openalex-snapshot

Lightweight verification of separate compilation

inferredcites →https://doi.org/10.1145/2908080.2908100openalex-snapshot

End-to-end verification of information-flow security for C and assembly programs

inferredcites →https://doi.org/10.1145/2914770.2837618openalex-snapshot

Fully-abstract compilation by approximate back-translation

inferredcites →https://doi.org/10.1145/2951913.2951941openalex-snapshot

Fully abstract compilation via universal embedding

inferredcites →https://doi.org/10.1145/2976749.2978321openalex-snapshot

Breaking Kernel Address Space Layout Randomization with Intel TSX

inferredcites →https://doi.org/10.1145/2980983.2908100openalex-snapshot

End-to-end verification of information-flow security for C and assembly programs

inferredcites →https://doi.org/10.1145/3133913openalex-snapshot

Robust and compositional verification of object capability patterns

inferredcites →https://doi.org/10.1145/3133956.3134078openalex-snapshot

Jasmin

inferredcites →https://doi.org/10.1145/3158126openalex-snapshot

Parametricity versus the universal type

inferredcites →https://doi.org/10.1145/324133.324266openalex-snapshot

Secrecy by typing in security protocols

inferredcites →https://doi.org/10.1145/3243734.3243745openalex-snapshot

When Good Components Go Bad

inferredcites →https://doi.org/10.1145/325694.325734openalex-snapshot

Authentication primitives and their compilation

inferredcites →https://doi.org/10.1145/3280984openalex-snapshot

Formal Approaches to Secure Compilation

inferredcites →https://doi.org/10.1145/3290332openalex-snapshot

StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities

inferredcites →https://doi.org/10.1145/3371100openalex-snapshot

The high-level benefits of low-level sandboxing

inferredcites →https://doi.org/10.1145/353323.353382openalex-snapshot

Enforceable security policies

inferredcites →https://doi.org/10.1145/361932.361937openalex-snapshot

Protection in programming languages

inferredcites →https://doi.org/10.1145/982962.964015openalex-snapshot

A bisimulation for dynamic sealing

inferredcites →https://doi.org/10.23638/lmcs-13(4:2)2017openalex-snapshot

Modular, Fully-abstract Compilation by Approximate Back-translation

inferredcites →https://doi.org/10.3233/jcs-130493openalex-snapshot

Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations

inferredcites →https://doi.org/10.3233/jcs-1996-42-304openalex-snapshot

A sound type system for secure flow analysis

inferredcites →https://doi.org/10.3233/jcs-2003-11402openalex-snapshot

Authenticity by typing for security protocols1

inferredcites →https://doi.org/10.3233/jcs-2009-0352openalex-snapshot

Declassification: Dimensions and principles

inferredcites →https://doi.org/10.3233/jcs-2009-0393openalex-snapshot

Hyperproperties

inferredcites →https://doi.org/10.48550/arxiv.1710.07309openalex-snapshot

Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)

inferredcites →https://doi.org/10.48550/arxiv.1907.05320openalex-snapshot

Trace-Relating Compiler Correctness and Secure Compilation

inferredcites →https://doi.org/10.48550/arxiv.2001.11334openalex-snapshot

Why Should Anyone use Colours? or, Syntax Highlighting Beyond Code Snippets

inferredcites →https://doi.org/10.5555/1454415.1454419openalex-snapshot

A secure compiler for session abstractions

inferredcites →https://doi.org/10.5555/2685048.2685061openalex-snapshot

Code-pointer integrity

inferredcites →https://doi.org/10.7551/mitpress/2003.003.0005openalex-snapshot

The WHILE Language

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

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/csf57540.2023.00021openalex-snapshot

Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers

inferred← citeshttps://doi.org/10.1109/csf61375.2024.00024openalex-snapshot

Computationally Bounded Robust Compilation and Universally Composable Security

inferred← citeshttps://doi.org/10.1145/3460120.3484534openalex-snapshot

Exorcising Spectres with Secure Compilers

inferred← citeshttps://doi.org/10.1145/3563317openalex-snapshot

Necessity specifications for robustness

inferred← citeshttps://doi.org/10.1145/3658644.3670288openalex-snapshot

SECOMP: Formally Secure Compilation of Compartmentalized C Programs

inferred← citeshttps://doi.org/10.1145/3698234openalex-snapshot

Universal Composability Is Robust Compilation

inferred← citeshttps://doi.org/10.1145/3703595.3705880openalex-snapshot

Formally Verified Hardening of C Programs against Hardware Fault Injection

inferred← citeshttps://doi.org/10.1145/3735452.3735528openalex-snapshot

JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code Execution

inferred← citeshttps://doi.org/10.1145/3763101openalex-snapshot

Non-interference Preserving Optimising Compilation

inferred← citeshttps://doi.org/10.1145/3776682openalex-snapshot

Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation

inferred← citeshttps://doi.org/10.33693/2313-223x-2023-10-1-103-111openalex-snapshot

Methodology for Developing a High-speed Compiler Based on the Modified Loop Fusion Optimization Method: Models and Tools for its Implementation

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.