Tese de doutoramento Acesso aberto

Formal verification of cryptographic software implementations

Autor(es)
Orientador(es)

Ficheiros

Bárbara Isabel de Sousa Vieira.pdf (2.84 MB)

Embargo

Tipo de Documento

Tese de doutoramento

Idioma

Coleções

BUM - Teses de doutoramento | Doctoral thesis
A carregar...
Ver registo completo
UM