Optimal Eventual Byzantine Agreement Protocols with Omission Failures. - Kaya Alpturer; Joseph Y. Halpern; Ron van der Meyden (PODC, 2023)

Optimal RANDAO Manipulation in Ethereum. - Kaya Alpturer; S. Matthew Weinberg (AFT, 2024)

A Knowledge-Based Analysis of Intersection Protocols. - Kaya Alpturer; Joseph Y. Halpern; Ron van der Meyden (DISC, 2024)

Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols. - Kaya Alpturer; Gerald Huang; Ron van der Meyden (PODC, 2025)