José Bacelar Almeida | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Gilles Barthe
30 publications
João F. Ferreira
10 publications
Pierre-Yves Strub
8 publications
Tiago Oliveira
5 publications
Manuel Barbosa
4 publications
Adrien Koutsos
4 publications
Benjamin Grégoire
3 publications
Vincent Laporte
1 publication
Miguel Grilo
1 publication

research

∙ 06/07/2021

Towards Formal Verification of Password Generation Algorithms used in Password Managers

Password managers are important tools that enable us to use stronger pas...

0 Miguel Grilo, et al. ∙

research

∙ 04/09/2019

The Last Mile: High-Assurance and High-Speed Cryptographic Implementations

We develop a new approach for building cryptographic implementations. Ou...

0 José Bacelar Almeida, et al. ∙

Success!

An error occurred