Less is more: refinement proofs for probabilistic proofs. - Kunming Jiang; Devora Chait-Roth; Zachary DeStefano; Michael Walfish; Thomas Wies (IACR Cryptol. ePrint Arch., 2022)

Constructing Trustworthy Smart Contracts. - Devora Chait-Roth; Kedar S. Namjoshi (VMCAI (2), 2025)