This document discusses machine assisted verification tools for cryptography. It describes the Computer Aided Cryptography Engineering project which aims to develop tools for cryptographic software engineering. The author's group is responsible for the formal verification and validation work package. This involves adapting techniques like formal verification to cryptographic software using languages like CAO and CALF. CAO is a domain specific language for cryptography while CALF provides more powerful abstraction. The document outlines the deductive verification approach used on CAO programs as well as work on a compiler from CALF to CAO.