Efe İzbudak

Education & Research

• Universität Hamburg Oct 2026 – Sep 2028 | Hamburg, DE
  MSc in Mathematics.
  Master's thesis under the supervision of Tobias Dyckerhoff with focus on derived contact geometry.
• Middle East Technical University Aug 2022 – Jul 2026 | Ankara, TR
  BSc in Mathematics (GPA: 4.00/4.00).
  Higher Structures Group: Investigating shifted contact structures on derived stacks with Kadri İlker Berktav (Mar 2026 – Current).
• Sabanci University Aug 2024 – Jul 2026 | İstanbul, TR
  Cryptography and Information Security Group: Analysis of algebraic and approximation-theoretic techniques for homomorphic encryption scheme optimization. Exploring client-efficient fully homomorphic encryption paradigms.
  PURE Program (Summers 2024, 2025): Developed accelerators for HE. Implemented CKKS bootstrapping, GPU-accelerated algorithms, and supervised undergraduate implementation of TFHE. Supervised by Erkay Savaş. (2024 Report, 2025 Report)

Publications & Preprints

@misc{arıkan2026shiftedsymplecticfibrationsderived,
      title={Shifted Symplectic Fibrations and Derived Thurston Theorem}, 
      author={Mehmet Fırat Arıkan and Kadri İlker Berktav and Efe İzbudak},
      year={2026},
      eprint={2606.21717},
      archivePrefix={arXiv},
      primaryClass={math.SG},
      url={https://arxiv.org/abs/2606.21717}, 
}

@misc{i̇zbudak2026akszconstructionshiftedcontact,
      title={AKSZ Construction for Shifted Contact Structures}, 
      author={Efe İzbudak and Kadri İlker Berktav},
      year={2026},
      eprint={2606.13866},
      archivePrefix={arXiv},
      primaryClass={math.AG},
      url={https://arxiv.org/abs/2606.13866}, 
}

@misc{i̇zbudak2026equivariantcontactdarbouxquotients,
      title={Equivariant Contact Darboux Quotients and Perversely Categorified Legendrian Correspondences}, 
      author={Efe İzbudak},
      year={2026},
      eprint={2606.11179},
      archivePrefix={arXiv},
      primaryClass={math.AG},
      url={https://arxiv.org/abs/2606.11179}, 
}

@misc{izbudak2026derivedlegendriancategoryshifted,
      title={A Derived Legendrian Category for Shifted Contact Stacks}, 
      author={Efe \.{I}zbudak and Kadri \.{I}lker Berktav},
      year={2026},
      eprint={2605.13792},
      archivePrefix={arXiv},
      primaryClass={math.AG},
      url={https://arxiv.org/abs/2605.13792}, 
}

@misc{izbudak2026equivariantquotientsderivedsymplectic,
      title={Equivariant Quotients of Derived Symplectic Spaces and Legendrian Intersection Theorem}, 
      author={Efe \.{I}zbudak and Kadri \.{I}lker Berktav},
      year={2026},
      eprint={2605.08394},
      archivePrefix={arXiv},
      primaryClass={math.AG},
      url={https://arxiv.org/abs/2605.08394}, 
}

@misc{cryptoeprint:2026/1592,
      author = {Efe İzbudak and Kubra Kaytanci and Ferruh Ozbudak and Erkay Savas},
      title = {Sub-Cubic Homomorphic Matrix Multiplication via Self-Dual Normal Bases},
      howpublished = {Cryptology {ePrint} Archive, Paper 2026/1592},
      year = {2026},
      url = {https://eprint.iacr.org/2026/1592}
}

Selected Talks

• Constructing Spaces Dec 2026 | METU
  📄 Notes
• Moduli Problems and Stacks Dec 2026 | METU
  📄 Notes
• Contractibility & Basics of $\mathrm{Set}_\Delta$ Apr - May 2026 | METU
  📄 Contractibility Notes  |  📄 Basics Notes
• All Morphisms Are Equal, But Some Morphisms Are More Equal Than Others Sep 2024 | DRP Türkiye, Sabanci Univ.
  🎥 Video  |  📄 Report  |  📊 Slides
• Cryptography Series: FHE, PLWE, & Matrix Multiplication Fall 2024 - Winter 2025 | Online / METU / Sabanci
  Selected topics covering Ciphertext-Ciphertext Matrix Multiplication, HERMES Ring Packing, Cryptanalysis of PLWE, Lattice-Based Foundations of HE, and Sparse Packing for CKKS.
  (See CV for comprehensive slide links)

Blog View all posts →

• The Digital Shackles of Proprietary Bloatware: Why Confluence is an Insult to Our Cryptographic Mission Jul 2026
  By adopting standard enterprise platforms like Atlassian Confluence, engineering teams unwittingly surrender their freedom to a bloated, proprietary walled garden. A reflection on data sovereignty, software performance, and the necessity of local-first tools.

Software & Open Source

I have maintained packages on Gentoo Linux as a Proxied Maintainer (e.g., sc-im, mutt-wizard) and operate a Tor relay to support global internet freedom. Here are a few active software projects: