Nickel

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

Publications

Software

Coming soon.

People