Patterns in the generalized Fibonacci word, applied to games. - Lior Goldberg; Aviezri S. Fraenkel (Discret. Math., 2018)

Rulesets for Beatty games. - Lior Goldberg; Aviezri S. Fraenkel (Int. J. Game Theory, 2018)

DEEP-FRI: Sampling Outside the Box Improves Soundness. - Eli Ben-Sasson; Lior Goldberg; Swastik Kopparty; Shubhangi Saraf (Electron. Colloquium Comput. Complex., 2019)

Linear-Size Constant-Query IOPs for Delegating Computation. - Eli Ben-Sasson; Alessandro Chiesa; Lior Goldberg; Tom Gur; Michael Riabzev; Nicholas Spooner (IACR Cryptol. ePrint Arch., 2019)

STARK Friendly Hash - Survey and Recommendation. - Eli Ben-Sasson; Lior Goldberg; David Levit (IACR Cryptol. ePrint Arch., 2020)

Cairo - a Turing-complete STARK-friendly CPU architecture. - Lior Goldberg; Shahar Papini; Michael Riabzev (IACR Cryptol. ePrint Arch., 2021)

A verified algebraic representation of cairo program execution. - Jeremy Avigad; Lior Goldberg; David Levit; Yoav Seginer; Alon Titelman (CPP, 2022)

A Proof-Producing Compiler for Blockchain Applications. - Jeremy Avigad; Lior Goldberg; David Levit; Yoav Seginer; Alon Titelman (J. Autom. Reason., 2025)