This reminds me of https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_Ref...
Reflections on Trusting TRust.
tRust