Bárbara Vieira presented her thesis “Formal Verification of Cryptographic Software Implementations”, supervised by Prof. Manuel Barbosa. The research has been done with the CCTC research center. The discussion took place at the School of Engineering of the University of Minho on 2012-06-25, and the candidate has been unanimously approved.

The jury has been:

• Eugénio Ferreira (president, Univ. Minho)
• Paulo Jorge Ferreira (MAP-i, Univ. Aveiro)
• Jean-Christophe Filliatre (CNRS, France)
• Dan Page (Univ. Bristol)
• Simão Melo de Sousa (UBI)
• José Manuel Valença (DI-UM)
• Manuel Bernardo Barbosa (supervisor, DI-UM).