On the public citation graph

Static Analysis for Efficient Hybrid Information-Flow Control

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

0 signed · 83 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.1006/inco.1996.2613openalex-snapshot

Region-Based Memory Management

inferredcites →https://doi.org/10.1007/11935308_24openalex-snapshot

Provably Correct Runtime Enforcement of Non-interference Properties

inferredcites →https://doi.org/10.1007/3-540-45575-2_22openalex-snapshot

The Impact of Synchronisation on Secure Information Flow in Concurrent Programs

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-04444-1_6openalex-snapshot

Tracking Information Flow in Dynamic Tree Structures

inferredcites →https://doi.org/10.1007/978-3-642-11486-1_30openalex-snapshot

From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research

inferredcites →https://doi.org/10.1007/978-3-642-15257-3_16openalex-snapshot

On-the-fly Inlining of Dynamic Security Monitors

inferredcites →https://doi.org/10.1007/978-3-642-19718-5_16openalex-snapshot

From Exponential to Polynomial-Time Security Typing via Principal Types

inferredcites →https://doi.org/10.1016/j.cose.2011.10.002openalex-snapshot

On-the-fly inlining of dynamic security monitors

inferredcites →https://doi.org/10.1016/j.entcs.2007.10.010openalex-snapshot

A Virtual Machine Based Information Flow Control System for Policy Enforcement

inferredcites →https://doi.org/10.1093/comjnl/17.2.143openalex-snapshot

Memoryless subsystems

inferredcites →https://doi.org/10.1109/acsac.2007.37openalex-snapshot

Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine

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

Automaton-based Confidentiality Monitoring of Concurrent Programs

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

Securing Timeout Instructions in Web Applications

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

Information Flow Monitor Inlining

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

Static Analysis for Efficient Hybrid Information-Flow Control

inferredcites →https://doi.org/10.1109/jsac.2002.806121openalex-snapshot

Language-based information-flow security

inferredcites →https://doi.org/10.1109/micro.2004.31openalex-snapshot

RIFLE: An Architectural Framework for User-Centric Information-Flow Security

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

Parameterized object sensitivity for points-to analysis for Java

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/1111037.1111045openalex-snapshot

On flow-sensitive security types

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

Secure virtual architecture

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

Staged information flow for javascript

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

TAJ

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

Efficient purely-dynamic information flow analysis

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

Points-to analysis with efficient strong updates

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

Points-to analysis with efficient strong updates

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

Points-to analysis in almost linear time

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

What are principal typings and what are they good for?

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

A decentralized model for information flow control

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

Memory management with explicit regions

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

JFlow

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

A lattice model of secure information flow

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

Region-based memory management in cyclone

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

Parametric shape analysis via 3-valued logic

inferredcites →https://doi.org/10.1184/r1/6468716openalex-snapshot

Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software

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/978-3-319-66402-6_9openalex-snapshot

We Are Family: Relating Information-Flow Trackers

inferred← citeshttps://doi.org/10.1007/978-3-642-35182-2_5openalex-snapshot

End-to-end Multilevel Hybrid Information Flow Control

inferred← citeshttps://doi.org/10.1007/978-3-642-39218-4_18openalex-snapshot

Program Transformation for Non-interference Verification on Programs with Pointers

inferred← citeshttps://doi.org/10.1007/978-3-642-40203-6_43openalex-snapshot

Run-Time Enforcement of Information-Flow Properties on Android

inferred← citeshttps://doi.org/10.1007/978-3-642-40787-1_2openalex-snapshot

Informative Types and Effects for Hybrid Migration Control

inferred← citeshttps://doi.org/10.1007/978-3-662-48899-7_5openalex-snapshot

Value Sensitivity and Observable Abstract Values for Information Flow Control

inferred← citeshttps://doi.org/10.1007/s00236-025-00502-1openalex-snapshot

Gray-box runtime enforcement of hyperproperties

inferred← citeshttps://doi.org/10.1016/j.cose.2011.10.002openalex-snapshot

On-the-fly inlining of dynamic security monitors

