USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
ETHBMC: A Bounded Model Checker for Smart Contracts
Submitted by jasmine@usenix.org on April 15, 2020 - 1:15 pm
| Title | ETHBMC: A Bounded Model Checker for Smart Contracts |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Frank J, Aschermann C, Holz T |
| Conference Name | 29th USENIX Security Symposium (USENIX Security 20) |
| Date Published | 08/2020 |
| Publisher | USENIX Association |
| ISBN Number | 978-1-939133-17-5 |
| URL | https://www.usenix.org/conference/usenixsecurity20/presentation/frank |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX