Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart ContractsVeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
- Alternative Title
- VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
- Authors
- Heejo Lee
- Issue Date
- 18-5월-2020
- Publisher
- IEEE
- Citation
- IEEE Symposium on Security and Privacy
- Conference Name
- IEEE Symposium on Security and Privacy
- Place
- US
- Conference Date
- 2020-05-16
- Files in This Item
- There are no files associated with this item.
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.