On the public citation graph

Secure Compilation to Modern Processors

https://doi.org/10.1109/csf.2012.12

0 signed · 81 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.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/978-3-642-04117-4_30openalex-snapshot

Low-Level Software Security by Example

inferredcites →https://doi.org/10.1007/978-3-642-16161-2_20openalex-snapshot

Efficient Isolation of Trusted Subsystems in Embedded Systems

inferredcites →https://doi.org/10.1007/bfb0055109openalex-snapshot

Protection in programming-language translations

inferredcites →https://doi.org/10.1016/j.tcs.2006.08.014openalex-snapshot

Securing the .NET programming model

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

On Protection by Layout Randomization

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

Local Memory via Layout Randomization

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

Independence From Obfuscation: A Semantic Framework for Dive

inferredcites →https://doi.org/10.1109/sp.2010.17openalex-snapshot

TrustVisor: Efficient TCB Reduction and Attestation

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

Reducing TCB complexity for security-sensitive applications

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

Flicker

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

Breaking the memory secrecy assumption

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

Control-flow integrity principles, implementations, and applications

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

SICE

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

Return-Oriented Programming

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

Runtime countermeasures for code injection attacks against C and C++ programs

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

Protection in programming languages

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

Programming with abstract data types

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

Programming with abstract data types

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

Independence from obfuscation: A semantic framework for diversity

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-03542-0_13openalex-snapshot

Secure Compilation of Object-Oriented Components to Protected Module Architectures

inferred← citeshttps://doi.org/10.1007/978-3-319-04283-1_16openalex-snapshot

Salus: Non-hierarchical Memory Access Rights to Enforce the Principle of Least Privilege

inferred← citeshttps://doi.org/10.1007/978-3-319-15618-7_4openalex-snapshot

Idea: State-Continuous Transfer of State in Protected-Module Architectures

inferred← citeshttps://doi.org/10.1007/978-3-319-15618-7_9openalex-snapshot

Idea: Towards an Inverted Cloud

inferred← citeshttps://doi.org/10.1007/978-3-319-24018-3_5openalex-snapshot

Secure Resource Sharing for Embedded Protected Module Architectures

inferred← citeshttps://doi.org/10.1007/978-3-319-24174-6_26openalex-snapshot

Lightweight and Flexible Trust Assessment Modules for the Internet of Things

inferred← citeshttps://doi.org/10.1007/978-3-319-68063-7_4openalex-snapshot

Authentic Execution of Distributed Event-Driven Applications with a Small TCB

inferred← citeshttps://doi.org/10.1007/978-3-319-71237-6_6openalex-snapshot

Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications

inferred← citeshttps://doi.org/10.1007/978-3-642-30955-7_1openalex-snapshot

Recent Developments in Low-Level Software Security

inferred← citeshttps://doi.org/10.1007/978-3-658-03371-2_21openalex-snapshot

Protected Software Module Architectures

inferred← citeshttps://doi.org/10.1007/978-3-658-10934-9_11openalex-snapshot

Trust Evidence for IoT: Trust Establishment from Servers to Sensors

inferred← citeshttps://doi.org/10.1016/j.cl.2015.03.002openalex-snapshot

Fully abstract trace semantics for protected module architectures

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.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/csf49147.2020.00026openalex-snapshot

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors

inferred← citeshttps://doi.org/10.1109/eurospw51379.2020.00043openalex-snapshot

Security across abstraction layers: old and new examples

inferred← citeshttps://doi.org/10.1109/icpet53277.2021.00017openalex-snapshot

Automated verification tools for cryptographic protocols

inferred← citeshttps://doi.org/10.1109/secdev.2016.030openalex-snapshot

Security Guarantees for the Execution Infrastructure of Software Applications

inferred← citeshttps://doi.org/10.1109/siot.2016.007openalex-snapshot

Addressing Data-Centric Security Requirements for IoT-Based Systems

inferred← citeshttps://doi.org/10.1109/sp46215.2023.10179433openalex-snapshot

WarpAttack: Bypassing CFI through Compiler-Introduced Double-Fetches

inferred← citeshttps://doi.org/10.1109/uic-atc-scalcom-cbdcom-iop-smartworld.2016.0089openalex-snapshot

Smart-Guard: Defending User Input from Malware

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

Fides

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

Fully abstract compilation to JavaScript

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

Fully abstract compilation to JavaScript

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

Fully abstract trace semantics for low-level isolation mechanisms

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

TrustLite

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

Operational Semantics for Secure Interoperation

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

ICE

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

Sound Modular Verification of C Code Executing in an Unverified Context

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

Secure Compilation to Protected Module Architectures

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

Sound Modular Verification of C Code Executing in an Unverified Context

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

Short Paper

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

Fully-abstract compilation by approximate back-translation

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

Towards availability and real-time guarantees for protected module architectures

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

Fully-abstract compilation by approximate back-translation

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

Fully abstract compilation via universal embedding

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

Mitigating Password Database Breaches with Intel SGX

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

Developing Secure SGX Enclaves

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

Fully abstract compilation via universal embedding

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

Sancus 2.0

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

Parametricity versus the universal type

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

When Good Components Go Bad

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

Formal Approaches to Secure Compilation

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

Robustly Safe Compilation, an Efficient Form of Secure Compilation

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

Securing Interruptible Enclaved Execution on Small Microprocessors

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

Two Parametricities Versus Three Universal Types

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

Securing Verified IO Programs Against Unverified Code in F*

inferred← citeshttps://doi.org/10.1177/0926227x251409398openalex-snapshot

SoK: Robust properties, robust abstractions and back-translations

inferred← citeshttps://doi.org/10.23638/lmcs-13(4:2)2017openalex-snapshot

Modular, Fully-abstract Compilation by Approximate Back-translation

inferred← citeshttps://doi.org/10.26226/morressier.604907f41a80aac83ca25d46openalex-snapshot

Trace-Relating Compiler Correctness and Secure Compilation

inferred← citeshttps://doi.org/10.3850/9783981537079_0999openalex-snapshot

Software Security: Vulnerabilities and Countermeasures for Two Attacker Models

inferred← citeshttps://doi.org/10.4108/sesa.2.3.e1openalex-snapshot

Salus: Kernel Support for Secure Process Compartments

inferred← citeshttps://doi.org/10.48550/arxiv.1502.04023openalex-snapshot

The Meaning of Attack-Resistant Systems

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.10881openalex-snapshot

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version

inferred← citeshttps://doi.org/10.70675/3e68bafczf154z43a7zaedaze8180468623fopenalex-snapshot

Optimizing Property-Preserving 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.