On the public citation graph
Calculational Design of Information Flow Monitors
0 signed · 69 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/11693024_13openalex-snapshot
Flow Locks: Towards a Core Calculus for Dynamic Flow Policies
inferredcites →https://doi.org/10.1007/11741060_8openalex-snapshot
Modular Proof Principles for Parameterised Concretizations
inferredcites →https://doi.org/10.1007/3-540-56287-7_95openalex-snapshot
Improving the results of static analyses of programs by local decreasing iterations
inferredcites →https://doi.org/10.1007/978-3-319-03542-0_16openalex-snapshot
Paragon for Practical Programming with Information-Flow Control
inferredcites →https://doi.org/10.1007/978-3-319-14125-1_2openalex-snapshot
Information Flow in Object-Oriented Software
inferredcites →https://doi.org/10.1007/978-3-540-27864-1_10openalex-snapshot
Information Flow Analysis in Logical Form
inferredcites →https://doi.org/10.1007/978-3-540-31987-0_2openalex-snapshot
Trace Partitioning in Abstract Interpretation Based Static Analyzers
inferredcites →https://doi.org/10.1007/978-3-540-68237-0_17openalex-snapshot
Specification and Checking of Software Contracts for Conditional Information Flow
inferredcites →https://doi.org/10.1007/978-3-540-77505-8_23openalex-snapshot
Combination of Abstractions in the ASTRÉE Static Analyzer
inferredcites →https://doi.org/10.1007/978-3-540-77505-8_7openalex-snapshot
Automata-Based Confidentiality Monitoring
inferredcites →https://doi.org/10.1007/978-3-642-11957-6_4openalex-snapshot
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays
inferredcites →https://doi.org/10.1007/978-3-642-14052-5_3openalex-snapshot
A Certified Denotational Abstract Interpreter
inferredcites →https://doi.org/10.1007/978-3-642-35182-2_5openalex-snapshot
End-to-end Multilevel Hybrid Information Flow Control
inferredcites →https://doi.org/10.1007/978-3-642-54792-8_9openalex-snapshot
Information Flow Control in WebKit’s JavaScript Bytecode
inferredcites →https://doi.org/10.1007/978-3-642-55415-5_23openalex-snapshot
An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript
inferredcites →https://doi.org/10.1007/978-3-662-48899-7_5openalex-snapshot
Value Sensitivity and Observable Abstract Values for Information Flow Control
inferredcites →https://doi.org/10.1007/978-3-662-49635-0_3openalex-snapshot
A Taxonomy of Information Flow Monitors
inferredcites →https://doi.org/10.1080/00207168908803778openalex-snapshot
Static analysis of arithmetical congruences
inferredcites →https://doi.org/10.1109/csf.2007.20openalex-snapshot
Dynamic Dependency Monitoring to Secure Information Flow
inferredcites →https://doi.org/10.1109/csf.2009.22openalex-snapshot
Tight Enforcement of Information-Release Policies for Dynamic Languages
inferredcites →https://doi.org/10.1109/csf.2010.20openalex-snapshot
Dynamic vs. Static Flow-Sensitive Security Analysis
inferredcites →https://doi.org/10.1109/csf.2011.15openalex-snapshot
Dynamic Enforcement of Knowledge-Based Security Policies
inferredcites →https://doi.org/10.1109/csf.2011.17openalex-snapshot
Static Analysis for Efficient Hybrid Information-Flow Control
inferredcites →https://doi.org/10.1109/csf.2013.23openalex-snapshot
Hybrid Information Flow Monitoring against Web Tracking
inferredcites →https://doi.org/10.1109/csf.2014.12openalex-snapshot
Information Flow Monitoring as Abstract Interpretation for Relational Logic
inferredcites →https://doi.org/10.1109/csf.2015.31openalex-snapshot
Value-Sensitive Hybrid Information Flow Control for a JavaScript-Like Language
inferredcites →https://doi.org/10.1109/csf.2015.33openalex-snapshot
An Analysis of Universal Information Flow Based on Self-Composition
inferredcites →https://doi.org/10.1109/sp.2007.22openalex-snapshot
Gradual Release: Unifying Declassification, Encryption and Key Release Policies
inferredcites →https://doi.org/10.1109/sp.2008.20openalex-snapshot
Expressive Declassification Policies and Modular Static Enforcement
inferredcites →https://doi.org/10.1145/1314436.1314438openalex-snapshot
Verification condition generation for conditional information flow
inferredcites →https://doi.org/10.1145/1554339.1554353openalex-snapshot
Efficient purely-dynamic information flow analysis
inferredcites →https://doi.org/10.1145/1814217.1814220openalex-snapshot
Permissive dynamic information flow analysis
inferredcites →https://doi.org/10.1145/2166956.2166962openalex-snapshot
Epistemic temporal logic for information flow security
inferredcites →https://doi.org/10.1145/2491522.2491523openalex-snapshot
Dependent Type Theory for Verification of Information Flow and Access Control Policies
inferredcites →https://doi.org/10.1145/2508859.2516721openalex-snapshot
Relational abstract interpretation for the verification of 2-hypersafety properties
inferredcites →https://doi.org/10.1145/2535838.2535839openalex-snapshot
A verified information-flow architecture
inferredcites →https://doi.org/10.1145/2637113.2637116openalex-snapshot
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis
inferredcites →https://doi.org/10.1145/2676726.2676966openalex-snapshot
A Formally-Verified C Static Analyzer
inferredcites →https://doi.org/10.1145/2810103.2813684openalex-snapshot
Inlined Information Flow Monitoring for JavaScript
inferredcites →https://doi.org/10.1145/2814270.2814308openalex-snapshot
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis
inferredcites →https://doi.org/10.1145/512760.512770openalex-snapshot
Automatic discovery of linear restraints among variables of a program
inferredcites →https://doi.org/10.1145/567752.567778openalex-snapshot
Systematic design of program analysis frameworks
inferredcites →https://doi.org/10.1145/964001.964003openalex-snapshot
Simple relational correctness proofs for static analyses and program transformations
inferredcites →https://doi.org/10.1145/982962.964003openalex-snapshot
Simple relational correctness proofs for static analyses and program transformations
inferredcites →https://doi.org/10.2168/lmcs-7(3:17)2011openalex-snapshot
Attacker Control and Impact for Confidentiality and Integrity
inferredcites →https://doi.org/10.3233/jcs-130469openalex-snapshot
Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation
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-2009-0352openalex-snapshot
Declassification: Dimensions and principles
inferredcites →https://doi.org/10.3233/jcs-2009-0382openalex-snapshot
Adjoining classified and unclassified information by abstract interpretation
inferredcites →https://doi.org/10.3929/ethz-b-000072056openalex-snapshot
A Survey on Product Operators in Abstract Interpretation
inferredcites →https://doi.org/10.4204/eptcs.129.19openalex-snapshot
A Survey on Product Operators in Abstract Interpretation
inferredcites →https://doi.org/10.5860/choice.30-6217openalex-snapshot
The formal semantics of programming languages: an introduction
inferredcites →https://doi.org/10.7551/mitpress/3054.001.0001openalex-snapshot
The Formal Semantics of Programming Languages
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-03421-4_2openalex-snapshot
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-31038-7_3openalex-snapshot
Whither Specifications as Programs
inferred← citeshttps://doi.org/10.1007/978-3-662-54580-5_5openalex-snapshot
Rewriting-Based Runtime Verification for Alternation-Free HyperLTL
inferred← citeshttps://doi.org/10.1016/j.cl.2018.07.003openalex-snapshot
On transparent value-sensitive run-time monitoring for information flow policies
inferred← citeshttps://doi.org/10.1109/csf.2018.00021openalex-snapshot
Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies
inferred← citeshttps://doi.org/10.1109/csf49147.2020.00021openalex-snapshot
Abstracting Faceted Execution
inferred← citeshttps://doi.org/10.1109/sp.2017.64openalex-snapshot
From Trash to Treasure: Timing-Sensitive Garbage Collection
inferred← citeshttps://doi.org/10.1145/3009837.3009889openalex-snapshot
Hypercollecting semantics and its application to static analysis of information flow
inferred← citeshttps://doi.org/10.1145/3093333.3009889openalex-snapshot
Hypercollecting semantics and its application to static analysis of information flow
inferred← citeshttps://doi.org/10.48550/arxiv.1906.03557openalex-snapshot
Whither Programs as Specifications
inferred← citeshttps://doi.org/10.70675/53482fd6z0395z4f3az8c49z30f9f63d83a9openalex-snapshot
Information Flow Control for the Web Browser through a Mechanism of Split Addresses
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.