nerdculture.de is one of the many independent Mastodon servers you can use to participate in the fediverse.
Be excellent to each other, live humanism, no nazis, no hate speech. Not only for nerds, but the domain is somewhat cool. ;) No bots in general. Languages: DE, EN, FR, NL, ES, IT

Administered by:

Server stats:

1.1K
active users

#appsec

13 posts9 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