Tag
trusted-computing-base
- Aug 27, 2026 What a Sandbox Proof Establishes and What It Assumes How verification of a sandbox reduces the isolation guarantee to a set of machine-checked lemmas, where the specification gap appears, and why the assumptions are the part that matters. language runtimes
- Nov 29, 2025 The De Bruijn Criterion and What a Proof Kernel May Assume Why a proof assistant separates a small trusted checker from large automation, what the kernel must implement, and which shortcuts quietly enlarge what must be trusted. computation theory
- Aug 28, 2025 The Runtime as Reference Monitor: Mediation and the Trusted Base How an interpreter or managed runtime becomes the enforcement point for security policy, which operations escape its mediation, and what the resulting trusted computing base contains. language runtimes