sarranz

Pinned Repositories

libjade
Crypto library
Language:C50 16 1218
jasmin
Language for high-assurance and high-speed cryptography
Language:Coq250 11 27452
opentitan
OpenTitan: Open source silicon root of trust
Language:SystemVerilog2.5k 105 6.7k742
apunte-discreta2
Language:TeX00
jasmin
Language for high-assurance and high-speed cryptography
Language:Coq00
libjade
Turbo Crypto library
Language:eC00
opentitan
OpenTitan: Open source silicon root of trust
Language:SystemVerilog00
sarranz.github.io
Language:HTML00

sarranz's Repositories

sarranz/apunte-discreta2
Language:TeX00
sarranz/jasmin
Language for high-assurance and high-speed cryptography
Language:Coq00
sarranz/libjade
Turbo Crypto library
Language:eC00
sarranz/opentitan
OpenTitan: Open source silicon root of trust
Language:SystemVerilog00
sarranz/sarranz.github.io
Language:HTML00