Basile Pesin

13 papers B 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2025 B conf
Formally Verified Hardening of C Programs against Hardware Fault Injection.
CPP
Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet
2025 — conf
Reactive Semantics for User Interface Description Languages.
ICE
Basile Pesin, Célia Picard, Cyril Allignol
2023 J jnl
Programming microcontrollers through high-level abstractions: The OMicroB project.
J. Comput. Lang.
Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
2023 J jnl
Verified Compilation of Synchronous Dataflow with State Machines.
ACM Trans. Embed. Comput. Syst.
Timothy Bourke, Basile Pesin, Marc Pouzet
2023 — —
Verified Compilation of a Synchronous Dataflow Language with State Machines. (Compilation vérifiée d'un langage synchrone à flots de données avec machines à états).
Basile Pesin
2021 J jnl
Making Tezos smart contracts more reliable with Coq.
CoRR
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
2021 J jnl
Verified Lustre Normalization with Node Subsampling.
ACM Trans. Embed. Comput. Syst.
Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet
2020 — conf
Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain.
Financial Cryptography Workshops
Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson
2020 J jnl
Albert, an intermediate smart-contract language for the Tezos blockchain.
CoRR
Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson
2020 — conf
Making Tezos Smart Contracts More Reliable with Coq.
ISoLA (3)
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
2020 — conf
Programming microcontrollers through high-level abstractions.
VMIL@SPLASH
Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
2019 — conf
Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts.
FM Workshops (1)
Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson
2019 J jnl
Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts.
CoRR
Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson