Flexible dynamic information flow control in Haskell

No abstract is available for this paper.

• Publication year

  2012

• Venue

  ACM SIGPLAN Symposium/Workshop on Haskell

• Publication date

  2012-01-12

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2034675.2034688
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Information flow enforcement in monadic libraries

  2011influential reference
• Arrows for secure information flow

  2010cited by this paper
• Dynamic vs. Static Flow-Sensitive Security Analysis

  2010cited by this paper
• Security-typed programming within dependently typed programming

  2010cited by this paper
• From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research

  2009cited by this paper
• A library for light-weight information-flow security in haskell

  2008influential reference
• Termination-Insensitive Noninterference Leaks More Than Just a Bit

  2008cited by this paper
• Securing Distributed Systems with Information Flow Control

  2008cited by this paper
• Information flow control for standard OS abstractions

  2007cited by this paper
• A Library for Secure Multi-threaded Information Flow in Haskell

  2007cited by this paper
• Labels and event processes in the Asbestos operating system

  2007cited by this paper
• Noninterference in the presence of non-opaque pointers

  2006cited by this paper
• On flow-sensitive security types

  2006cited by this paper
• Encoding information flow in Haskell

  2006influential reference
• Making information flow explicit in HiStar

  2006influential reference
• A monadic analysis of information flow security with mutable state

  2005cited by this paper
• Labels and event processes in the asbestos operating system

  2005cited by this paper
• Achieving information flow security through precise control of effects

  2005cited by this paper
• Translating dependency into parametricity

  2004influential reference
• Language-based information-flow security

  2003cited by this paper
• The Flow Caml system

  2003influential reference
• Information flow inference for ML

  2002influential reference
• Generalising monads to arrows

  2000influential reference
• Protecting privacy using the decentralized label model

  2000cited by this paper
• A core calculus of dependency

  1999cited by this paper
• Security properties of typed applets

  1998cited by this paper
• The SLam calculus: programming with secrecy and integrity

  1998influential reference
• Probabilistic noninterference in a concurrent language

  1998cited by this paper
• A decentralized model for information flow control

  1997influential reference
• A natural semantics for lazy evaluation

  1993cited by this paper
• The theory and practice of first-class prompts

  1988cited by this paper
• Security Policies and Security Models

  1982cited by this paper
• Formal Models for Computer Security

  1981cited by this paper
• Integrity considerations for secure computer systems

  1977cited by this paper
• Secure Computer System: Unified Exposition and Multics Interpretation

  1976influential reference
• A lattice model of secure information flow

  1976cited by this paper
• Under Consideration for Publication in J. Functional Programming Parameterised Notions of Computation

  year unknowncited by this paper
• Under Consideration for Publication in J. Functional Programming Stack-based Access Control and Secure Information Flow

  year unknowncited by this paper
• Purdue e-Pubs Purdue e-Pubs

  year unknowncited by this paper

• Federated computing: information integration under sovereignty constraints

  2026cites this paper
• The LLMbda Calculus: AI Agents, Conversations, and Information Flow

  2026cites this paper
• A Graded Modal Approach to Relaxed Semantic Declassification

  2025cites this paper
• A Type System for Data Privacy Compliance in Active Object Languages

  2025cites this paper
• Extending Dynamic Logics with First-Class Relational Reasoning

  2025cites this paper
• Nonmalleable Progress Leakage

  2025cites this paper
• Carapace: Static–Dynamic Information Flow Control in Rust

  2025cites this paper
• Gray-box runtime enforcement of hyperproperties

  2025cites this paper
• HasTEE+ : Confidential Cloud Computing and Analytics with Haskell

  2024cites this paper
• HasTEE: Programming Trusted Execution Environments with Haskell

  2023cites this paper
• Quest Complete: The Holy Grail of Gradual Security

  2023cites this paper
• DMoiSDN: A defensive mechanism of object integrity for SDN

  2023cites this paper
• Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities

  2023cites this paper
• Normalization by Evaluation with Free Extensions (Extended Abstract)

  2022cites this paper
• Mechanized Noninterference for Gradual Security

  2022cites this paper
• Compositional Information Flow Monitoring for Reactive Programs

  2022cites this paper
• Transparent DIFC: Harnessing Innate Application Event Logging for Fine-Grained Decentralized Information Flow Control

  2022cites this paper
• Dynamic Policies Revisited

  2022cites this paper
• ANOSY: approximated knowledge synthesis with refinement types for declassification

  2022influential citation
• Modular information flow through ownership

  2021cites this paper
• Practical normalization by evaluation for EDSLs

  2021cites this paper
• Scooter & Sidecar: a domain-specific approach to writing secure database migrations

  2021cites this paper
• Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages

  2021cites this paper
• Mechanized Type Safety for Gradual Information Flow

  2021cites this paper
• Multi-Execution Lattices Fast and Slow

  2021cites this paper
• Pifthon: A Compile-Time Information Flow Analyzer For An Imperative Language

  2021influential citation
• An Axiomatic Approach to Detect Information Leaks in Concurrent Programs

  2021cites this paper
• SCIFFS: Enabling Secure Third-Party Security Analytics using Serverless Computing

  2021cites this paper
• Automatic Annotation of Confidential Data in Java Code

  2021cites this paper
• Reconciling noninterference and gradual typing

  2020cites this paper
