| Data | Título | Autor(es) | Tipo | Acesso |
| 2013 | Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al. | Artigo em ata de conferência | Acesso aberto |
| 30-Out-2017 | A fast and verified software stack for secure function evaluation | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al. | Artigo em ata de conferência | Acesso aberto |
| 2012 | Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols | Almeida, José Bacelar; Barbosa, Manuel; Bangerter, Endre, et al. | Artigo em ata de conferência | Acesso aberto |
| 30-Out-2017 | Jasmin: high-assurance and high-speed cryptography | Almeida, José Bacelar; Barbosa, Manuel | Artigo em ata de conferência | Acesso aberto |
| 2019 | A machine-checked proof of security for AWS key management service | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo em ata de conferência | Acesso aberto |
| 2019 | Machine-checked proofs for cryptographic standards indifferentiability of SPONGE and secure high-assurance implementations of SHA-3 | Almeida, José Bacelar; Baritel-Ruet, Cecile; Barbosa, Manuel, et al. | Artigo em ata de conferência | Acesso aberto |
| Nov-2021 | Machine-checked ZKP for NP relations: formally verified security proofs and implementations of MPC-in-the-head | Almeida, José Bacelar; Barbosa, Manuel; Correia, Manuel L., et al. | Artigo em ata de conferência | Acesso aberto |
