José Bacelar Almeida
Universidade do Minho
H-index: 16
Europe-Portugal
Top articles of José Bacelar Almeida
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Verified password generation from password composition policies | Miguel Grilo Joao Campos João F Ferreira José Bacelar Almeida Alexandra Mendes | 2022/6/1 | |
A formal treatment of the role of verified compilers in secure computation | Journal of Logical and Algebraic Methods in Programming | José Carlos Bacelar Almeida Manuel Barbosa Gilles Barthe Hugo Pacheco Vitor Pereira | 2022/2/1 |
Machine-checked ZKP for NP relations: Formally verified security proofs and implementations of MPC-in-the-head | José Bacelar Almeida Manuel Barbosa Manuel L Correia Karim Eldefrawy Stéphane Graham-Lengrand | 2021/11/12 | |
The last mile: High-assurance and high-speed cryptographic implementations | José Bacelar Almeida Manuel Barbosa Gilles Barthe Benjamin Grégoire Adrien Koutsos | 2020/5/18 | |
Certified compilation for cryptography: Extended x86 instructions and constant-time verification | G Barthe Tiago Filipe Oliveira V Laporte José Bacelar Almeida Manuel Barbosa | 2020 |
Co-Authors
