Entrada > Notícias > Proving Cryptographic Implementations Secure

Proving Cryptographic Implementations Secure

Evento

Quando

24 > 24.01.2018 · 18:30 > 20:30

Onde

ESTG | Sala 0.3

Nome do Contacto

Telefone do Contacto

+351 255 314 002

Adicionar evento ao calendário

O Mestrado em Engenharia Informática proporciona à comunidade ESTG a possibilidade de participarem nas aulas da unidade curricular de Seminário de Projeto, onde os estudantes têm a possibilidade de contactar com organizações e personalidades com atividade relevante em áreas avançadas da Engenharia Informática e de conhecer o que é realizado ao nível da Inovação e da Investigação com o intuito de os treinar para a identificação e desenvolvimento das temáticas a abordar nos seus trabalhos finais de mestrado.


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.

 

INSCREVA-SE AQUI!

PARTICIPAÇÃO GRATUITA SUJEITA A INSCRIÇÃO

Autor

ampn

Partilhar