Laminar: practical fine-grained decentralized information flow control

Abstract

Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity hardware can be broadly categorized into two types: language-level and operating system-level DIFC. Language level solutions provide no guarantees against security violations on… (More)
DOI: 10.1145/1542476.1542484

Topics

7 Figures and Tables

Statistics

010202009201020112012201320142015201620172018
Citations per Year

109 Citations

Semantic Scholar estimates that this publication has 109 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics