TechnoTenshi

technotenshi@infosec.exchange

Proud trans girl 🏳️‍⚧️ | Polyglot coder, anime & manga lover | Into infosec, privacy, trans rights & cryptography | Neurodivergent | Listens to electronic, metal, K-pop, J-pop, J-rock & kawaii metal | Follow requests welcome with a real profile & thoughtful posts. No bots or auto accounts.

Avatar: A digital portrait of a woman with medium-dark wavy hair falling over her shoulders. She has light skin, full lips with pink lipstick, and dark eyes. She is wearing a dark-colored top and is facing the camera with a slight smile. The background shows soft lighting and out-of-focus pink and white flower shapes.

Background: A digital landscape illustration showing a grassy field with scattered flowers. Tall pine trees border both sides of the image. In the center background, there are snow-covered mountains beneath a sky with large white and pink clouds. A small wooden structure stands in the middle of the field, and a person with long hair is walking or running toward it. There are pink flo

ActivityPub

TechnoTenshi

4 months ago

TechnoTenshi
4 months ago

Python now ships with 15,000 lines of verified cryptographic code from HACL*, covering all default hash and HMAC algorithms. The integration was seamless and automated, aiming to eliminate bugs like the 2022 SHA3 CVE. A major milestone for verified crypto in mainstream software.

jonathan.protzenko.fr/2025/04/…

#Python #CyberSecurity #Cryptography #AppSec

15,000 lines of verified cryptography now in Python

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.

^{Jonathan Protzenko}

⇧

TechnoTenshi

TechnoTenshi 4 months ago • •

15,000 lines of verified cryptography now in Python

TechnoTenshi
4 months ago