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.

Formally Verified EVM Block-Optimizations

Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin. Formally Verified EVM Block-Optimizations. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Volume 13966 of Lecture Notes in Computer Science, pages 176-189, Springer, 2023. [doi]

Authors

Elvira Albert

This author has not been identified. Look up 'Elvira Albert' in Google

Samir Genaim

This author has not been identified. It may be one of the following persons: Look up 'Samir Genaim' in Google

Daniel Kirchner

This author has not been identified. Look up 'Daniel Kirchner' in Google

Enrique Martin-Martin

This author has not been identified. Look up 'Enrique Martin-Martin' in Google
runs on