On the public citation graph
LWeb: information flow security for multi-tier web applications
0 signed · 84 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/978-3-319-05119-2_11openalex-snapshot
Information Flow Analysis for Valued-Indexed Data Security Compartments
inferredcites →https://doi.org/10.1007/978-3-540-89862-7_4openalex-snapshot
Implicit Flows: Can’t Live with ‘Em, Can’t Live without ‘Em
inferredcites →https://doi.org/10.1007/978-3-642-17511-4_20openalex-snapshot
Dafny: An Automatic Program Verifier for Functional Correctness
inferredcites →https://doi.org/10.1007/978-3-642-29615-4_16openalex-snapshot
Disjunction Category Labels
inferredcites →https://doi.org/10.1007/978-3-662-46666-7_2openalex-snapshot
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
inferredcites →https://doi.org/10.1007/s10207-009-0086-1openalex-snapshot
Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs
inferredcites →https://doi.org/10.1016/j.tcs.2010.01.025openalex-snapshot
Arrows for secure information flow
inferredcites →https://doi.org/10.1017/s0956796816000241openalex-snapshot
Flexible dynamic information flow control in the presence of exceptions
inferredcites →https://doi.org/10.1109/csf.2017.39openalex-snapshot
Securing Concurrent Lazy Programs Against Information Leakage
inferredcites →https://doi.org/10.1109/jsac.2002.806121openalex-snapshot
Language-based information-flow security
inferredcites →https://doi.org/10.1109/sp.1982.10014openalex-snapshot
Security Policies and Security Models
inferredcites →https://doi.org/10.1109/sp.2008.29openalex-snapshot
Fable: A Language for Enforcing User-defined Security Policies
inferredcites →https://doi.org/10.1145/1095809.1095813openalex-snapshot
Labels and event processes in the asbestos operating system
inferredcites →https://doi.org/10.1145/1095810.1095813openalex-snapshot
Labels and event processes in the asbestos operating system
inferredcites →https://doi.org/10.1145/1294261.1294265openalex-snapshot
Secure web applications via automatic partitioning
inferredcites →https://doi.org/10.1145/1294261.1294293openalex-snapshot
Information flow control for standard OS abstractions
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/1559845.1559875openalex-snapshot
Cross-tier, label-based security enforcement for web applications
inferredcites →https://doi.org/10.1145/2034675.2034688openalex-snapshot
Flexible dynamic information flow control in Haskell
inferredcites →https://doi.org/10.1145/2103621.2103669openalex-snapshot
A language for automatically enforcing privacy policies
inferredcites →https://doi.org/10.1145/2103621.2103677openalex-snapshot
Multiple facets for dynamic information flow
inferredcites →https://doi.org/10.1145/2103656.2103669openalex-snapshot
A language for automatically enforcing privacy policies
inferredcites →https://doi.org/10.1145/2103656.2103677openalex-snapshot
Multiple facets for dynamic information flow
inferredcites →https://doi.org/10.1145/2465106.2465121openalex-snapshot
Faceted execution of policy-agnostic programs
inferredcites →https://doi.org/10.1145/2676726.2676994openalex-snapshot
Dependent Information Flow Types
inferredcites →https://doi.org/10.1145/2737924.2737957openalex-snapshot
Exploring and enforcing security guarantees via program dependence graphs
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/2810103.2813684openalex-snapshot
Inlined Information Flow Monitoring for JavaScript
inferredcites →https://doi.org/10.1145/2837614.2837655openalex-snapshot
Dependent types and multi-monadic effects in F*
inferredcites →https://doi.org/10.1145/2908080.2908098openalex-snapshot
Precise, dynamic information flow for database-backed applications
inferredcites →https://doi.org/10.1145/2993600.2993608openalex-snapshot
On Formalizing Information-Flow Control Libraries
inferredcites →https://doi.org/10.1145/3122955.3122963openalex-snapshot
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq
inferredcites →https://doi.org/10.1145/3133956.3134036openalex-snapshot
Cryptographically Secure Information Flow Control on Key-Value Stores
inferredcites →https://doi.org/10.1145/3158141openalex-snapshot
Refinement reflection: complete verification with SMT
inferredcites →https://doi.org/10.1145/360051.360056openalex-snapshot
A lattice model of secure information flow
inferredcites →https://doi.org/10.1145/581690.581691openalex-snapshot
Template meta-programming for Haskell
inferredcites →https://doi.org/10.1145/596980.596983openalex-snapshot
Information flow inference for ML
inferredcites →https://doi.org/10.3233/jcs-15801openalex-snapshot
Hails: Protecting data privacy in untrusted web applications
inferredcites →https://doi.org/10.3233/jcs-160544openalex-snapshot
Information-flow security for JavaScript and its APIs
inferredcites →https://doi.org/10.3233/jcs-2009-0352openalex-snapshot
Declassification: Dimensions and principles
inferredcites →https://doi.org/10.48550/arxiv.1907.01679openalex-snapshot
Build It, Break It, Fix It: Contesting Secure Development
inferredcites →https://doi.org/10.5555/1298455.1298481openalex-snapshot
Making information flow explicit in HiStar
inferredcites →https://doi.org/10.5555/1662658.1662659openalex-snapshot
Declassification: Dimensions and principles
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-72013-1_6openalex-snapshot
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities
inferred← citeshttps://doi.org/10.1007/978-3-032-28079-4_12openalex-snapshot
Artificial Incorrectness: SMT and LLMs in Hardware Synthesis
inferred← citeshttps://doi.org/10.1109/access.2020.2970784openalex-snapshot
Evaluating Performance of Web Application Security Through a Fuzzy Based Hybrid Multi-Criteria Decision-Making Approach: Design Tactics Perspective
inferred← citeshttps://doi.org/10.1109/csf.2019.00008openalex-snapshot
Optimising Faceted Secure Multi-Execution
inferred← citeshttps://doi.org/10.1109/csf51468.2021.00005openalex-snapshot
Dynamic IFC Theorems for Free!
inferred← citeshttps://doi.org/10.1109/csf51468.2021.00037openalex-snapshot
Language Support for Secure Software Development with Enclaves
inferred← citeshttps://doi.org/10.1109/csf61375.2024.00017openalex-snapshot
Disjunctive Policies for Database-Backed Programs
inferred← citeshttps://doi.org/10.1109/csf64896.2025.00031openalex-snapshot
Securing P4 Programs by Information Flow Control
inferred← citeshttps://doi.org/10.1109/eurosp.2019.00016openalex-snapshot
Information-Flow Control for Database-Backed Applications
inferred← citeshttps://doi.org/10.1109/sp46214.2022.9833661openalex-snapshot
HAMRAZ: Resilient Partitioning and Replication
inferred← citeshttps://doi.org/10.1109/tencon66050.2025.11374997openalex-snapshot
Illegitimate Data Flow Detection of Data-Driven Applications Using Dependency Graph
inferred← citeshttps://doi.org/10.1109/vl-hcc57772.2023.00025openalex-snapshot
A Qualitative Study of REST API Design and Specification Practices
inferred← citeshttps://doi.org/10.1145/3428284openalex-snapshot
Verifying replicated data types with typeclass refinements in Liquid Haskell
inferred← citeshttps://doi.org/10.1145/3450569.3463567openalex-snapshot
SCIFFS: Enabling Secure Third-Party Security Analytics using Serverless Computing
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/3519939.3523725openalex-snapshot
ANOSY: approximated knowledge synthesis with refinement types for declassification
inferred← citeshttps://doi.org/10.1145/3563313openalex-snapshot
Solo: a lightweight static analysis for differential privacy
inferred← citeshttps://doi.org/10.1145/3591231openalex-snapshot
Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
inferred← citeshttps://doi.org/10.1145/3747589openalex-snapshot
Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities
inferred← citeshttps://doi.org/10.1155/2021/9913645openalex-snapshot
A Single-Label Model to Ensure Data Consistency in Information Security
inferred← citeshttps://doi.org/10.4230/lipics.calco.2025.4openalex-snapshot
Distributive Laws of Monadic Containers
inferred← citeshttps://doi.org/10.48550/arxiv.2110.04461openalex-snapshot
Toward Hole-Driven Development with Liquid Haskell
inferred← citeshttps://doi.org/10.56553/popets-2024-0034openalex-snapshot
User-Controlled Privacy: Taint, Track, and Control
inferred← citeshttps://doi.org/10.70675/c018de4fz82e7z4dfbz87ddz2d04ae6e4664openalex-snapshot
Programmation vérifiée à l'intersection des types dépendants et de l'analyse statique
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.