Items where Author is "Tork, Sadra B."

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

Cumming, Daniel K. and Utting, Mark and Dong, Naipeng and Cassez, Franck and Tork, Sadra B. and Risius, Marten (2023) Verification of EVM Bytecode with Vale. In: The 6th Symposium on distributed ledger technology (SDLT), November, 22nd, 2022, Gold Coast, Australia.