L773:1611 3349 OR L773:0302 9743
Search: L773:1611 3349 OR L773:0302 9743 > (2020-2024) > Functional Verifica...
- 10 of 268
- Previous record
- Next record
- To hitlist
- Ahrendt, Wolfgang,1967Chalmers tekniska högskola,Chalmers University of Technology (author)
Functional Verification of Smart Contracts via Strong Data Integrity
- Article/chapterEnglish2020
Publisher, publication year, extent ...
- 2020-10-27
- Cham :Springer International Publishing,2020
Numbers
- LIBRIS-ID:oai:research.chalmers.se:b611bd6c-756f-4196-a68e-6373a75312e9
- https://doi.org/10.1007/978-3-030-61467-6_2DOI
- https://research.chalmers.se/publication/520619URI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- We present an invariant-based specification and verification methodology that allows us to conveniently specify and verify strong data integrity properties for Solidity smart contracts. Our approach is able to reason precisely about arbitrary usage of the contracts, which may include re-entrance, a common security pitfall in smart contracts. We implemented the approach in a prototype verification tool, called SolidiKeY, and applied it successfully to a number of smart contracts.
Subject headings and genre
- TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Inbäddad systemteknik hsv//swe
- ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Embedded Systems hsv//eng
- NATURVETENSKAP Data- och informationsvetenskap Datavetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Computer Sciences hsv//eng
- TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Datorsystem hsv//swe
- ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Computer Systems hsv//eng
Added entries (persons, corporate bodies, meetings, titles ...)
- Bubel, Richard,1976Technische Universität Darmstadt(Swepub:cth)bubel (author)
- Chalmers tekniska högskolaTechnische Universität Darmstadt (creator_code:org_t)
Related titles
- In:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Cham : Springer International Publishing12478 LNCS, s. 9-241611-33490302-9743
Internet link
Find in a library
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artifici... (Search for host publication in LIBRIS)
To the university's database
- 10 of 268
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Ahrendt, Wolfgan ...
- Bubel, Richard, ...
- About the subject
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Embedded Systems
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Computer Systems
- Articles in the publication
- Lecture Notes in ...
- By the university
- Chalmers University of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
