Availability is crucial to the security of distributed systems, but
guar...
Methods for automatically, soundly, and precisely guaranteeing the
nonin...
Information Flow Control (IFC) is a collection of techniques for ensurin...
We show that noninterference and transparency, the key soundness theorem...