Library

May 2025, To appear in: FMBC '25

May 2025, To appear in: FMBC '25

May 2025, To appear in: FMBC '25

December 2024, NeurIPS '24

April 2024, FMBC 2024

April 2024, FMBC 2024

March 2024, WTSC 2024

September 2022, Haskell '22

October 2020, ISoLA 2020

October 2020, ISoLA 2020

February 2020, Workshop on Trusted Smart Contracts (Financial Cryptography 2020)