مؤتمر
VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts
| العنوان: | VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts |
|---|---|
| المؤلفون: | So, Sunbeom, Lee, Myungho, Park, Jisu, Lee, Heejo, Oh, Hakjoo |
| المصدر: | 2020 IEEE Symposium on Security and Privacy (SP) Security and Privacy (SP), 2020 IEEE Symposium on. :1678-1694 May, 2020 |
| Relation: | 2020 IEEE Symposium on Security and Privacy (SP) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781728134970 |
|---|---|
| تدمد: | 23751207 |
| DOI: | 10.1109/SP40000.2020.00032 |