Code Signing
Defense · Distilled (purple) · Formal Methods corpus
Signs a binary with a developer’s cryptographic key so users (and OSes) can verify it came from the claimed source and hasn’t been modified. Secure Boot checks the OS; this checks individual programs.