1 FormalVerification

• Improvized this FS24, expand to full section here!
• https://www.cl.cam.ac.uk/~jrh13/papers/mark10.pdf
• https://cryptol.net/ built on Haskell.