Bruno Bernardo

According to our database, Bruno Bernardo authored at least 5 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Making Tezos Smart Contracts More Reliable with Coq.

Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain.

Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson

Proceedings of the Financial Cryptography and Data Security, 2020

2019

Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts.

Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2015

Un Calcul des Constructions implicite avec sommes dépendantes et à inférence de type décidable. (An implicit Calculus of Constructions with dependent sums and decidable type inference).

Bruno Bernardo

PhD thesis, 2015

2008

The Implicit Calculus of Constructions as a Programming Language with Dependent Types.

Bruno Barras, Bruno Bernardo

Proceedings of the Foundations of Software Science and Computational Structures, 2008