Summer 2026 Research Internship at Symbolic Software
We're looking for a research intern to join us this summer and contribute to new papers on real-world cryptographic constructions.
From the blog.
Insights on cryptography, security research, and software engineering from Symbolic Software.
-
-
Cryspen's Approach to TLS: A Critical Analysis
An examination of Cryspen's TLS implementations reveals 75% of valid ECDSA signatures rejected, authentication tags silently dropped, no certificate validation, and remote denial-of-service vectors.
-
Making Verifpal Easier to Reason About
Verifpal's analysis engine has been redesigned with a unified equational theory, provenance-tagged values, a formally grounded deduction loop, and a bounded-depth search that runs 3x faster — plus updated tooling across the board.
-
Verifpal Workbench: Protocol Analysis in Your Browser
Verifpal now runs entirely in the browser via WebAssembly. The new Workbench at verifpal.com/workbench lets anyone write, verify, and visualize cryptographic protocol models with zero installation.
-
Verifpal, Rewritten in Rust
After seven years in Go, Verifpal has been completely rewritten in Rust, gaining a new analysis engine, massive performance improvements, a rich terminal interface, and a novel attack strategy that finds more attacks.
-
Security Announcement: Bugs in Noise Explorer's Rust/WASM Code Generation
We've updated Noise Explorer to address two bugs in generated Rust and WebAssembly implementations of Noise Protocol Framework handshake patterns.