SSCalc: A Calculus for Solidity Smart Contracts. - Diego Marmsoler; Billy Thornton (SEFM, 2023)

Type Safety for Isabelle/Solidity. - Billy Thornton; Diego Marmsoler (ICTAC, 2024)

Deductive verification of solidity smart contracts with SSCalc. - Diego Marmsoler; Billy Thornton (Sci. Comput. Program., 2025)