Papers (10)

#Title
Citations
1.Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts Bernardo, Bruno and Cauderlier, Rapha\"el and Hu, Zhenlei and Pesin, Basile and Tesson, Julien. 2019   
14
2.Introduction to the Tezos Blockchain Allombert, Victor and Bourgoin, Mathias and Tesson, Julien. 2019
10
3.Selfish Behavior in the Tezos Proof-of-Stake Protocol Neuder, Michael and Moroz, Daniel J and Rao, Rithvik and Parkes, David C. 2019
7
4.Albert, an intermediate smart-contract language for the Tezos blockchain Bernardo, Bruno and Cauderlier, Rapha\"el and Pesin, Basile and Tesson, Julien. 2020
7
5.Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts Santos Reis, Jo\~ao and Crocker, Paul and Melo de Sousa, Sim\~ao. 2020
2
6.WhylSon: Proving your Michelson Smart Contracts in Why3 da Horta, Lu\'\is Pedro Arrojado and Reis, Jo\~ao Santos and Pereira, M\'ario and de Sousa, Sim\~ao Melo. 2020  
2
7.Tezos -- a self-amending crypto-ledger Goodman, L.M.. 2014
0
8.Making Tezos Smart Contracts More Reliable with Coq Bernardo, Bruno and Cauderlier, Rapha\"el and Claret, Guillaume and Jakobsson, Arvid and Pesin, Basile and Tesson, Julien. 2020
0
9.A tool for proving Michelson Smart Contracts in WHY3 da Horta, Lu\'\is Pedro Arrojado and Reis, Jo\~ao Santos and de Sousa, Sim\~ao Melo and Pereira, M\'ario. 2020
0
10.Verification of a Merkle Patricia Tree Library Using F Sato, Sota and Banno, Ryotaro and Furuse, Jun and Suenaga, Kohei and Igarashi, Atsushi. 2021
0

Videos

–

–