FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Annenkov, Danil	Finding smart contract vulnerabilities with ConCert's property-based testing framework
B
Ballesteros, Ignacio	Automatic generation of attacker contracts in Solidity
Bartoletti, Massimo	MEV-freedom, in DeFi and beyond
Benac, Clara	Automatic generation of attacker contracts in Solidity
Brown, Chad	Proofgold: Blockchain for Formal Methods
Brugger, Lea Salome	Automating Security Analysis of Off-Chain Protocols
Bueso, Luis Eduardo	Automatic generation of attacker contracts in Solidity
C
Ceresa, Martin	Multi: a Formal Playground for Smart Multi-contract interaction
Chakravarty, Manuel	Designing EUTxO smart contracts as communicating state machines: the case of simulating accounts
Chapman, James	Designing EUTxO smart contracts as communicating state machines: the case of simulating accounts Determinism of ledger updates Human and machine-readable models of state machines for the Cardano ledger
D
Dragoi, Cezara	A Domain Specific Language for Testing Consensus Implementations
E
Enea, Constantin	A Domain Specific Language for Testing Consensus Implementations
F
Ferariu, Tudor	Designing EUTxO smart contracts as communicating state machines: the case of simulating accounts
Fredlund, Lars-Åke	Automatic generation of attacker contracts in Solidity
G
Gauthier, Thibault	Proofgold: Blockchain for Formal Methods
H
Herranz, Ángel	Automatic generation of attacker contracts in Solidity
J
Jakobsson, Arvid	FAT CAT: Formal Acceptance Testing of Contracts for Administering Tokens
Jones, Michael Peyton	Designing EUTxO smart contracts as communicating state machines: the case of simulating accounts
K
Kaliszyk, Cezary	Proofgold: Blockchain for Formal Methods
Knispel, Andre	Human and machine-readable models of state machines for the Cardano ledger
Knispel, Andre	Determinism of ledger updates
Kovács, Laura	Automating Security Analysis of Off-Chain Protocols
Krijnen, Jacco	Designing EUTxO smart contracts as communicating state machines: the case of simulating accounts
M
Mariño, Julio	Automatic generation of attacker contracts in Solidity
Melkonian, Orestis	Designing EUTxO smart contracts as communicating state machines: the case of simulating accounts Determinism of ledger updates Human and machine-readable models of state machines for the Cardano ledger
Milo, Mikkel	Finding smart contract vulnerabilities with ConCert's property-based testing framework
N
Nagendra, Srinidhi	A Domain Specific Language for Testing Consensus Implementations
Nielsen, Eske Hoy	Finding smart contract vulnerabilities with ConCert's property-based testing framework
P
Petković Komel, Anja	Automating Security Analysis of Off-Chain Protocols
R
Rain, Sophie	Automating Security Analysis of Off-Chain Protocols
Rawson, Michael	Automating Security Analysis of Off-Chain Protocols
S
Sanchez, Cesar	Multi: a Formal Playground for Smart Multi-contract interaction
Saue, Aurélien	FAT CAT: Formal Acceptance Testing of Contracts for Administering Tokens
Sojakova, Kristina	FAT CAT: Formal Acceptance Testing of Contracts for Administering Tokens
Spitters, Bas	Finding smart contract vulnerabilities with ConCert's property-based testing framework
Srivas, Mandayam	A Domain Specific Language for Testing Consensus Implementations
U
Urban, Josef	Proofgold: Blockchain for Formal Methods
V
Vinogradova, Polina	Designing EUTxO smart contracts as communicating state machines: the case of simulating accounts Determinism of ledger updates Human and machine-readable models of state machines for the Cardano ledger

Disclaimer | Powered by EasyChair Smart Program