/jasmin-safety

Instructions on how to check the safety of Chacha20 and Poly1305 implementations in Jasmin.

Stargazers

No one’s star this repository yet.