FMBC 2024: 5TH INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS

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

A
Agda	Formal specification of the Cardano blockchain ledger, mechanized in Agda Structured Contracts in the EUTxO Ledger Model
Aptos network	Securing Aptos Framework with Formal Verification
automated market makers	Formalizing Automated Market Makers in the Lean 4 Theorem Prover
B
Blockchain	Formal specification of the Cardano blockchain ledger, mechanized in Agda Towards Benchmarking of Solidity verification tools Structured Contracts in the EUTxO Ledger Model Towards Mechanised Consensus in Isabelle Secure Smart Contracts with Isabelle/Solidity Towards Formal Verification of DAG-Based Blockchain Consensus Protocols
C
Cardano	Formal specification of the Cardano blockchain ledger, mechanized in Agda
Closing	Wrap up
Consensus	Formally Verifying Safety of Chained Moonshot Consensus protocol Towards Mechanised Consensus in Isabelle Towards Formal Verification of DAG-Based Blockchain Consensus Protocols
D
Dafny	Deductive verification of smart contracts
decentralized finance	Formalizing Automated Market Makers in the Lean 4 Theorem Prover
Deductive verification	Deductive verification of smart contracts
distributed ledgers	Formal specification of the Cardano blockchain ledger, mechanized in Agda
E
EUTxO	Structured Contracts in the EUTxO Ledger Model
EVM	Deductive verification of smart contracts
F
FMBC	Welcome Wrap up
forks	Formally Verifying Safety of Chained Moonshot Consensus protocol
Formal methods	Towards Mechanised Consensus in Isabelle Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq
Formal Specification	A Practical Notion of Liveness in Smart Contract Applications
formal verification	Formal specification of the Cardano blockchain ledger, mechanized in Agda Securing Aptos Framework with Formal Verification Towards Benchmarking of Solidity verification tools Formally Verifying Safety of Chained Moonshot Consensus protocol Structured Contracts in the EUTxO Ledger Model A Practical Notion of Liveness in Smart Contract Applications Towards Formal Verification of DAG-Based Blockchain Consensus Protocols Deductive verification of smart contracts
I
Interactive theorem prover	Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq
Isabelle	Secure Smart Contracts with Isabelle/Solidity
Isabelle/HOL	Towards Mechanised Consensus in Isabelle
L
Lean 4	Formalizing Automated Market Makers in the Lean 4 Theorem Prover
ledger	Structured Contracts in the EUTxO Ledger Model
M
Model-driven development	A Practical Notion of Liveness in Smart Contract Applications
Move language	Securing Aptos Framework with Formal Verification
Move Prover	Securing Aptos Framework with Formal Verification
O
Opening	Welcome
P
proof assistants	Formalizing Automated Market Makers in the Lean 4 Theorem Prover
S
safety	Formally Verifying Safety of Chained Moonshot Consensus protocol
Safety and Liveness	A Practical Notion of Liveness in Smart Contract Applications
Security	A Practical Notion of Liveness in Smart Contract Applications
security requirements	Securing Aptos Framework with Formal Verification
small-step semantics	Structured Contracts in the EUTxO Ledger Model
smart contract	Securing Aptos Framework with Formal Verification Structured Contracts in the EUTxO Ledger Model
Smart contract upgrades	Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq
Smart contract verification	Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq
Smart contracts	Towards Benchmarking of Solidity verification tools Formalizing Automated Market Makers in the Lean 4 Theorem Prover Secure Smart Contracts with Isabelle/Solidity Deductive verification of smart contracts
Solidity	Towards Benchmarking of Solidity verification tools
specification	Structured Contracts in the EUTxO Ledger Model
T
Theorem Proving	Formally Verifying Safety of Chained Moonshot Consensus protocol Towards Mechanised Consensus in Isabelle Secure Smart Contracts with Isabelle/Solidity Towards Formal Verification of DAG-Based Blockchain Consensus Protocols
TLA+	Towards Formal Verification of DAG-Based Blockchain Consensus Protocols
transition systems	Structured Contracts in the EUTxO Ledger Model
U
UTxO	Formal specification of the Cardano blockchain ledger, mechanized in Agda Structured Contracts in the EUTxO Ledger Model
V
Verification	Towards Mechanised Consensus in Isabelle
W
Workshop	Welcome Wrap up

Disclaimer | Powered by EasyChair Smart Program