EVM-Vale: Formal Verification of EVM Bytecode Using Vale (English)
- New search for: Cumming, Daniel
- Further information on Cumming, Daniel:
-
https://orcid.org/https://orcid.org/0000-0003-2031-8713
- New search for: Utting, Mark
- Further information on Utting, Mark:
-
https://orcid.org/http://orcid.org/0000-0003-3134-6306
- New search for: Cassez, Franck
- Further information on Cassez, Franck:
-
https://orcid.org/https://orcid.org/0000-0002-4317-5025
- New search for: Dong, Naipeng
- Further information on Dong, Naipeng:
-
https://orcid.org/https://orcid.org/0000-0002-8248-3362
- New search for: Tork, Sadra Bayat
- New search for: Risius, Marten
- Further information on Risius, Marten:
-
https://orcid.org/https://orcid.org/0000-0002-1859-5351
- New search for: Dong, Naipeng
- Further information on Dong, Naipeng:
-
https://orcid.org/https://orcid.org/0000-0002-8248-3362
- New search for: Pillai, Babu
- Further information on Pillai, Babu:
-
https://orcid.org/https://orcid.org/0000-0003-4675-154X
- New search for: Bai, Guangdong
- Further information on Bai, Guangdong:
-
https://orcid.org/https://orcid.org/0000-0002-6390-9890
- New search for: Utting, Mark
- Further information on Utting, Mark:
-
https://orcid.org/https://orcid.org/0000-0003-3134-6306
- New search for: Cumming, Daniel
- Further information on Cumming, Daniel:
-
https://orcid.org/https://orcid.org/0000-0003-2031-8713
- New search for: Utting, Mark
- Further information on Utting, Mark:
-
https://orcid.org/http://orcid.org/0000-0003-3134-6306
- New search for: Cassez, Franck
- Further information on Cassez, Franck:
-
https://orcid.org/https://orcid.org/0000-0002-4317-5025
- New search for: Dong, Naipeng
- Further information on Dong, Naipeng:
-
https://orcid.org/https://orcid.org/0000-0002-8248-3362
- New search for: Tork, Sadra Bayat
- New search for: Risius, Marten
- Further information on Risius, Marten:
-
https://orcid.org/https://orcid.org/0000-0002-1859-5351
In:
Distributed Ledger Technology
: 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 – December 1, 2023, Revised Selected Papers
;
Chapter: 3
;
39-54
;
2024
- Article/Chapter (Book) / Electronic Resource
-
Title:EVM-Vale: Formal Verification of EVM Bytecode Using Vale
-
Additional title:Communic.Comp.Inf.Science
-
Contributors:Dong, Naipeng ( editor ) / Pillai, Babu ( editor ) / Bai, Guangdong ( editor ) / Utting, Mark ( editor ) / Cumming, Daniel ( author ) / Utting, Mark ( author ) / Cassez, Franck ( author ) / Dong, Naipeng ( author ) / Tork, Sadra Bayat ( author ) / Risius, Marten ( author )
-
Conference:International Symposium on Distributed Ledger Technology ; 2023 ; Brisbane, QLD, Australia
-
Published in:Distributed Ledger Technology : 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 – December 1, 2023, Revised Selected Papers ; Chapter: 3 ; 39-54Communications in Computer and Information Science ; 1975 ; 39-54
-
Publisher:
- New search for: Springer Nature Singapore
-
Place of publication:Singapore
-
Publication date:2024-02-09
-
Size:16 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
One-Phase Batch Update on Sparse Merkle Trees for RollupsMa, Boqian / Pathak, Vir Nath / Liu, Lanping / Ruj, Sushmita et al. | 2024
- 2
-
On the Relevance of Blockchain Evaluations on Bare MetalLebedev, Andrei / Gramoli, Vincent et al. | 2024
- 3
-
EVM-Vale: Formal Verification of EVM Bytecode Using ValeCumming, Daniel / Utting, Mark / Cassez, Franck / Dong, Naipeng / Tork, Sadra Bayat / Risius, Marten et al. | 2024
- 4
-
Detecting Malicious Blockchain Transactions Using Graph Neural NetworksJeyakumar, Samantha Tharani / Eugene Yugarajah, Andrew Charles / Hóu, Zhé / Muthukkumarasamy, Vallipuram et al. | 2024
- 5
-
Data Sharing Using Verifiable Credentials in the Agriculture SectorAshley, Paul et al. | 2024
- 6
-
Linking NFT Transaction Events to Identify Privacy RisksZelenyanszki, Dorottya / Hóu, Zhé / Biswas, Kamanashis / Muthukkumarasamy, Vallipuram et al. | 2024
- 7
-
The Benefits of Non-Fungible Token (NFT) Technology in Music CopyrightDong, Jie / Dong, Naipeng / Bai, Guangdong et al. | 2024
- 8
-
Central Bank Digital Currency ModelsYip, Hei Lam / Pillai, Babu et al. | 2024
- 9
-
Understanding Real-Time Payment Dynamics in AustraliaPillai, Babu et al. | 2024