Jos\'e Bacelar Almeida

Identifiers

• name variant Jos\'e Bacelar Almeida 0.60 · backfill

Papers (2)

1. The Last Mile: High-Assurance and High-Speed Cryptographic Implementations cs.CR · 2019 · author #1
2. Deriving Sorting Algorithms cs.DS · 2008 · author #1

Mentions

• 0802.3881 #1 · backfill · confidence 0.70 Jos\'e Bacelar Almeida

Frequent Coauthors

• Adrien Koutsos 1 shared papers
• Benjamin Gr\'egoire 1 shared papers
• Gilles Barthe 1 shared papers
• Jorge Sousa Pinto 1 shared papers
• Manuel Barbosa 1 shared papers
• Pierre-Yves Strub 1 shared papers
• Tiago Oliveira 1 shared papers
• Vincent Laporte 1 shared papers