There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 24

Record: found
Abstract: not found
Book Chapter: not found

Defining the Ethereum Virtual Machine for Interactive Theorem Provers

Yoichi Hirai (2017)

0 comments Cited 36 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Mechanized Metatheory for the Masses: The PoplMark Challenge

Brian E. Aydemir, Aaron Bohannon, Matthew W. Fairbairn … (2005)

0 comments Cited 30 times – based on 0 reviews

Bookmark

Record: found
Abstract: found
Book Chapter: found

Is Open Access

A Semantic Framework for the Security Analysis of Ethereum Smart Contracts

Ilya Grishchenko, Matteo Maffei, Clara Schneidewind (2018)

0 comments Cited 30 times – based on 0 reviews

Bookmark

All references

Author and book information

Contributors

James Chapman: (View ORCID Profile)

Roman Kireev: (View ORCID Profile)

Philip Wadler: (View ORCID Profile)

Book Chapter

Publication date (Print): 2019

Publication date (Online): October 20 2019

Pages: 255-297

DOI: 10.1007/978-3-030-33636-3_10

SO-VID: 5069795c-f6a7-4554-9812-53bea8d0257a

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 1

Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain
Authors: Bruno Bernardo, Raphaël Cauderlier, Basile Pesin …

See all cited by

System F in Agda, for Fun and Profit

Read this book at

Related collections

BAPIO - British Association of Physicians of Indian Origin

Most cited references 24

Defining the Ethereum Virtual Machine for Interactive Theorem Provers

Mechanized Metatheory for the Masses: The PoplMark Challenge

A Semantic Framework for the Security Analysis of Ethereum Smart Contracts

Author and book information

Contributors

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,912

Cited by 1