Jasmin
Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure.
Jasmin People
- Adrien Koutsos
- Basavesh Ammanaghatta Shivakumar
- Benjamin Grégoire
- Chitchanok Chuengsatiansup
- Denis Firsov
- Fabio Campos
- Gilles Barthe
- Jean-Christophe Léchenet
- José Bacelar Almeida
- Julian Wälde
- Kai-Chun Ning
- Lionel Blatter
- Manuel Barbosa
- Marc Stoettinger
- Miguel Quaresma
- Pierre-Yves Strub
- Santiago Arranz Olmos
- Swarn Priya
- Vincent Laporte
- Yuval Yarom