WIP: Finding Bugs Automatically in Smart Contracts with Parameterized Specifications. Bernardi, T.; Dor, N.; Fedotov, A.; Grossman, S.; Immerman, N.; Jackson, D.; Nutz, A.; Oppenheim, L.; Rinetzky, N.; Sagiv, M.; Taube, M.; 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 and Nurit Dor and Anastasia Fedotov and Shelly Grossman and Neil Immerman and Daniel Jackson and Alexander Nutz and Lior Oppenheim and Noam Rinetzky and Mooly Sagiv and 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