https://1library.org/document/qm3r0j4y-integrated-verification-of-cryptographic-security-proofs-and-implementations.html