Browsing by Author Strub,PY
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2017 | Jasmin: High-Assurance and High-Speed Cryptography | José Bacelar Almeida; Manuel Barbosa; Barthe,G; Blot,A; Grégoire,B; Laporte,V; Oliveira,T; Hugo Pereira Pacheco; Schmidt,B; Strub,PY |