|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
FMBC PROGRAM PAPERS
| Authors | Title | Paper | Talk |
|---|
| Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov and Bas Spitters | Finding smart contract vulnerabilities with ConCert's property-based testing framework |  | Aug 11 11:00 | | Martin Ceresa and Cesar Sanchez | Multi: a Formal Playground for Smart Multi-contract interaction | | Aug 11 16:00 | | Andre Knispel, James Chapman, Orestis Melkonian and Polina Vinogradova | Human and machine-readable models of state machines for the Cardano ledger | | Aug 11 15:00 | | Polina Vinogradova, Manuel Chakravarty, Orestis Melkonian, Michael Peyton Jones, James Chapman, Tudor Ferariu and Jacco Krijnen | Designing EUTxO smart contracts as communicating state machines: the case of simulating accounts | | Aug 11 12:00 | | Polina Vinogradova, Orestis Melkonian, Andre Knispel and James Chapman | Determinism of ledger updates | | Aug 11 14:45 | | Ignacio Ballesteros, Clara Benac, Luis Eduardo Bueso, Lars-Åke Fredlund, Ángel Herranz and Julio Mariño | Automatic generation of attacker contracts in Solidity | | Aug 11 11:30 | | Chad Brown, Cezary Kaliszyk, Josef Urban and Thibault Gauthier | Proofgold: Blockchain for Formal Methods | | Aug 11 14:00 | | Aurélien Saue, Arvid Jakobsson and Kristina Sojakova | FAT CAT: Formal Acceptance Testing of Contracts for Administering Tokens | | Aug 11 12:15 | | Cezara Dragoi, Constantin Enea, Srinidhi Nagendra and Mandayam Srivas | A Domain Specific Language for Testing Consensus Implementations | | Aug 11 14:30 | | Lea Salome Brugger, Laura Kovács, Anja Petković Komel, Sophie Rain and Michael Rawson | Automating Security Analysis of Off-Chain Protocols | | Aug 11 16:30 |
|
|