New paper with Vitor Pereira and Peter Scholl (@schollster.bsky.social)! We found flaws in a supposedly formally verified security proof of LPZK, leading to attacks on soundness and zk. The culprit: a mismatch between definitions in their code and the original LPZK papers. cic.iacr.org/p/2/3/24

Excited to do more research on the real-world security of MPC with @proofnerd.bsky.social, thanks to this grant. We plan to hire some interns for this next summer. Congrats to all the other recipients so far, and to Zama for a smooth application process, ~1 month from announcement to notification!

Happy our paper on the real-world security of MPC implementations is finally out! This project goes back to Frederik & Alexander's masters thesis from 2 years ago @csaudk.bsky.social, it's not easy work but hope to see more of this type of research in future.

Shout-out to my colleagues for the responsible disclosure of security issues in MP-SPDZ. They have been fixed in 2023.