FMBC PROGRAM
Thursday, August 11th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:30-10:30 Session 124A: Keynote
Location: Ullmann 307
09:30 | MEV-freedom, in DeFi and beyond (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 125D: Formal Methods for Smart Contracts
Chair:
Location: Ullmann 307
11:00 | Finding smart contract vulnerabilities with ConCert's property-based testing framework (abstract) PRESENTER: Eske Hoy Nielsen |
11:30 | Automatic generation of attacker contracts in Solidity (abstract) PRESENTER: Ignacio Ballesteros |
12:00 | Designing EUTxO smart contracts as communicating state machines: the case of simulating accounts (abstract) PRESENTER: Polina Vinogradova |
12:15 | FAT CAT: Formal Acceptance Testing of Contracts for Administering Tokens (abstract) PRESENTER: Aurélien Saue |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:15 Session 127D: Formal Methods for Blockchain Protocols
Chair:
Location: Ullmann 307
14:00 | Proofgold: Blockchain for Formal Methods (abstract) PRESENTER: Cezary Kaliszyk |
14:30 | A Domain Specific Language for Testing Consensus Implementations (abstract) PRESENTER: Srinidhi Nagendra |
14:45 | Determinism of ledger updates (abstract) PRESENTER: Polina Vinogradova |
15:00 | Human and machine-readable models of state machines for the Cardano ledger (abstract) PRESENTER: Andre Knispel |
15:30-16:00Coffee Break
16:00-16:45 Session 131C: Formal Methods for 2nd Layers/off-chain Protocols
Chair:
Location: Ullmann 307
16:00 | Multi: a Formal Playground for Smart Multi-contract interaction (abstract) PRESENTER: Martin Ceresa |
16:30 | Automating Security Analysis of Off-Chain Protocols (abstract) PRESENTER: Sophie Rain |
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event