Poulami Das

Cryptography and Security Researcher at @LeastAuthority
previously PhD @TUDarmstadt, Postdoc @cispa in Applied Cryptography

[Lean @leanprover]

#LeanLang is becoming essential infrastructure for safety-critical cryptographic implementations. At #ZKProof 7 in Sofia, three talks showcased how Lean's formal verification capabilities are transforming zero-knowledge proof systems.

A quick thread on what you missed 🧵⬇️

[IACR @IACR_News]

#ePrint BIP32-Compatible Threshold Wallets: P Das, A Erwig, S Faust, J Loss, S Riahi https://t.co/NIkSWwI2OY

[Poulami Das @randomPoulami]

@julian_loss I know some folks from TU Darmstadt planning to go

[Poulami Das @randomPoulami]

@HippogriffThe Sure! Will let you know when it's out 🙂

[Poulami Das @randomPoulami]

PhD thesis submitted!

[Mike Rosulek @GarbledCircus]

I've been working on some hybrid-proof animations for the next generation of @JoyOfCrypto. Here is the proof of IND$-CPA security for the (r, F(k,r)⊕m) encryption scheme.

[Eike Kiltz @crypto_theory]

Yeah, KYBER and Dilithium will become primary NIST standard! 💪🥳🎉 Congrats to my co-authors! https://t.co/ahbB4wBE3b

[Poulami Das @randomPoulami]

@NinaBindel @UWaterloo @QuantumIQC @TUDarmstadt @SandboxAQ Congratulations and all the best!! 😊🎉

[ACM SIGACT @sigact]

Congratulations to
Zvika Brakerski, Craig Gentry, and Vinod Vaikuntanathan,
winners of the 2022 Gödel prize. https://t.co/hjHmgSaoxx

[Yehuda Lindell @LindellYehuda]

I have published a simple 3-round protocol for Schnorr on ePrint that relies on standard assumptions and is fully simulatable. This is a paper with a very conservative design, doing the obvious. It may make sense for deployment. See https://t.co/eFCc7mnyAP

[Poulami Das @randomPoulami]

Made a friend on today's evening walk 😉

[Poulami Das @randomPoulami]

Wordle 294 2/6

⬜🟨🟩⬜🟨
🟩🟩🟩🟩🟩

[Matthew Green @matthew_d_green]

I wrote up some notes on my skim through MetaMask’s crypto. Don’t worry, nothing scary in here. https://t.co/wOFVF6fcBx

[Julian Loss @julian_loss]

Our new paper about the concrete security of BIP32 wallets will appear at CCS `21! We give formal security properties for the BIP32 wallet system as used in the wild. We also show that a simple modification of BIP32 yields a substantial concrete security improvement.