Manuel Barbosa

Identifiers

• name variant Manuel Barbosa 0.50 · backfill

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Adrien Koutsos 1 shared papers
• Benjamin Gr\'egoire 1 shared papers
• Gilles Barthe 1 shared papers
• Jos\'e Bacelar Almeida 1 shared papers
• Pierre-Yves Strub 1 shared papers
• Tiago Oliveira 1 shared papers
• Vincent Laporte 1 shared papers