1. Circle STARKs: notes from a seminar in Stateless Consensus EF (2024).
2. Elliptic curves over finite fields and their pairings,
an elementary and rigorous account.
Book project (2024).
3. Lattices.
Notes from a seminar I ran in 2023 (poorly edited).
4. SNARV: succinct non-interactive argument of voting. Submitted. (joint with V. Iovino and A. Kampa) (2022).
5. On k-invariants of (00,n)-categories. To appear in Algebraic and Geometric Topology. (joint with J. Nuiten and Y. Harpaz) (2024).
6. The Tangent Bundle of a Model Category. To appear in Theory and Applications of Categories.
(joint with J. Nuiten and Y. Harpaz) (2019).
7. Tangent categories of algebras over operads . Israel Journal of Mathematics (joint with J. Nuiten and Y. Harpaz) (2019).
8. Quillen cohomology of (00,2)-categories. Higher Structures. (joint with J. Nuiten and Y. Harpaz) (2019).
9. The abstract cotangent complex and Quillen cohomology of enriched categories. Journal of Topology (joint with J. Nuiten and Y. Harpaz) (2018).
10. Sylow theorems for 00-groups. Topology and its Applications (joint with T. M. Schalnk) (2017).
11. An integral model structure and truncation theory for coherent group actions, Israel Journal of Mathematics 221.2: 511--561 (joint with Y. Harpaz) (2017).
12. Segal group actions, Theory and applications of Categories (2015).
13. The Grothendieck construction for model categories, Advances in Mathematics (joint with Y. Harpaz) (2015).
14. Higher descent data as a homotopy limit, in Journal of Homotopy and Related Structures (2013).
15. Homotopy normal maps, in Algebraic and Geometric Topology (2012).