Login
From:
cryptographycaffe.sandboxaq.com
(Uncensored)
subscribe
Real-World Verification of Software for Cryptographic Applications - The Cryptography Caffè ☕
https://cryptographycaffe.sandboxaq.com/posts/real-world-verification-of-software-for-cryptographic-applications/
links
backlinks
Roast topics
Find topics
Find it!
In this blog post, we describe how we at SandboxAQ, together with Cryspen, formally verified key components of Sandwich—an open-source, unified API that simplifies the use of cryptographic libraries for developers, enabling crypto-agility.
