CAOVerif: An open-source deductive verification platform for cryptographic software implementations

✍ Scribed by Almeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe; Pinto, Jorge Sousa; Vieira, Bárbara

• Book ID: 122650062
• Publisher: Elsevier Science
• Year: 2014
• Tongue: English
• Weight: 430 KB
• Volume: 91
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/j.scico.2012.09.019