A Formally Verified Single Transferable Voting Scheme with Fractional Values. - Milad K. Ghale; Rajeev Goré; Dirk Pattinson (E-VOTE-ID, 2017)

Engineering Software for Modular Formalisation and Verification of STV Algorithms. - Milad K. Ghale (ICFEM, 2018)

Modular Formalisation and Verification of STV Algorithms. - Milad K. Ghale; Rajeev Goré; Dirk Pattinson; Mukesh Tiwari (E-Vote-ID, 2018)

Verified Certificate Checking for Counting Votes. - Milad K. Ghale; Dirk Pattinson; Ramana Kumar; Michael Norrish (VSTTE, 2018)

Modular synthesis of verified verifiers of computation with STV algorithms. - Milad K. Ghale; Dirk Pattinson; Michael Norrish (FormaliSE@ICSE, 2019)

Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. - Franck Cassez; Joanne Fuller; Milad K. Ghale; David J. Pearce 001; Horacio Mijail Anton Quiles (FM, 2023)