• Dynamic IFC Theorems for Free!

  2020influential citation
• A case study in language-based security: building an I/O library for Wyvern

  2020cites this paper
• Unifying graded and parameterised monads

  2020cites this paper
• Secure Distributed Applications the Decent Way

  2020cites this paper
• Abstracting Faceted Execution

  2020cites this paper
• Giving semantics to program-counter labels via secure effects

  2020cites this paper
• Securing Asynchronous Exceptions

  2020cites this paper
• Towards secure IoT programming in Haskell

  2020influential citation
• Towards a Programming Paradigm for Reconfigurable Computing: Asynchronous Graph Programming

  2020cites this paper
• Transparent IFC Enforcement: Possibility and (In)Efficiency Results

  2020cites this paper
• RIF: Reactive information flow labels

  2020cites this paper
• A Semantic Notion of Secure Information-Flow

  2019cites this paper
• Information Flow Control for Distributed Trusted Execution Environments

  2019cites this paper
• From fine- to coarse-grained dynamic information flow control and back

  2019influential citation
• LWeb: information flow security for multi-tier web applications

  2019influential citation
• A Dependently Typed Library for Static Information-Flow Control in Idris

  2019influential citation
• Verifying Information Flow Control Libraries

  2019cites this paper
• Foundations for Parallel Information Flow Control Runtime Systems

  2019cites this paper
• The Dynamic Practice and Static Theory of Gradual Typing

  2019cites this paper
• Foundations of Security, Protocols, and Equational Reasoning

  2019influential citation
• Polymorphic Relaxed Noninterference

  2019cites this paper
• 3rd Summit on Advances in Programming Languages, SNAPL 2019, Providence, RI, USA, May 16-17, 2019

  2019cites this paper
• Simple noninterference from parametricity

  2019influential citation
• Static Enforcement of Security in Runtime Systems

  2019cites this paper
• Optimising Faceted Secure Multi-Execution

  2019cites this paper
• Coverage guided, property based testing

  2019cites this paper
• Simple Noninterference by Normalization

  2019cites this paper
• Securing the Foundations of Practical Information Flow Control

  2019cites this paper
• On the expressiveness and semantics of information flow types

  2019cites this paper
• Semantics for Secure Software

  2019cites this paper
• Build It, Break It, Fix It: Contesting Secure Development

  2019cites this paper
• Fix It : Contesting Secure Development

  2019cites this paper
• Faceted Secure Multi Execution

  2018cites this paper
• Abstracting Faceted Execution Static Analysis of Dynamic Information-Flow Control for Higher-Order Languages

  2018cites this paper
• Random Testing for Language Design

  2018cites this paper
• Secure serverless computing using dynamic information flow control

  2018cites this paper
• Compile-Time Security Certification of Imperative Programming Languages

  2018cites this paper
• Combining Symbolic and Numerical Domains for Information Leakage Analysis

  2018cites this paper
• Racets: Faceted Execution in Racket

  2018cites this paper
• Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies

  2018cites this paper
• Static Security Certification of Programs via Dynamic Labelling

  2018influential citation
• 2 WHY A NEW IFC MODEL FOR SERVERLESS ?

  2018cites this paper
• The Case for Writing a Kernel in Rust

  2017cites this paper
• Securing Personal IoT Platforms through Systematic Analysis and Design

  2017cites this paper
• Multiple Facets for Dynamic Information Flow with Exceptions

  2017cites this paper
• A Methodology For Micro-Policies

  2017influential citation
• Fabric: Building open distributed systems securely by construction

  2017cites this paper
• Bidirectional Testing of Communicating Systems

  2017cites this paper
• Encoding DCC in Haskell

  2017influential citation
• Towards Practical Data Secrecy in Modern Operating Systems.

  2017cites this paper
• MAC, A Verified Static Information-Flow Control Library

  2017influential citation
• Cryptographically Secure Information Flow Control on Key-Value Stores

  2017influential citation
• Paragon – Practical programming with information flow control

  2017cites this paper
• From Trash to Treasure: Timing-Sensitive Garbage Collection

  2017cites this paper
• Securing Concurrent Lazy Programs Against Information Leakage

  2017influential citation
• Type systems for information flow control: the question of granularity

  2017cites this paper
• Liquid information flow control

  2016cites this paper
• Progress-Sensitive Security for SPARK

  2016cites this paper
• Applying the Opacified Computation Model to Enforce Information Flow Policies in IoT Applications

  2016cites this paper
• Practical DIFC Enforcement on Android

  2016cites this paper
• Securing functional programs with floating-label information-flow control

  2016influential citation
• Build It, Break It, Fix It: Contesting Secure Development

  2016cites this paper
• JRIF: Reactive Information Flow Control for Java

  2016cites this paper
• Faceted Dynamic Information Flow via Control and Data Monads

  2016influential citation
• Information-Flow Tracking for Web Security

  2016cites this paper
• FlowFence: Practical Data Protection for Emerging IoT Application Frameworks

  2016cites this paper
• On Formalizing Information-Flow Control Libraries

  2016influential citation
• Dijkstra monads for free

  2016influential citation
• Flexible Manipulation of Labeled Values for Information-Flow Control Libraries

  2016influential citation
• Functional pearl: two can keep a secret, if one of them uses Haskell

  2015cites this paper