José Bacelar Almeida | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

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. ∙