A note on verifying information flow control systems with Nickel

This technical report provides supplementary material for the paper Nickel: A Framework for Design and Verification of Information Flow Control Systems [7]. It documents some design trade-offs we have considered during the development of both the Nickel framework and systems verified using Nickel.