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

B
Bartoletti, Massimo	Formalizing Automated Market Makers in the Lean 4 Theorem Prover Towards Benchmarking of Solidity verification tools
Beckert, Bernhard	A Practical Notion of Liveness in Smart Contract Applications
Bertrand, Nathalie	Towards Formal Verification of DAG-Based Blockchain Consensus Protocols
C
Cassez, Franck	Deductive verification of smart contracts
Chakravarty, Manuel	Structured Contracts in the EUTxO Ledger Model
Chapman, James	Formal specification of the Cardano blockchain ledger, mechanized in Agda Structured Contracts in the EUTxO Ledger Model
Chen, Kundu	Securing Aptos Framework with Formal Verification
Chen, Robert	Securing Aptos Framework with Formal Verification
D
Di Giacomo, Gerardo	Securing Aptos Framework with Formal Verification
Doidge, Isaac	Formally Verifying Safety of Chained Moonshot Consensus protocol
F
Ferariu, Tudor	Structured Contracts in the EUTxO Ledger Model
Fioravanti, Fabio	Towards Benchmarking of Solidity verification tools
G
Ghorpade, Pranav	Towards Formal Verification of DAG-Based Blockchain Consensus Protocols
Grieskamp, Wolfgang	Securing Aptos Framework with Formal Verification
J
Jones, Elliot	Towards Mechanised Consensus in Isabelle
K
Knispel, Andre	Formal specification of the Cardano blockchain ledger, mechanized in Agda
Krijnen, Jacco	Structured Contracts in the EUTxO Ledger Model
L
Lu, Yi	Securing Aptos Framework with Formal Verification
M
Manjunatha, Praveen	Formally Verifying Safety of Chained Moonshot Consensus protocol
Marmsoler, Diego	Welcome Towards Mechanised Consensus in Isabelle Secure Smart Contracts with Isabelle/Solidity Wrap up
Matricardi, Giulia	Towards Benchmarking of Solidity verification tools
Melkonian, Orestis	Formal specification of the Cardano blockchain ledger, mechanized in Agda Structured Contracts in the EUTxO Ledger Model
P
Park, Junkil	Securing Aptos Framework with Formal Verification
Pettinau, Roberto	Towards Benchmarking of Solidity verification tools
Peyton Jones, Michael	Structured Contracts in the EUTxO Ledger Model
Pusceddu, Daniele	Formalizing Automated Market Makers in the Lean 4 Theorem Prover
R
Ramesh, Raghavendra	Formally Verifying Safety of Chained Moonshot Consensus protocol
Rubin, Sasha	Towards Formal Verification of DAG-Based Blockchain Consensus Protocols
S
Sainas, Franco	Towards Benchmarking of Solidity verification tools
Schiffl, Jonas	A Practical Notion of Liveness in Smart Contract Applications
Scholz, Bernhard	Towards Formal Verification of DAG-Based Blockchain Consensus Protocols
Sorensen, Derek	Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq
Subotić, Pavle	Towards Formal Verification of DAG-Based Blockchain Consensus Protocols
V
Vinogradova, Polina	Structured Contracts in the EUTxO Ledger Model
W
Wadler, Philip	Structured Contracts in the EUTxO Ledger Model
X
Xu, Meng	Securing Aptos Framework with Formal Verification
Z
Zhang, Teng	Securing Aptos Framework with Formal Verification

Disclaimer | Powered by EasyChair Smart Program