Termination of Ethereum's Smart Contracts. - Thomas Genet; Thomas P. Jensen; Justine Sauvage (ICETE (2), 2020)

Foundations for Cryptographic Reductions in CCSA Logics. - David Baelde; Adrien Koutsos; Justine Sauvage (CCS, 2024)