External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract

Daejun Park 0001, Yi Zhang, Grigore Rosu. End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract. In Shuvendu K. Lahiri, Chao Wang 0001, editors, Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I. Volume 12224 of Lecture Notes in Computer Science, pages 151-164, Springer, 2020. [doi]

Authors

Daejun Park 0001

This author has not been identified. Look up 'Daejun Park 0001' in Google

Yi Zhang

This author has not been identified. Look up 'Yi Zhang' in Google

Grigore Rosu

This author has not been identified. It may be one of the following persons: Look up 'Grigore Rosu' in Google
runs on