onr:"swepub:oai:research.chalmers.se:b611bd6c-756f-4196-a68e-6373a75312e9"
Sökning: onr:"swepub:oai:research.chalmers.se:b611bd6c-756f-4196-a68e-6373a75312e9" > Functional Verifica...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
- Ahrendt, Wolfgang,1967Chalmers tekniska högskola,Chalmers University of Technology (författare)
Functional Verification of Smart Contracts via Strong Data Integrity
- Artikel/kapitelEngelska2020
Förlag, utgivningsår, omfång ...
- 2020-10-27
- Cham :Springer International Publishing,2020
Nummerbeteckningar
- 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
Kompletterande språkuppgifter
- Språk:engelska
- Sammanfattning på:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Anmärkningar
- 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.
Ämnesord och genrebeteckningar
- 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
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Bubel, Richard,1976Technische Universität Darmstadt(Swepub:cth)bubel (författare)
- Chalmers tekniska högskolaTechnische Universität Darmstadt (creator_code:org_t)
Sammanhörande titlar
- Ingår i: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
Internetlänk
Hitta via bibliotek
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artifici... (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Ahrendt, Wolfgan ...
- Bubel, Richard, ...
- Om ämnet
-
- TEKNIK OCH TEKNOLOGIER
- TEKNIK OCH TEKNO ...
- och Elektroteknik oc ...
- och Inbäddad systemt ...
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datavetenskap
-
- TEKNIK OCH TEKNOLOGIER
- TEKNIK OCH TEKNO ...
- och Elektroteknik oc ...
- och Datorsystem
- Artiklar i publikationen
- Lecture Notes in ...
- Av lärosätet
- Chalmers tekniska högskola
Sök utanför SwePub
- Sök vidare i:
- 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 - Nationella bibliotekssystem
- LIBRIS.kb.se
