CAOVerif: an open-source deductive verification platform for cryptographic software implementations - Almeida, José Bacelar (2014)