Sunbeom So, Myungho Lee, JiSu Park, Heejo Lee, Hakjoo Oh. VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts. In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020. pages 1678-1694, IEEE, 2020. [doi]
@inproceedings{SoLPLO20,
title = {VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts},
author = {Sunbeom So and Myungho Lee and JiSu Park and Heejo Lee and Hakjoo Oh},
year = {2020},
doi = {10.1109/SP40000.2020.00032},
url = {https://doi.org/10.1109/SP40000.2020.00032},
researchr = {https://researchr.org/publication/SoLPLO20},
cites = {0},
citedby = {0},
pages = {1678-1694},
booktitle = {2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020},
publisher = {IEEE},
}