Compiling CAO: From Cryptographic Specifications to C Implementations Galois: A Language for Proofs Using Galois Connections and Fork Algebras On the Design of a Galculator Galculator: Functional Prototype of a Galois-connection Based Proof Assistant On the Design of a Galculator Dependent Types for Cryptography Implementations Machine Assisted Verification Tools for Cryptography 
