FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program