Covert channels are mentioned many times on this site.
- Nondeterminism and Confinement
-
How to specify properties that support determinism
- To Confine an Application
-
A nexus for and introduction to confinement
- Reproducible Execution
-
Determinism for Durability
- Countering Covert Channels
- xxxx
- Confinement bug; Bank Allocation
- xxxx
- Whales & Minnows
-
do not despair of confining a whale if you need only confine a minnow
- Capabilities and Covert Channels
- xxxx
- A Covert Channel
- xxxx
- Synchronizing a Covert Channel
-
Ways to thwart covert channels.
- To Reserve Space
- xxxx
- Kept Banks
- xxxx
- Seeing the Bits in Capabilities
- xxxx
- Data Mufflers
- xxxx
- Allocating Space, in General
- xxxx
- Glossary
- xxxx
- Pixels, Capabilities and Paranoia
- xxxx
- Things I might do differently
- xxxx
- The Original Plan for non-prompt Banks
- xxxx
- Factories
- xxxx
- The Stonewall Defence
- xxxx