Statistics
Publications
2
Citations
294
H-Index
2
Active since
2017
Myriam Bégel is an author at Université Paris-Saclay specializing in computing, smart contracts, and computer science.
Publications per year
2017–2018
2
2
Towards verifying ethereum smart contract bytecode in Isabelle/HOL
Sidney Amani, Myriam Bégel, Maksym Bortin et al. · 2018 · 231 citations
Towards verifying ethereum smart contract bytecode in Isabelle/HOL
Sidney Amani, Myriam Bégel, Maksym Bortin et al. · 2017 · 63 citations
1–2 of 2