A próxima aula decorre no próximo dia 24 de janeiro com a presença de Manuel Bernardo Barbosa com a apresentação: “Proving Cryptographic Implementations Secure”.
CONVIDADO
Manuel Bernardo Barbosa
Manuel Barbosa is an Assistant Professor at the Department of Computer Science, Faculty of Science University of Porto. He is a member and co-coordinator of the High Assurance Software Laboratory at INESC TEC, where he leads the Cryptography and Information Security group. He obtained a degree in Electrical and Computer Engineering from the University of Porto in 1996, an MSc degree from University Newcastle in 1997 and a PhD degree in Electric and Electronic Engineering from the University of Newcastle upon Tyne in 2000. His recent research contributions have been in the field of provable security of cryptographic algorithms and domain-specific languages for the implementation and formal verification of cryptographic software.
PARTICIPAÇÃO GRATUITA SUJEITA A INSCRIÇÃO