(Translated by https://www.hiragana.jp/)
Proof-carrying code - Wikipedia