Jasmin: A language for high-assurance and high-speed cryptography

1 points | by fanf2 7 hours ago