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

Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang
[Google Scholar] [DBLP] [Citeseer]

OSDI
USENIX Association
Pages 287-305
2018
Topic(s): os
Note(s): information flow

  • Scaling symbolic evaluation for automated verification of systems code with Serval [nelson:sosp:2019]