FMBC'19: WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS

A
Aiello, Anthony	Call me Back, I have a Type Invariant
Alturki, Musab A.	Statistical Model Checking of RANDAO's Resilience to Pre-computed Reveal Strategies Towards a Verified Model of the Algorand Consensus Protocol in Coq
Annenkov, Danil	Towards a Smart Contract Verification Framework in Coq
B
Beckert, Bernhard	Smart Contracts: Application Scenarios for Deductive Program Verification
Bernardo, Bruno	Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts
Bobot, François	Deductive Proof of Industrial Smart Contracts Using Why3
C
Cauderlier, Raphaël	Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts
Chen, Jing	Towards a Verified Model of the Algorand Consensus Protocol in Coq
Conchon, Sylvain	Verifying Smart Contracts with Cubicle
Crafa, Silvia	Solidity 0.5: when typed does not mean type safe
D
Di Pirro, Matteo	Solidity 0.5: when typed does not mean type safe
E
Eijkel, Dennis	A Distributed Blockchain Model of Selfish Mining
F
Fehnker, Ansgar	A Distributed Blockchain Model of Selfish Mining
H
Hu, Zhenlei	Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts
K
Kanig, Johannes	Call me Back, I have a Type Invariant
Korneva, Alexandrina	Verifying Smart Contracts with Cubicle
Kurita, Taro	Call me Back, I have a Type Invariant
L
Luchangco, Victor	Towards a Verified Model of the Algorand Consensus Protocol in Coq
M
Mandrykin, Mikhail	Formal specification of a security framework for smart contracts
Moore, Brandon	Towards a Verified Model of the Algorand Consensus Protocol in Coq
N
Nehaï, Zeinab	Deductive Proof of Industrial Smart Contracts Using Why3
Nielsen, Jakob Botsch	Smart Contract Interactions in Coq
O
O'Shannessy, Jake	Formal specification of a security framework for smart contracts
P
Palmskog, Karl	Towards a Verified Model of the Algorand Consensus Protocol in Coq
Payne, Jacob	Formal specification of a security framework for smart contracts
Pesin, Basile	Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts
Peña, Lucas	Towards a Verified Model of the Algorand Consensus Protocol in Coq
R
Roşu, Grigore	Statistical Model Checking of RANDAO's Resilience to Pre-computed Reveal Strategies Towards a Verified Model of the Algorand Consensus Protocol in Coq
S
Schiffl, Jonas	Smart Contracts: Application Scenarios for Deductive Program Verification
Sergey, Ilya	The Scilla Journey: from Proof General to Thousands of Nodes
Shchepetkov, Ilya	Formal specification of a security framework for smart contracts
Spitters, Bas	Towards a Smart Contract Verification Framework in Coq Smart Contract Interactions in Coq
T
Tesson, Julien	Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts
U
Ulbrich, Mattias	Smart Contracts: Application Scenarios for Deductive Program Verification
Z
Zaidi, Fatiha	Verifying Smart Contracts with Cubicle

Disclaimer | Powered by EasyChair Smart Program