Milad K. Ghale

According to our database, Milad K. Ghale authored at least 6 papers between 2017 and 2023.

Collaborative distances:

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

2023

Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny.

Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles

Proceedings of the Formal Methods - 25th International Symposium, 2023

2019

Modular synthesis of verified verifiers of computation with STV algorithms.

Milad K. Ghale, Dirk Pattinson, Michael Norrish

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

2018

Verified Certificate Checking for Counting Votes.

Milad K. Ghale, Dirk Pattinson, Ramana Kumar, Michael Norrish

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Modular Formalisation and Verification of STV Algorithms.

Milad K. Ghale, Rajeev Goré, Dirk Pattinson, Mukesh Tiwari

Proceedings of the Electronic Voting - Third International Joint Conference, 2018

Engineering Software for Modular Formalisation and Verification of STV Algorithms.

Milad K. Ghale

Proceedings of the Formal Methods and Software Engineering, 2018

2017

A Formally Verified Single Transferable Voting Scheme with Fractional Values.

Milad K. Ghale, Rajeev Goré, Dirk Pattinson

Proceedings of the Electronic Voting - Second International Joint Conference, 2017