On the public citation graph
Deriving an information flow checker and certifying compiler for Java
0 signed · 64 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.1007/11555827_12openalex-snapshot
Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study
inferredcites →https://doi.org/10.1007/11560586_29openalex-snapshot
A Typed Assembly Language for Non-interference
inferredcites →https://doi.org/10.1007/11693024_12openalex-snapshot
A Typed Assembly Language for Confidentiality
inferredcites →https://doi.org/10.1007/11741060_3openalex-snapshot
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks
inferredcites →https://doi.org/10.1007/978-3-540-24622-0_2openalex-snapshot
Security Types Preserving Compilation
inferredcites →https://doi.org/10.1007/978-3-540-27864-1_9openalex-snapshot
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
inferredcites →https://doi.org/10.1007/978-3-540-30569-9_2openalex-snapshot
History-Based Access Control and Secure Information Flow
inferredcites →https://doi.org/10.1007/978-3-540-31987-0_7openalex-snapshot
A New Foundation for Control-Dependence and Slicing for Modern Program Structures
inferredcites →https://doi.org/10.1007/978-3-642-59495-3openalex-snapshot
Java and the Java Virtual Machine
inferredcites →https://doi.org/10.1007/978-3-662-03811-6openalex-snapshot
Principles of Program Analysis
inferredcites →https://doi.org/10.1016/s0304-3975(02)00010-5openalex-snapshot
Noninterference for concurrent programs and thread systems
inferredcites →https://doi.org/10.1017/s0956796804005453openalex-snapshot
Stack-based access control and secure information flow
inferredcites →https://doi.org/10.1109/csfw.2002.1021820openalex-snapshot
Secure information flow and pointer con .nement in a java-like language
inferredcites →https://doi.org/10.1109/csfw.2005.15openalex-snapshot
Dimensions and Principles of Declassification
inferredcites →https://doi.org/10.1109/jsac.2002.806121openalex-snapshot
Language-based information-flow security
inferredcites →https://doi.org/10.1145/1040294.1040304openalex-snapshot
Non-interference for a JVM-like language
inferredcites →https://doi.org/10.1145/1275497.1275502openalex-snapshot
A new foundation for control dependence and slicing for modern program structures
inferredcites →https://doi.org/10.1145/324133.324266openalex-snapshot
Secrecy by typing in security protocols
inferredcites →https://doi.org/10.1145/360051.360056openalex-snapshot
A lattice model of secure information flow
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.1007/11766155_23openalex-snapshot
Allowing State Changes in Specifications
inferred← citeshttps://doi.org/10.1007/11823230_20openalex-snapshot
Certificate Translation for Optimizing Compilers
inferred← citeshttps://doi.org/10.1007/11935308_24openalex-snapshot
Provably Correct Runtime Enforcement of Non-interference Properties
inferred← citeshttps://doi.org/10.1007/978-3-030-83014-4_9openalex-snapshot
A Policy-Agnostic Programming Language for the International Data Spaces
inferred← citeshttps://doi.org/10.1007/978-3-030-92124-8_9openalex-snapshot
Hybrid Information Flow Control for Low-Level Code
inferred← citeshttps://doi.org/10.1007/978-3-319-11863-5_2openalex-snapshot
A Security Types Preserving Compiler in Haskell
inferred← citeshttps://doi.org/10.1007/978-3-319-26961-0_24openalex-snapshot
An Automatic Inference of Minimal Security Types
inferred← citeshttps://doi.org/10.1007/978-3-540-71316-6_10openalex-snapshot
A Certified Lightweight Non-interference Java Bytecode Verifier
inferred← citeshttps://doi.org/10.1007/978-3-540-74835-9_18openalex-snapshot
Dynamic Information Flow Control Architecture for Web Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-74835-9_2openalex-snapshot
Security of Multithreaded Programs by Compilation
inferred← citeshttps://doi.org/10.1007/978-3-540-76637-7_7openalex-snapshot
More Typed Assembly Languages for Confidentiality
inferred← citeshttps://doi.org/10.1007/978-3-642-03240-0_16openalex-snapshot
Automated Certification of Non-Interference in Rewriting Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-10622-4_5openalex-snapshot
Noninterference with Dynamic Security Domains and Policies
inferred← citeshttps://doi.org/10.1007/978-3-642-13446-3_4openalex-snapshot
Securing Class Initialization
inferred← citeshttps://doi.org/10.1007/978-3-642-17071-3_6openalex-snapshot
Abstract Certification of Global Non-interference in Rewriting Logic
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/978-3-642-30065-3_5openalex-snapshot
Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language
inferred← citeshttps://doi.org/10.1007/s10817-020-09548-xopenalex-snapshot
System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory
inferred← citeshttps://doi.org/10.1016/j.cl.2016.05.003openalex-snapshot
Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
inferred← citeshttps://doi.org/10.1017/s0960129512000850openalex-snapshot
A certified lightweight non-interference Java bytecode verifier
inferred← citeshttps://doi.org/10.1109/csf.2008.11openalex-snapshot
Tractable Enforcement of Declassification Policies
inferred← citeshttps://doi.org/10.1109/csf.2018.00023openalex-snapshot
A Permission-Dependent Type System for Secure Information Flow Analysis
inferred← citeshttps://doi.org/10.1109/iceccs.2015.36openalex-snapshot
Formal Certification of Non-interferent Android Bytecode (DEX Bytecode)
inferred← citeshttps://doi.org/10.1109/qsic.2010.50openalex-snapshot
Secure Information Flow in Java via Reachability Analysis of Pushdown System
inferred← citeshttps://doi.org/10.1109/sp.2007.10openalex-snapshot
Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model
inferred← citeshttps://doi.org/10.1109/sp.2018.00048openalex-snapshot
Impossibility of Precise and Sound Termination-Sensitive Security Enforcements
inferred← citeshttps://doi.org/10.1109/tdsc.2012.73openalex-snapshot
Securing Class Initialization in Java-like Languages
inferred← citeshttps://doi.org/10.1145/1363686.1363776openalex-snapshot
Type-based information flow analysis for bytecode languages with variable object field policies
inferred← citeshttps://doi.org/10.1145/1375696.1375702openalex-snapshot
A compiler-based infrastructure for software-protection
inferred← citeshttps://doi.org/10.1145/1538917.1538919openalex-snapshot
Certificate translation for optimizing compilers
inferred← citeshttps://doi.org/10.1145/1805974.1805977openalex-snapshot
Security of multithreaded programs by compilation
inferred← citeshttps://doi.org/10.1145/2660267.2660283openalex-snapshot
System-level Non-interference for Constant-time Cryptography
inferred← citeshttps://doi.org/10.1145/3371075openalex-snapshot
Formal verification of a constant-time preserving C compiler
inferred← citeshttps://doi.org/10.1145/3460120.3484761openalex-snapshot
Structured Leakage and Applications to Cryptographic Constant-Time and Cost
inferred← citeshttps://doi.org/10.24251/hicss.2021.842openalex-snapshot
Utilizing Remote Evaluation for Providing Data Sovereignty in Data-sharing Ecosystems
inferred← citeshttps://doi.org/10.3233/jcs-200036openalex-snapshot
A permission-dependent type system for secure information flow analysis
inferred← citeshttps://doi.org/10.32657/10356/136764openalex-snapshot
Securing software systems via fuzz testing and verification
inferred← citeshttps://doi.org/10.48550/arxiv.2106.04951openalex-snapshot
Information flow based defensive chain for data leakage detection and prevention: a survey
inferred← citeshttps://doi.org/10.4995/thesis/10251/13617openalex-snapshot
Abstract Certification of Java Programs in Rewriting Logic
inferred← citeshttps://doi.org/10.5282/edoc.14274openalex-snapshot
Information flow analysis for mobile code in dynamic security environments
inferred← citeshttps://doi.org/10.70675/e88341ecz2dcaz4a4bz9529z9a698f665730openalex-snapshot
Provable encryption schemes for distributed systems
inferred← citeshttps://doi.org/10.82308/52637openalex-snapshot
Information flow in a Java intermediate language
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.