Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Jonas Schiffl"'
Publikováno v:
International Journal on Software Tools for Technology Transfer, 25 (2), 185–204
Deductive verification has been successful in verifying interesting properties of real-world programs. One notable gap is the limited support for floating-point reasoning. This is unfortunate, as floating-point arithmetic is particularly unintuitive
Autor:
Sebastian Friebe, Bernhard Beckert, Matthias Grundmann, Oliver Stengele, Marc Leinweber, Jonas Schiffl
Publikováno v:
SACMAT
Ethereum is a platform for deploying smart contracts, which due to their public nature and the financial value of the assets they manage are attractive targets for attacks. With asset management as a main task of smart contracts, access control aspec
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030720124
TACAS (2)
Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030720124
TACAS (2)
Lecture Notes in Computer Science
Deductive verification has been successful in verifying interesting properties of real-world programs. One notable gap is the limited support for floating-point reasoning. This is unfortunate, as floating-point arithmetic is particularly unintuitive
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::17f37c6ab07574d38cf19de5329ab8cc
Autor:
Bernhard Beckert, Jonas Schiffl
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030614669
ISoLA (3)
ISoLA (3)
Smart contracts are programs which run in conjunction with distributed ledgers. They often manage valuable assets, but, like all programs, they contain errors which can be exploited by an attacker. This makes them are a prime target for formal method
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9c1cad2ed2e492601826dc35a5c309c
https://doi.org/10.1007/978-3-030-61467-6_4
https://doi.org/10.1007/978-3-030-61467-6_4
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030549930
FM Workshops (1)
FM Workshops (1)
Smart contracts are programs that run on a distributed ledger platform. They usually manage resources representing valuable assets. Moreover, their source code is visible to potential attackers, they are distributed, and bugs are hard to fix. Thus, t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09e4c8afca7de36dd2dfdf6c874e94a0
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030643539
20 Years of KeY
20 Years of KeY
Smart contracts are programs running on decentralized, distributed ledger platforms. Rigorous formal analysis of these programs is highly desirable because they manage valuable assets and therefore are a prime target for security attacks. In this pap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7c4a749050f51242f5ac1c7d64cf26ca
https://doi.org/10.1007/978-3-030-64354-6_8
https://doi.org/10.1007/978-3-030-64354-6_8
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319723075
VSTTE
VSTTE
Sorting is a fundamental functionality in libraries, for which efficiency is crucial. Correctness of the highly optimised implementations is often taken for granted. De Gouw et al. have shown that this certainty is deceptive by revealing a bug in the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c8f342af168dd7f0193db5b9a5b33d0
https://doi.org/10.1007/978-3-319-72308-2_3
https://doi.org/10.1007/978-3-319-72308-2_3