Login / Signup
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
Published in:
OSDI (2018)
Keyphrases
</>
information flow
control system
conceptual framework
flow analysis
case study
information security
flow graph
real time
real world
social networks
database systems
design process
formal verification
functional verification