TY  - RPRT
TI  - Bootstrapping Mutual Attestation with Kleene's Second Recursion Theorem
AU  - Takuma Imamura
PY  - 2026
UR  - https://arxiv.org/abs/2608.20671
ID  - 2608.20671
ER  -