Efe İzbudak
BSc Student in Mathematics at Middle East Technical University.
Interests: Higher structures, derived geometry, lattice-based cryptography, and homomorphic encryption.
Education & Research
-
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). -
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
Shifted Symplectic Fibrations and Derived Thurston Theorem
arXiv:2606.21717 [math.SG]
▶ Cite BibTeX
@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},
}
AKSZ Construction for Shifted Contact Structures
arXiv:2606.13866 [math.AG]
▶ Cite BibTeX
@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},
}
Equivariant Contact Darboux Quotients and Perversely Categorified Legendrian Correspondences
arXiv:2606.11179 [math.AG]
▶ Cite BibTeX
@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},
}
A Derived Legendrian Category for Shifted Contact Stacks
arXiv:2605.13792 [math.AG]
▶ Cite BibTeX
@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},
}
Equivariant Quotients of Derived Symplectic Spaces and Legendrian Intersection Theorem
arXiv:2605.08394 [math.AG]
▶ Cite BibTeX
@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},
}
Derived Contact Surgery
Work in progress
Network Efficient Fully Homomorphic Encryption
Work in progress
Sub-Cubic Homomorphic Matrix Multiplication via Self-Dual Normal Bases
Work in progress
Selected Talks
-
Constructing Spaces
-
Moduli Problems and Stacks
-
Contractibility & Basics of $\mathrm{Set}_\Delta$
-
All Morphisms Are Equal, But Some Morphisms Are More Equal Than Others
-
Cryptography Series: FHE, PLWE, & Matrix MultiplicationSelected 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)
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: