BDoS: Blockchain Denial-of-Service. - Michael Mirkin; Yan Ji 001; Jonathan Pang; Ariah Klages-Mundt; Ittay Eyal; Ari Juels (CCS, 2020)

Ostraka: Secure Blockchain Scaling by Node Sharding. - Alex Manuskin; Michael Mirkin; Ittay Eyal (EuroS&P Workshops, 2020)

Phoenix: A Formally Verified Regenerating Vault. - Uri Kirstein; Shelly Grossman; Michael Mirkin; James Wilcox 004; Ittay Eyal; Mooly Sagiv (CoRR, 2021)

Privacy-Preserving Record Linkage Using Local Sensitive Hash and Private Set Intersection. - Allon Adir; Ehud Aharoni; Nir Drucker; Eyal Kushnir; Ramy Masalha; Michael Mirkin; Omri Soceanu (ACNS Workshops, 2022)

Sprints: Intermittent Blockchain PoW Mining. - Michael Mirkin; Lulu Zhou; Ittay Eyal; Fan Zhang 022 (IACR Cryptol. ePrint Arch., 2023)

Arbigraph: Verifiable Turing-Complete Execution Delegation. - Michael Mirkin; Hongyin Chen; Ohad Eitan; Gal Granot; Ittay Eyal (IACR Cryptol. ePrint Arch., 2025)