15,000 lines of verified cryptography now in Python | Jonathan Protzenko - discu.eu

Hacker News

15,000 lines of verified cryptography now in Python https://jonathan.protzenko.fr/2025/04/18/python.html 155 comments 18/4/2025

Linked pages

HMAC - Wikipedia https://en.wikipedia.org/wiki/HMAC 0 comments
GitHub - hacl-star/hacl-star: HACL*, a formally verified cryptographic library written in F* https://github.com/project-everest/hacl-star 0 comments

Would you like to stay up to date with Python? Checkout Python Weekly.

Related searches:

Search whole site: site:jonathan.protzenko.fr

Search title: 15,000 lines of verified cryptography now in Python | Jonathan Protzenko

See how to search.

Submit link to: