Myriam Bégel

According to our database, Myriam Bégel authored at least 1 paper in 2018.

Collaborative distances:

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

2018

Towards verifying ethereum smart contract bytecode in Isabelle/HOL.

Sidney Amani, Myriam Bégel, Maksym Bortin, Mark Staples

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018