On the public citation graph
Liquid information flow control
0 signed · 88 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/3-540-45251-6_29openalex-snapshot
Houdini, an Annotation Assistant for ESC/Java
inferredcites →https://doi.org/10.1007/978-3-319-05119-2_11openalex-snapshot
Information Flow Analysis for Valued-Indexed Data Security Compartments
inferredcites →https://doi.org/10.1007/978-3-319-21668-3_13openalex-snapshot
Deductive Program Repair
inferredcites →https://doi.org/10.1007/978-3-642-11957-6_28openalex-snapshot
Enforcing Stateful Authorization and Information Flow Policies in Fine
inferredcites →https://doi.org/10.1007/978-3-642-29615-4_16openalex-snapshot
Disjunction Category Labels
inferredcites →https://doi.org/10.1007/978-3-642-31424-7_39openalex-snapshot
Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement
inferredcites →https://doi.org/10.1007/978-3-642-37036-6_13openalex-snapshot
Abstract Refinement Types
inferredcites →https://doi.org/10.1007/978-3-642-39799-8_46openalex-snapshot
Explain: A Tool for Performing Abductive Inference
inferredcites →https://doi.org/10.1007/978-3-642-39799-8_67openalex-snapshot
Recursive Program Synthesis
inferredcites →https://doi.org/10.1007/978-3-662-54577-5_18openalex-snapshot
Scaling Enumerative Program Synthesis via Divide and Conquer
inferredcites →https://doi.org/10.1007/s10207-007-0019-9openalex-snapshot
Dynamic security labels and static information flow control
inferredcites →https://doi.org/10.1016/j.jlamp.2017.12.003openalex-snapshot
MAC A verified static information-flow control library
inferredcites →https://doi.org/10.1016/s0167-6423(99)00023-4openalex-snapshot
Generalising monads to arrows
inferredcites →https://doi.org/10.1017/s0956796804005441openalex-snapshot
A monadic analysis of information flow security with mutable state
inferredcites →https://doi.org/10.1017/s0956796816000241openalex-snapshot
Flexible dynamic information flow control in the presence of exceptions
inferredcites →https://doi.org/10.1109/ase.2015.60openalex-snapshot
Repairing Programs with Semantic Code Search (T)
inferredcites →https://doi.org/10.1109/csf.2013.8openalex-snapshot
A Theory of Information-Flow Labels
inferredcites →https://doi.org/10.1109/csfw.2006.13openalex-snapshot
Encoding Information Flow in Haskell
inferredcites →https://doi.org/10.1109/jsac.2002.806121openalex-snapshot
Language-based information-flow security
inferredcites →https://doi.org/10.1109/sp.2006.34openalex-snapshot
Retrofitting legacy code for authorization policy enforcement
inferredcites →https://doi.org/10.1109/sp.2012.22openalex-snapshot
Sharing Mobile Code Securely with Information Flow Control
inferredcites →https://doi.org/10.1145/1040305.1040319openalex-snapshot
Downgrading policies and relaxed noninterference
inferredcites →https://doi.org/10.1145/1062455.1062502openalex-snapshot
Verification and change-impact analysis of access-control policies
inferredcites →https://doi.org/10.1145/1411286.1411289openalex-snapshot
A library for light-weight information-flow security in haskell
inferredcites →https://doi.org/10.1145/155090.155113openalex-snapshot
The essence of compiling with continuations
inferredcites →https://doi.org/10.1145/1554339.1554344openalex-snapshot
Encoding information flow in Aura
inferredcites →https://doi.org/10.1145/1596550.1596598openalex-snapshot
A theory of typed coercions and its applications
inferredcites →https://doi.org/10.1145/1629575.1629604openalex-snapshot
Improving application security with data flow assertions
inferredcites →https://doi.org/10.1145/1806596.1806632openalex-snapshot
Complete functional synthesis
inferredcites →https://doi.org/10.1145/1806596.1806643openalex-snapshot
Type-preserving compilation of end-to-end verification of security enforcement
inferredcites →https://doi.org/10.1145/1866307.1866340openalex-snapshot
DIFC programs by automatic instrumentation
inferredcites →https://doi.org/10.1145/1929553.1929564openalex-snapshot
Information flow enforcement in monadic libraries
inferredcites →https://doi.org/10.1145/2034574.2034811openalex-snapshot
Secure distributed programming with value-dependent types
inferredcites →https://doi.org/10.1145/2034773.2034811openalex-snapshot
Secure distributed programming with value-dependent types
inferredcites →https://doi.org/10.1145/2103621.2103669openalex-snapshot
A language for automatically enforcing privacy policies
inferredcites →https://doi.org/10.1145/2103656.2103669openalex-snapshot
A language for automatically enforcing privacy policies
inferredcites →https://doi.org/10.1145/2465106.2465121openalex-snapshot
Faceted execution of policy-agnostic programs
inferredcites →https://doi.org/10.1145/2509136.2509555openalex-snapshot
Synthesis modulo recursive functions
inferredcites →https://doi.org/10.1145/2676726.2676994openalex-snapshot
Dependent Information Flow Types
inferredcites →https://doi.org/10.1145/2737924.2737977openalex-snapshot
Synthesizing data structure transformations from input-output examples
inferredcites →https://doi.org/10.1145/2737924.2738009openalex-snapshot
Diagnosing type errors with class
inferredcites →https://doi.org/10.1145/2784731.2784756openalex-snapshot
Functional pearl: two can keep a secret, if one of them uses Haskell
inferredcites →https://doi.org/10.1145/2784731.2784758openalex-snapshot
HLIO: mixing static and dynamic typing for information-flow control in Haskell
inferredcites →https://doi.org/10.1145/2837614.2837629openalex-snapshot
Example-directed synthesis: a type-theoretic interpretation
inferredcites →https://doi.org/10.1145/2908080.2908093openalex-snapshot
Program synthesis from polymorphic refinement types
inferredcites →https://doi.org/10.1145/2908080.2908098openalex-snapshot
Precise, dynamic information flow for database-backed applications
inferredcites →https://doi.org/10.1145/2983990.2983994openalex-snapshot
A practical framework for type inference error explanation
inferredcites →https://doi.org/10.1145/2993600.2993608openalex-snapshot
On Formalizing Information-Flow Control Libraries
inferredcites →https://doi.org/10.1145/3138818openalex-snapshot
Learning to blame: localizing novice type errors with data-driven diagnosis
inferredcites →https://doi.org/10.1145/3290388openalex-snapshot
LWeb: information flow security for multi-tier web applications
inferredcites →https://doi.org/10.1145/357084.357090openalex-snapshot
A Deductive Approach to Program Synthesis
inferredcites →https://doi.org/10.1145/363516.363526openalex-snapshot
Protecting privacy using the decentralized label model
inferredcites →https://doi.org/10.1145/503272.503302openalex-snapshot
Information flow inference for ML
inferredcites →https://doi.org/10.3233/jcs-15791openalex-snapshot
Paragon – Practical programming with information flow control
inferredcites →https://doi.org/10.3233/jcs-15801openalex-snapshot
Hails: Protecting data privacy in untrusted web applications
inferredcites →https://doi.org/10.3233/jcs-191382openalex-snapshot
On the expressiveness and semantics of information flow types
inferredcites →https://doi.org/10.5555/1924943.1924951openalex-snapshot
Static checking of dynamically-varying security policies in database-backed applications
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-92124-8_9openalex-snapshot
Hybrid Information Flow Control for Low-Level Code
inferred← citeshttps://doi.org/10.1007/978-3-031-07727-2_24openalex-snapshot
SNITCH: A Platform for Information Flow Control
inferred← citeshttps://doi.org/10.1007/978-3-031-22337-2_26openalex-snapshot
Embedded Domain Specific Verifiers
inferred← citeshttps://doi.org/10.1007/978-3-031-65633-0_1openalex-snapshot
Syntax-Guided Automated Program Repair for Hyperproperties
inferred← citeshttps://doi.org/10.1007/978-981-16-8113-4_3openalex-snapshot
Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming
inferred← citeshttps://doi.org/10.1109/csf54842.2022.9919690openalex-snapshot
IFCIL: An Information Flow Configuration Language for SELinux
inferred← citeshttps://doi.org/10.1109/csf64896.2025.00029openalex-snapshot
Nonmalleable Progress Leakage
inferred← citeshttps://doi.org/10.1109/csf64896.2025.00031openalex-snapshot
Securing P4 Programs by Information Flow Control
inferred← citeshttps://doi.org/10.1145/3428216openalex-snapshot
Statically verified refinements for multiparty protocols
inferred← citeshttps://doi.org/10.1145/3453483.3454048openalex-snapshot
RbSyn: type- and effect-guided program synthesis
inferred← citeshttps://doi.org/10.1145/3453483.3454072openalex-snapshot
Scooter & Sidecar: a domain-specific approach to writing secure database migrations
inferred← citeshttps://doi.org/10.1145/3460120.3484578openalex-snapshot
SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking
inferred← citeshttps://doi.org/10.1145/3519939.3523725openalex-snapshot
ANOSY: approximated knowledge synthesis with refinement types for declassification
inferred← citeshttps://doi.org/10.1145/3593856.3595905openalex-snapshot
Access Control for Database Applications: Beyond Policy Enforcement
inferred← citeshttps://doi.org/10.1145/3610612.3610619openalex-snapshot
Data-Dependent Confidentiality in DCR Graphs
inferred← citeshttps://doi.org/10.1145/3690636openalex-snapshot
Specifying and Verifying Information Flow Control in SELinux Configurations
inferred← citeshttps://doi.org/10.4230/lipics.calco.2025.4openalex-snapshot
Distributive Laws of Monadic Containers
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.