Provable Security

Proving aspects of a security system with regard to a Specification being the infrastructure of the system.

Concepts

• Side Channel Attack
• CFG
• CoC
• Cryptographic Attestation
• Rice’s Theorem

Papers

• AI Assisted Formal Verification

Reading List

• https://www.thegreatrefactor.org/
• https://atlascomputing.org/ai-assisted-fv-toolchain.pdf
• https://ifp.org/faster-ai-diffusion-through-hardware-based-verification/
• https://flexheg.com/
• https://blog.foretellix.com/2025/06/24/the-vv-method-a-step-towards-safer-agi/
• https://arxiv.org/pdf/2506.15100
• https://aigi.ox.ac.uk/publications/verification-for-international-ai-governance/
• https://arxiv.org/pdf/2303.07406
• https://www.sandia.gov/app/uploads/sites/222/2024/02/twofv23_report.pdf
• https://arxiv.org/pdf/1606.08514
• https://arxiv.org/pdf/2109.10317
• https://link.springer.com/article/10.1007/BF00849196