akoutsos

Pinned Repositories

jasmin
Jasmin compiler
Language:Coq0 1 00
jasmin-safety
Instructions on how to check the safety of Chacha20 and Poly1305 implementations in Jasmin.
0 1 00
libjc
Language:Assembly00
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
Language:OCaml318 21 24749
jasmin
Language for high-assurance and high-speed cryptography
Language:Coq268 11 28455
central
Repo principal
Language:C++6 17 430
squirrel-prover
The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
Language:OCaml50 10 22
Squirrel-Prover.github.io
Language:JavaScript0 7 00

akoutsos's Repositories

akoutsos/jasmin
Jasmin compiler
Language:Coq0 1 00
akoutsos/jasmin-safety
Instructions on how to check the safety of Chacha20 and Poly1305 implementations in Jasmin.
0 1 00
akoutsos/libjc
Language:Assembly00