A Layered Certifying Compiler Architecture
October 2025 — Jacco Krijnen, Wouter Swierstra, Manuel Chakravarty, Joris Dral, Gabriele Keller
FUNARCH '25Where science meets purpose
Categories
Topics
Authors
Research Papers
Modal 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, Prof 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
Privacy Preserving Opinion Aggregation
June 2022 — Prof Aggelos Kiayias, Vanessa Teagan, Orfeas Stefanos Thyfronitis Litos
Translation 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, Prof 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, Prof Simon Thompson
Efficient static analysis of Marlowe contracts
October 2020 — Pablo Lamela, David Smith, Prof 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, Prof 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, Prof 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, Prof Philip Wadler
System F in Agda, for fun and profit
October 2019 — James Chapman, Roman Kireev, Chad Nester, Prof Philip Wadler
MPC'19Unraveling recursion: compiling an IR with recursion to System F
October 2019 — Roman Kireev, Chad Nester, Michael Peyton Jones, Prof Philip Wadler, Vasilis Gkoumas, Kenneth MacKenzie
MPC'19
Input Output Education
Begin your journey learning blockchain todayAt Input Output Education, we’re committed to delivering high-quality, accessible education on Cardano, IO principles and developer tools. Our mission is to empower individuals and institutions with the knowledge they need to shape the decentralized future.