Guillaume Scerri : Research Themes

Mes recherches sont principalement centrées autours de la cryptographie et des méthodes formelles pour la sécurité.