Bhabani Sankar Das I study the gap between the spec and the code.

A curious mind.

Read the research GitHub 007bsd@proton.me
Latest preprint · 27 Sep 2026 One Unverified Coordinate Is Enough: Key Recovery from Faulty Fujisaki–Okamoto Rejection Checks in ML-KEM A general fault model for the Fujisaki–Okamoto rejection check in ML-KEM and Kyber. Deployed implementations have realised the check incorrectly, … Read on ePrint →