Items where Author is "Cumming, Daniel"

Conference or Workshop Item

Cumming, Daniel and Utting, Mark and Cassez, Franck and Dong, Naipeng and Tork, Sadra B. and Risius, Marten (2023) EVM-Vale: Formal Verification of EVM Bytecode using Vale. In: (Proceedings of the) 7th Symposium on Distributed Ledger Technology (SDLT), November 30 - December 1, 2023, Goldcoast, Australia, pp. 39-54. (Communications in Computer and Information Science; 1975). ISBN 9789819700066