FMBC 2020: 2ND INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS

A
Annenkov, Danil	Verifying, testing and running smart contracts in ConCert
Arrojado Horta, Luís Pedro	WhylSon: Proving your Michelson Smart Contracts in Why3
B
Bernardo, Bruno	Albert, an intermediate smart-contract language for Tezos.
Boss, Ramon	Towards Verifying the Bitcoin-S Library
Boyd, Colin Alexander	A Blockchain Model in Tamarin
Braithwaite, Sean	Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)
Brünnler, Kai	Towards Verifying the Bitcoin-S Library
Buchman, Ethan	Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)
C
Cauderlier, Raphaël	Albert, an intermediate smart-contract language for Tezos.
Chiang, James	Summary of Bitcoin Trace-Net: Formal Contract Verification at Signing Time. (Extended Abstract)
Ciocarlie, Gabriela	Formal Specification and Verification of Solidity Contracts with Events (short paper)
Crocker, Paul	Tezla, an intermediate representation for static analysis of Michelson smart contracts
D
Derek, Ante	Mechanized Formal Model of the Bitcoin's Blockchain Validation Procedures
Dodds, Mike	Formal verification of the Stellar Consensus Protocol
Doukmak, Anna	Towards Verifying the Bitcoin-S Library
F
F. Aranha, Diego	High-assurance field inversion for pairing-friendly primes
G
Gjøsteen, Kristian	A Blockchain Model in Tamarin
H
Hajdu, Ákos	Formal Specification and Verification of Solidity Contracts with Events (short paper)
Hvass, Benjamin S.	High-assurance field inversion for pairing-friendly primes
J
Jakobsson, Arvid	Albert, an intermediate smart-contract language for Tezos.
Jovanović, Dejan	Formal Specification and Verification of Solidity Contracts with Events (short paper)
K
Kammueller, Florian	Inter-blockchain protocols with the Isabelle Infrastructure framework
Konnov, Igor	Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)
L
Lochbihler, Andreas	Authenticated Data Structures as Functors in Isabelle/HOL
Losa, Giuliano	Formal verification of the Stellar Consensus Protocol
M
Maric, Ognjen	Authenticated Data Structures as Functors in Isabelle/HOL
Melo de Sousa, Simão	Tezla, an intermediate representation for static analysis of Michelson smart contracts WhylSon: Proving your Michelson Smart Contracts in Why3
Milo, Mikkel	Verifying, testing and running smart contracts in ConCert
Milosevic, Zarko	Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)
N
Nagele, Julian	Populating the Peephole Optimizer of a Smart Contract Compiler
Nestmann, Uwe	Inter-blockchain protocols with the Isabelle Infrastructure framework
Nielsen, Jakob Botsch	Verifying, testing and running smart contracts in ConCert
P
Pereira, Mário	WhylSon: Proving your Michelson Smart Contracts in Why3
Pesin, Basile	Albert, an intermediate smart-contract language for Tezos.
R
Reis, João	Tezla, an intermediate representation for static analysis of Michelson smart contracts WhylSon: Proving your Michelson Smart Contracts in Why3
Rosu, Grigore	Formal Design, Implementation and Verification of Blockchain Languages using K
Rozic, Lovro	Mechanized Formal Model of the Bitcoin's Blockchain Validation Procedures
Rupić, Kristijan	Mechanized Formal Model of the Bitcoin's Blockchain Validation Procedures
S
Schett, Maria A	Populating the Peephole Optimizer of a Smart Contract Compiler
Spitters, Bas	Verifying, testing and running smart contracts in ConCert High-assurance field inversion for pairing-friendly primes
Stoilkovska, Ilina	Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)
T
Tesson, Julien	Albert, an intermediate smart-contract language for Tezos.
W
Widder, Josef	Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)
Wu, Shuang	A Blockchain Model in Tamarin
Z
Zamfir, Anca	Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)

Disclaimer | Powered by EasyChair Smart Program