Bruno Bernardo

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 6

Top Topics

English Language

Ubiquitous Environments

Operational Semantics

Top Venues

FM Workshops (1)

Financial Cryptography Workshops

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
Making Tezos smart contracts more reliable with Coq. CoRR (2021)
Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson
Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain. Financial Cryptography Workshops (2020)
Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson
Albert, an intermediate smart-contract language for the Tezos blockchain. CoRR (2020)
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
Making Tezos Smart Contracts More Reliable with Coq. ISoLA (3) (2020)
Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson
Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts. CoRR (2019)
Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson
Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts. FM Workshops (1) (2019)
Bruno Barras, Bruno Bernardo
The Implicit Calculus of Constructions as a Programming Language with Dependent Types. FoSSaCS (2008)