Helgi Sigurbjarnarson

Nickel: a framework for design and verification of information flow control systems

2018 · Operating Systems Design and Implementation

Nickel is a framework that helps developers design and verify information flow control systems by systematically eliminating covert channels inherent in the interface, which can be exploited to circumvent the enforcement of information flow policies. …