Jan Bormet

I am second year Ph.D. student at the Chair of Applied Cryptography at Technische Universität Darmstadt, where I am advised by Sebastian Faust.

In my research, I focus on distributed cryptography with applications in distributed systems and blockchain infrastructure. In particular, I am working on modeling collusion attacks and designing collusion-resilient protocols for threshold secret sharing, encryption, and identity-based encryption.

On the side, I work with PolyCrypt, developing the off-chain payment channel protocol Perun. There, I specialize in designing smart-contracts for our backends on UTXO-based chains like Cardano and Nervos/CKB.

In my free time, I like to play Basketball, Badminton, and go cycling.

Short CV

• 2021 - 2024: Master's in IT Security at TU Darmstadt, finishing with a thesis on "Threshold Symmetric Identity Based Encryption", where I designed a threshold IBE-like protocol with a novel ciphertext-authenticity feature. My thesis was advised by Pratyay Mukherjee and Sebastian Faust.
• 2018 - 2021: Bachelor's in Computer Science at TU Darmstadt.
• 2018: Abitur at Willigis Gymnasium in Mainz, Germany.

Research & Publications

• BEAST-MEV: Batched Threshold Encryption with Silent Setup for MEV prevention
  Jan Bormet, Arka Rai Choudhuri, Sebastian Faust, Sanjam Garg, Hussien Othman, Guru-Vamsi Policharla, Ziyan Qu, Mingyuan Wang
  Preprint.
• Strong Secret Sharing with Snitching
  Jan Bormet, Stefan Dziembowski, Sebastian Faust, Tomasz Lizurej, Marcin Mielniczuk.
  Accepted at CRYPTO'25.
• CCA-Secure Traceable Threshold (ID-based) Encryption and Application
  Rishiraj Bhattacharyya, Jan Bormet, Sebastian Faust, Pratyay Mukherjee, Hussien Othman
  Accepted at ACM CCS'25.
• Traceable Threshold Encryption without Trusted Dealer
  Jan Bormet, Jonas Hofmann, Hussien Othman
  Accepted at ASIACRYPT'25.
• BEAT-MEV: Epochless Approach to Batched Threshold Encryption for MEV Prevention
  Jan Bormet, Sebastian Faust, Hussien Othman, Ziyan Qu
  Accepted at USENIX SECURITY'25.

Talks

• CCA-Secure Traceable Threshold (ID-based) Encryption and Application
  • Presented at CCS'25. [Slides]
• Strong Secret Sharing with Snitching
  • Presented at CRYPTO'25. [Slides]
  • Presented at crypto-then-a-drink seminar at TU Darmstadt (July'25). [Slides]
• BEAT-MEV: Epochless Approach to Batched Threshold Encryption for MEV Prevention
  • Presented at MEV-SBC'25 [Slides] [Video].
  • Presented at USENIX'25

Contact & Links

• E-Mail: jan.bormet@tu-darmstadt.de
• GitHub: github.com/janbormet