WIP: Finding Bugs Automatically in Smart Contracts with Parameterized Specifications. Thomas Bernardi, N. D. and Wilcox, J. R. In 4th Stanford Blockchain Conference 2020.
WIP: Finding Bugs Automatically in Smart Contracts with Parameterized Specifications [pdf]Paper  bibtex   
@inproceedings{SBC2020-smart-contract-bugs,
 author = {Thomas Bernardi, Nurit Dor, Anastasia Fedotov, Shelly Grossman, Neil Immerman, Daniel Jackson, Alexander Nutz, Lior Oppenheim, Noam Rinetzky, Mooly Sagiv, Marcelo Taube and James R. Wilcox},
 title = {WIP: Finding Bugs Automatically in Smart Contracts with Parameterized Specifications},
 booktitle = {4th Stanford Blockchain Conference 2020},
 url_paper = {pubs/2020/sbc2020.pdf}
}
Downloads: 0