Cryspen
banner
cryspen.com
Cryspen
@cryspen.com
High Assurance Software
RWC 2026 will be held in Taipei between March 9 and 11, 2026, and Karthik is serving as one of the program committee chairs. Submissions are now open and the deadline is October 10th. So if you have something cool you're doing with crypto, submit a talk!
September 18, 2025 at 9:02 AM
Test your PQC readiness now! Our new website, featuring our formally verified libcrux crypto library, makes it easy to see if your browser is future-proof.

Head over to https://buff.ly/4ak1LB6 to test your browser and learn more about post-quantum cryptography.

#postquantumcrypto #cryptography
January 14, 2025 at 9:17 AM
Cryspen co-founder Karthik recently teamed up with Rolfe Schmidt from Signal Messenger to deliver a talk at RWC in Toronto on our collaborative analysis of the Signal PQXDH protocol.

The talk dives deep into the technical details. Both the slides and video are now available online!
April 8, 2024 at 6:41 AM