Publications

David Baelde, Adrien Koutsos, Justine Sauvage (2024). Foundations for Cryptographic Reductions in CCSA Logics. In CCS.
PDF Cite DOI
Thomas Genet, Thomas P. Jensen, Justine Sauvage (2020). Termination of Ethereum's Smart Contracts. In ScitePress.
PDF Cite DOI