Laminar: practical fine-grained decentralized information flow control


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


7 Figures and Tables


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