Symbolic Software is a bigger team than usual this summer, and we’d like you to meet everyone.

Meet the Symbolic Software Summer 2026 Team — Symbolic Software

Five people joined us this summer: two research interns formalizing zkVM soundness bounds in Lean, and three teaching assistants running the Applied Cryptography course. Here they are, in their own wo...

symbolic.software

Real World Cryptography Paris is back for a fifth edition this September! Our Call for Talks is OPEN! We're looking for 20-minute talks on applied cryptography, cryptographic protocols, zero-knowledge proof systems, blockchain, security audits and more! cryptography.paris

RWC Paris · Meetup 5 — Sept. 4, 2026 at EPITA

Real World Cryptography Paris returns Friday, September 4, 2026 at EPITA, Le Kremlin-Bicêtre. The Call for Talks is now open.

cryptography.paris

We've published a fuller note on a technical review that we wrote in 2025 on Telegram's MTProto protocol, which entered the public record this week, when @istories.bsky.social reported on it, in order to characterize it directly and not through a third party.

On Our Telegram MTProto Review — Symbolic Software

A note on Symbolic Software's technical review of Telegram's MTProto protocol, made public in 2026 through litigation. Covers the auth_key_id tracking vulnerability, the empirical case against Telegra...

symbolic.software

Welcome, class of Summer 2026! We're thrilled to welcome 50 students from nine institutions into our Summer 2026 cohort for our applied cryptography course, which aims to provide a free, world-class education to Lebanese university students.

Today we're releasing hpke-ng: a clean-slate Rust implementation of HPKE (RFC 9180) and a drop-in replacement for Cryspen's hpke-rs, the subject of our critical nonce reuse vulnerability discovered in February. Faster, smaller and more hardened than hpke-rs across every metric:

hpke-ng: Faster, Smaller, Harder HPKE for Rust — Symbolic Software

Across 44 head-to-head benchmarks against hpke-rs, hpke-ng wins on 16 and ties the rest, ships a 30% smaller binary, 36% less project code, and a type system that catches four classes of bug at compil...

symbolic.software

Join us on April 29 at Ledger HQ!

Nadim Kobeissi@nadim.computer · last yr.

Announcing the schedule for Real World Cryptography Paris Meetup 4! Talks on ZK! Advanced testing for cryptographic primitives! Encrypted semantic search! And killer cryptographic audits! All happening at Ledger's Paris HQ on April 29! Register today! cryptography.paris

Full schedule for Real World Cryptography Paris Meetup 3 is now live! 🚀 Check out the full lineup at cryptography.paris Expect exciting talks on programmable cryptography, post-quantum security, super-fast verification, and more—plus refreshments and time to connect!

Real World Cryptography Paris (RWC Paris) Meetups

RWC Paris aims to bring together enthusiasts, professionals, and academics to discuss the latest advancements in cryptography. Learn, share, and network with experts in the field.

cryptography.paris

Only 2 weeks left to register for Real World Cryptography Paris! 📅 Feb 18, 2025 📍 Ledger HQ, Paris 🔑 Talks, networking & deep dives into ZKPs, real-world cryptography & more! Proudly partnering with Ledger, Hylé, @symbolic.software & others. Don’t miss out! 🚀 Register now: lu.ma/f0ohzz4y

Real World Cryptography Paris Meetup 3 · Luma

Welcome to the Real World Cryptography Paris (RWC Paris) Meetups! Our goal is to bring together enthusiasts, professionals, and academics to discuss the latest…

lu.ma

Thanks for joining us on Bluesky, everyone, and stay tuned for upcoming company news and updates. For now, why not take a look at one of our recent public applied cryptography audit reports? symbolic.software/blog/2024-06...

2PC-MPC in Rust: Audit Report

Our initial audit of the Rust implementation of dWallet Labs' 2PC-MPC protocol.

symbolic.software