Making Tezos smart contracts more reliable with Coq
Bernardo, Bruno, Cauderlier, Raphaël, Claret, Guillaume, Jakobsson, Arvid, Basile Pesin, Tesson, Julien
Published in arXiv.org (24.06.2021)
Published in arXiv.org (24.06.2021)
Get full text
Paper
Journal Article
Programming microcontrollers through high-level abstractions: The OMicroB project
Varoumas, Steven, Pesin, Basile, Vaugon, Benoît, Chailloux, Emmanuel
Published in Journal of computer languages (Online) (01.11.2023)
Published in Journal of computer languages (Online) (01.11.2023)
Get full text
Journal Article
Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts
Bernardo, Bruno, Cauderlier, Raphaël, Hu, Zhenlei, Pesin, Basile, Tesson, Julien
Year of Publication 18.09.2019
Year of Publication 18.09.2019
Get full text
Journal Article
Albert, an intermediate smart-contract language for the Tezos blockchain
Bernardo, Bruno, Cauderlier, Raphaël, Basile Pesin, Tesson, Julien
Published in arXiv.org (07.01.2020)
Get full text
Published in arXiv.org (07.01.2020)
Paper
Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts
Bernardo, Bruno, Cauderlier, Raphaël, Hu, Zhenlei, Basile Pesin, Tesson, Julien
Published in arXiv.org (18.09.2019)
Get full text
Published in arXiv.org (18.09.2019)
Paper