Tudor Ferariu

According to our database, Tudor Ferariu authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

tferariu/agda2plinth.

Tudor Ferariu, Philip Wadler, Orestis Melkonian

Dataset, May, 2025

Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano.

Tudor Ferariu, Philip Wadler, Orestis Melkonian

Proceedings of the 6th International Workshop on Formal Methods for Blockchains, 2025

2024

Structured Contracts in the EUTxO Ledger Model.

Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024