urbanists.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
We're a server for people who like bikes, transit, and walkable cities. Let's get to know each other!

Server stats:

554
active users

#appsec

23 posts17 participants0 posts today

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/

Jonathan Protzenko · 15,000 lines of verified cryptography now in PythonIn 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.

Register now for OWASP Global AppSec EU 2025 and don't miss this essential session on embedded systems security!

🔗 owasp.glueup.com/event/123983/

While most security discussions focus on web, cloud, and corporate networks, what about the countless embedded systems around us—trains, traffic lights, and even the device you're using right now?

📆 Thursday, May 29, 2025
⏰ 10:30 AM - 11:15 AM CEST
📍 Room 116+117