Jasmin
Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure.
Jasmin People
- Aaron Kaiser
- Adrien Koutsos
- Basavesh Ammanaghatta Shivakumar
- Benjamin Grégoire
- Chitchanok Chuengsatiansup
- Denis Firsov
- Fabio Campos
- Gaëtan Cassiers
- Gilles Barthe
- Henrique Faria
- Jean-Christophe Léchenet
- José Bacelar Almeida
- João Diogo Duarte
- Lionel Blatter
- Manuel Barbosa
- Miguel Quaresma
- Pierre-Yves Strub
- Santiago Arranz Olmos
- Swarn Priya
- Vincent Laporte
- Yuval Yarom