Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE

Wesley, Scott; Christakis, Maria; Navas, Jorge A.; Trefler, Richard; Wüstholz, Valentin; Gurfinkel, Arie

doi:10.1007/978-3-030-94583-1_21

Local TagsRelease HistoryDetailsSummary

Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE

Wesley, S., Christakis, M., Navas, J. A., Trefler, R., Wüstholz, V., & Gurfinkel, A. (2022). Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. In B. Finkbeiner, & T. Wies (Eds.), Verification, Model Checking, and Abstract Interpretation (pp. 425-449). Berlin: Springer. doi:10.1007/978-3-030-94583-1_21.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0009-F95C-8 Version Permalink: https://hdl.handle.net/21.11116/0000-0009-F95D-7

Genre: Conference Paper

Latex : Verifying Solidity Smart Contracts via Communication Abstraction in {SmartACE}

Files

show Files

Locators

show

Creators

show

hide

Creators:
Wesley, Scott¹, Author
Christakis, Maria², Author
Navas, Jorge A.¹, Author
Trefler, Richard¹, Author
Wüstholz, Valentin¹, Author
Gurfinkel, Arie¹, Author

Affiliations:
1External Organizations, ou_persistent22
2Group M. Christakis, Max Planck Institute for Software Systems, Max Planck Society, ou_2541696

Content

show

Details

show

hide

Language(s): eng - English

Dates: Accepted: 2020Published Online: 2022Date issued: 2022

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Wesley_VMCAI2022
DOI: 10.1007/978-3-030-94583-1_21

Degree: -

Event

show

hide

Title: 23rd International Conference on Verification, Model Checking, and Abstract Interpretation

Place of Event: Philadelphia, PA, USA

Start-/End Date: 2022-01-16 - 2022-01-18

Legal Case

show

Project information

show

Source 1

show

hide

Title: Verification, Model Checking, and Abstract Interpretation

Abbreviation : VMCAI 2021

Subtitle : 23rd International Conference, VMCAI 2022 ; Philadelphia, PA, USA, January 16–18, 2022 ; Proceedings

Source Genre: Proceedings

Creator(s):
Finkbeiner, Bernd¹, Editor
Wies, Thomas¹, Editor

Affiliations:
1 External Organizations, ou_persistent22

Publ. Info: Berlin : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 425 - 449 Identifier: ISBN: 978-3-030-94582-4

Source 2

show

hide

Title: Lecture Notes in Computer Science

Abbreviation : LNCS

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 13182 Sequence Number: - Start / End Page: - Identifier: -