Tag
information-flow
- Sep 20, 2025 Covert Channels That Survive Logical Isolation Why a sandbox that prevents every direct access can still carry information through shared caches, timing, and resource contention, and what the bandwidth of each channel implies for policy. language runtimes
- Jun 19, 2022 Linearity and Aliasing as a Confinement Discipline How unique ownership, borrowing, and linear types let a compiler prove that a value crosses a boundary exactly once, and where the proof stops being able to say anything about authority. language runtimes