inferred← citeshttps://doi.org/10.1109/csf.2013.23openalex-snapshot

Hybrid Information Flow Monitoring against Web Tracking

inferred← citeshttps://doi.org/10.1109/csf.2014.12openalex-snapshot

Information Flow Monitoring as Abstract Interpretation for Relational Logic

inferred← citeshttps://doi.org/10.1109/csf.2016.22openalex-snapshot

Calculational Design of Information Flow Monitors

inferred← citeshttps://doi.org/10.1109/csf.2016.23openalex-snapshot

Hybrid Monitoring of Attacker Knowledge

inferred← citeshttps://doi.org/10.1109/csf.2019.00031openalex-snapshot

Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement

inferred← citeshttps://doi.org/10.1109/csf51468.2021.00015openalex-snapshot

Gradual Security Types and Gradual Guarantees

inferred← citeshttps://doi.org/10.1109/csf57540.2023.00014openalex-snapshot

OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded Traffic Overheads

inferred← citeshttps://doi.org/10.1109/csf68417.2026.00023openalex-snapshot

Partial Cast Calculus for Gradual Information Security

inferred← citeshttps://doi.org/10.1109/isrcs.2012.6309313openalex-snapshot

A case for validating remote application integrity for data processing systems

inferred← citeshttps://doi.org/10.1109/qrs-c.2015.30openalex-snapshot

Automated Detection of Information Flow Vulnerabilities in UML State Charts and C Code

inferred← citeshttps://doi.org/10.1109/sp.2013.10openalex-snapshot

All Your IFCException Are Belong to Us

inferred← citeshttps://doi.org/10.1109/sp.2019.00043openalex-snapshot

Iodine: Fast Dynamic Taint Tracking Using Rollback-free Optimistic Hybrid Analysis

inferred← citeshttps://doi.org/10.1109/sp46214.2022.9833764openalex-snapshot

FSAFlow: Lightweight and Fast Dynamic Path Tracking and Control for Privacy Protection on Android Using Hybrid Analysis with State-Reduction Strategy

inferred← citeshttps://doi.org/10.1109/vast.2015.7347627openalex-snapshot

Collaborative visual analysis with RCloud

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

Position paper

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

A verified information-flow architecture

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

Context-sensitive detection of information exposure bugs with symbolic execution

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

HLIO: mixing static and dynamic typing for information-flow control in Haskell

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

Inlined Information Flow Monitoring for JavaScript

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

HLIO: mixing static and dynamic typing for information-flow control in Haskell

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

Type-Driven Gradual Security with References

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

Prudent Design Principles for Information Flow Control

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

Tainted Secure Multi-Execution to Restrict Attacker Influence

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

Quest Complete: The Holy Grail of Gradual Security

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

A Type System for Optimizing Dynamic IFC

inferred← citeshttps://doi.org/10.2139/ssrn.6416113openalex-snapshot

Information flow in a distributed security setting

inferred← citeshttps://doi.org/10.23919/fpl.2017.8056767openalex-snapshot

ARMHEx: A hardware extension for DIFT on ARM-based SoCs

inferred← citeshttps://doi.org/10.3233/jcs-15784openalex-snapshot

A verified information-flow architecture

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

First-order Gradual Information Flow Types with Gradual Guarantees

inferred← citeshttps://doi.org/10.5204/thesis.eprints.226908openalex-snapshot

Static analysis of software components for information flow security

inferred← citeshttps://doi.org/10.70675/5a6a11d4zcb0bz439dza0b2z4a68e0d359e7openalex-snapshot

Contrôle de flux d'information par utilisation conjointe d'analyse statique et dynamique accélérée matériellement

inferred← citeshttps://doi.org/10.70675/7dd764c3z4967z47e9z9911z226bcde4ae49openalex-snapshot

Enforcing secure information flow in client-side Web applications

inferred← citeshttps://doi.org/10.70675/975f7615z379dz499dzb639z795c66a1ceccopenalex-snapshot

From qualitative to quantitative program analysis : permissive enforcement of secure information flow

showing the first 41 of 42 · page through all 42

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.