| Creators: |
Cumming, Daniel K. and Utting, Mark and Dong, Naipeng and Cassez, Franck and Tork, Sadra B. and Risius, Marten |
| Title: |
Verification of EVM Bytecode with Vale |
| Item Type: |
Conference or Workshop Item |
| Event Title: |
The 6th Symposium on distributed ledger technology (SDLT) |
| Event Location: |
Gold Coast, Australia |
| Event Dates: |
November, 22nd, 2022 |
| Projects: |
IDI |
| Date: |
2023 |
| Divisions: |
Informationsmanagement |
| Forthcoming: |
No |
| Language: |
English |
| Citation: |
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.
|
 |
View Item in edit mode (academic staff only) |
