#highassurance — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #highassurance, aggregated by home.social.
-
👇 "Let's Encrypt is having a #meltdown," they said, while cryptically updating every few seconds like a caffeinated squirrel. 🐿️🔧 Apparently, the "High Assurance Datacenters" are about as reliable as a chocolate teapot. 🍫☕
https://letsencrypt.status.io/#2026 #LetsEncrypt #HighAssurance #Datacenters #TechNews #SquirrelUpdates #HackerNews #ngated -
We're proud to be recognized by Wavestone on their 2025 Radar of French Cybersecurity Startups.
This recognition is a significant milestone that validates our core mission: building the essential developer tools for creating high-assurance software and formally verified cryptography. Making provably secure software accessible to all developers.
Full report (French): https://www.wavestone.com/fr/insight/radar-des-startups-cybersecurite-francaises-2025/
#Cybersecurity #Startup #DeepTech #DeveloperTools #FormalVerification #Cryptography #HighAssurance
-
Confidential computing for high-assurance RISC-V embedded systems
https://github.com/IBM/ACE-RISCV
#HackerNews #ConfidentialComputing #RISC-V #EmbeddedSystems #HighAssurance #CyberSecurity #IBMACE
-
Rust identifiers, demystified! We're revealing our analysis toolchain's secrets in our latest blog. Discover how we tackle global vs. local identifiers for better formal verification with hax.
Read the full story: https://hax.cryspen.com/blog/2025/04/01/redesigning-global-identifiers-in-hax/