From Lambda to Ledger: An Architectural Comparison of Plinth and Plutarch
August 2026 — Seungheon Oh, Ziyang Liu, Philip Wadler
FUNARCH '26Where science meets purpose
Categories
Topics
Authors
Research Papers
A Layered Certifying Compiler Architecture
October 2025 — Jacco Krijnen, Wouter Swierstra, Manuel Chakravarty, Joris Dral, Gabriele Keller
FUNARCH '25Modal Abstractions for Smart Contract Validation
October 2025 — Javier Godoy, Margarita Capretto, Martin Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, Cesar Sanchez, Sebastian Uchitel
MODELS 25Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano
May 2025 — Tudor Ferariu, Philip Wadler, Orestis Melkonian
FMBC '25Verifying Smart Contract Transformations Using Bisimulations
May 2025 — Kegan McIlwaine, Prof James Caldwell
FMBC '25Message-passing in the Extended UTxO Ledger Model
March 2024 — Polina Vinogradova, Orestis Melkonian
WTSC 2024Translation certification for smart contracts (SCP)
November 2023 — Jacco Krijnen, Manuel Chakravarty, Gabriele Keller, Wouter Swierstra
Science of Computer ProgrammingPrivacy Preserving Opinion Aggregation
June 2022 — Aggelos Kiayias, Vanessa Teagan, Orfeas Stefanos Thyfronitis Litos
ePrint ArchiveTranslation Certification for Smart Contracts
May 2022 — Jacco Krijnen, Manuel Chakravarty, Gabriele Keller, Wouter Swierstra
FLOPS '22Translation Certification for Smart Contracts (Extended Abstract)
August 2021 — Jacco Krijnen, Manuel Chakravarty, Gabriele Keller, Wouter Swierstra
TyDe 2021Kachina - Foundations of Private Smart Contracts
June 2021 — Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss
CSF '21Pay To Win: Cheap, Crowdfundable, Cross-chain Algorithmic Incentive Manipulation Attacks on PoW Cryptocurrencies
March 2021 — Aljosha Judmayer, Nicholas Stifter, Alexei Zamyatin, Itay Tsabary, Peter Gaži, Sarah Meiklejohn, Edgar Weippl
Standardized crypto-loans on the Cardano blockchain
March 2021 — Dmytro Kondratiuk, Pablo Lamela, Alexander Nemish, Simon Thompson
Efficient static analysis of Marlowe contracts
October 2020 — Pablo Lamela, David Smith, Simon Thompson
UTxO- vs account-based smart contract blockchain programming paradigms
October 2020 — Lars Brünjes, Murdoch, J. Gabbay
Smart Contract Derivatives
August 2020 — Kostis Karantias, Aggelos Kiayias, Dionysis Zindros
Bypassing Non-Outsourceable Proof-of-Work Schemes Using Collateralized Smart Contracts
February 2020 — Alexander Chepurnoy, Amitabh Saxena
Marlowe: implementing and analysing financial contracts on blockchain
February 2020 — Pablo Lamela, Alexander Nemish, David Smith, Simon Thompson
Workshop on Trusted Smart Contracts (Financial Cryptography 2020)The Extended UTXO Model
February 2020 — Manuel Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler
System F in Agda, for fun and profit
October 2019 — James Chapman, Roman Kireev, Chad Nester, Philip Wadler
MPC'19