상세 보기
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
영어
- 제목
- VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
- 제목 (타언어)
- 영어
- 저자
- Hakjoo Oh
- 발행일
- 2020-05-20
- 학회명
- S&P 2020: 41st IEEE Symposium on Security and Privacy
- 개최국가
- 미국
- 학회 개최일
- 2020-05-18 ~ 2020-05-20