FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Agda	Human and machine-readable models of state machines for the Cardano ledger (, talk)
Automated reasoning	Automating Security Analysis of Off-Chain Protocols (, talk)
B
blockchain	Multi: a Formal Playground for Smart Multi-contract interaction (, talk) Human and machine-readable models of state machines for the Cardano ledger (, talk) Proofgold: Blockchain for Formal Methods (, talk) FAT CAT: Formal Acceptance Testing of Contracts for Administering Tokens (, talk)
Blockchains	A Domain Specific Language for Testing Consensus Implementations (, talk)
C
Cardano	Human and machine-readable models of state machines for the Cardano ledger (, talk)
Consensus Protocols	A Domain Specific Language for Testing Consensus Implementations (, talk)
Coq	Finding smart contract vulnerabilities with ConCert's property-based testing framework (, talk) FAT CAT: Formal Acceptance Testing of Contracts for Administering Tokens (, talk)
D
determinism	Determinism of ledger updates (, talk)
distributed ledger	FAT CAT: Formal Acceptance Testing of Contracts for Administering Tokens (, talk)
Distributed Systems	A Domain Specific Language for Testing Consensus Implementations (, talk)
Domain Specific Languages	A Domain Specific Language for Testing Consensus Implementations (, talk)
E
elaborator reflection	Human and machine-readable models of state machines for the Cardano ledger (, talk)
F
formal logic	Proofgold: Blockchain for Formal Methods (, talk)
formal methods	Multi: a Formal Playground for Smart Multi-contract interaction (, talk) Human and machine-readable models of state machines for the Cardano ledger (, talk)
formal verification	Finding smart contract vulnerabilities with ConCert's property-based testing framework (, talk) Human and machine-readable models of state machines for the Cardano ledger (, talk) FAT CAT: Formal Acceptance Testing of Contracts for Administering Tokens (, talk)
G
game theory	Automating Security Analysis of Off-Chain Protocols (, talk)
L
ledger	Human and machine-readable models of state machines for the Cardano ledger (, talk)
ledger model	Determinism of ledger updates (, talk)
M
message passing	Designing EUTxO smart contracts as communicating state machines: the case of simulating accounts (, talk)
meta-programming	Human and machine-readable models of state machines for the Cardano ledger (, talk)
O
off-chain channels	Automating Security Analysis of Off-Chain Protocols (, talk)
P
proofgold	Proofgold: Blockchain for Formal Methods (, talk)
Property Based Testing	Automatic generation of attacker contracts in Solidity (, talk)
Property-Based Testing	Finding smart contract vulnerabilities with ConCert's property-based testing framework (, talk)
R
Reentrancy Attack	Automatic generation of attacker contracts in Solidity (, talk)
S
secure blockchain	Automating Security Analysis of Off-Chain Protocols (, talk)
Smart Contracts	Finding smart contract vulnerabilities with ConCert's property-based testing framework (, talk) Automatic generation of attacker contracts in Solidity (, talk) FAT CAT: Formal Acceptance Testing of Contracts for Administering Tokens (, talk)
smart-contracts	Multi: a Formal Playground for Smart Multi-contract interaction (, talk)
state machines	Designing EUTxO smart contracts as communicating state machines: the case of simulating accounts (, talk)
T
Testing	A Domain Specific Language for Testing Consensus Implementations (, talk)
theorem prover	Multi: a Formal Playground for Smart Multi-contract interaction (, talk)
theory of changes	Determinism of ledger updates (, talk)
U
UTXO	Human and machine-readable models of state machines for the Cardano ledger (, talk) Designing EUTxO smart contracts as communicating state machines: the case of simulating accounts (, talk)

Disclaimer | Powered by EasyChair Smart Program