Jonathan Protzenko

jonathan.protzenko.fr

Google Information Security Engineering (Seattle)

Popular posts: 3
Total points: 897
HN comments: 332
Rank: #2,489 personal

Visit jonathan.protzenko.fr → RSS feedOn Hacker News Mar 2019 – Dec 2025

Software Engineering 3 Programming Languages 2 Security & Privacy 1

Most points Most discussed Most cited Newest

15,000 lines of verified cryptography now in Python

2025483 points158 comments Security & Privacy details

In November 2022, I opened issue 99108 on Python’s GitHub repository, arguing that after a recent CVE in its implementation of SHA3, Python should embrace verified code for all of its hash-related infrastructure.