FMBC 2021: 3RD INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS

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

A
Algorand	A Formal Model of Algorand Smart Contracts
API	Towards Contract Modules for the Tezos Blockchain
automatic market makers	Formal Methods in Decentralized Finance
B
Bitcoin	A Technique For Analysing Permissionless Blockchain Protocols
blockchain	A Technique For Analysing Permissionless Blockchain Protocols Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts Towards Verified Price Oracles A Formal Model of Algorand Smart Contracts Formal Methods in Decentralized Finance Money Grows on (Proof-)Trees: Formalisation and Correctness of the FA1.2 Ledger Standard
C
Casper	A Technique For Analysing Permissionless Blockchain Protocols
Consensus algorithm	Formally Documenting Tenderbake
Coq specification	Money Grows on (Proof-)Trees: Formalisation and Correctness of the FA1.2 Ledger Standard
CTMCs	A Technique For Analysing Permissionless Blockchain Protocols
D
decentralized finance	Towards Verified Price Oracles Formal Methods in Decentralized Finance
Diem	Formal verification of Move programs for the Diem blockchain
Distributed ledger	Money Grows on (Proof-)Trees: Formalisation and Correctness of the FA1.2 Ledger Standard
E
extended static checking	Towards Contract Modules for the Tezos Blockchain
F
fork	A Technique For Analysing Permissionless Blockchain Protocols
formal methods	Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts Formal Methods in Decentralized Finance
formal verification	Money Grows on (Proof-)Trees: Formalisation and Correctness of the FA1.2 Ledger Standard Formal verification of Move programs for the Diem blockchain
I
Interactive Theorem Proving	Towards Verified Price Oracles
L
lending pools	Formal Methods in Decentralized Finance
M
module interface	Towards Contract Modules for the Tezos Blockchain
P
PRISM	A Technique For Analysing Permissionless Blockchain Protocols
S
security	A Technique For Analysing Permissionless Blockchain Protocols
Smart Contract Verification	Towards Verified Price Oracles
smart contracts	Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts A Formal Model of Algorand Smart Contracts Formal Methods in Decentralized Finance Money Grows on (Proof-)Trees: Formalisation and Correctness of the FA1.2 Ledger Standard Formal verification of Move programs for the Diem blockchain
T
Tenderbake	Formally Documenting Tenderbake
TLA+	Formally Documenting Tenderbake

Disclaimer | Powered by EasyChair Smart Program