Inter-Blockchain Protocols with the Isabelle Infrastructure Framework (Englisch)
Freier Zugriff
- Neue Suche nach: Kammüller, Florian
- Weitere Informationen zu Kammüller, Florian:
- https://orcid.org/0000-0001-5839-5488
- Neue Suche nach: Nestmann, Uwe
- Neue Suche nach: Kammüller, Florian
- Weitere Informationen zu Kammüller, Florian:
- https://orcid.org/0000-0001-5839-5488
- Neue Suche nach: Nestmann, Uwe
- Neue Suche nach: Bernardo, Bruno
- Neue Suche nach: Marmsoler, Diego
- Weitere Informationen zu Marmsoler, Diego:
- https://orcid.org/0000-0003-2859-7673
In:
OASIcs, Volume 84, FMBC 2020
: 2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
;
84
;
11:1-11:12
;
2020
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:Inter-Blockchain Protocols with the Isabelle Infrastructure Framework
-
Beteiligte:Kammüller, Florian ( Autor:in ) / Nestmann, Uwe ( Autor:in ) / Bernardo, Bruno ( Herausgeber:in ) / Marmsoler, Diego ( Herausgeber:in )
-
Erschienen in:OASIcs, Volume 84, FMBC 2020 : 2nd Workshop on Formal Methods for Blockchains (FMBC 2020) ; 84 ; 11:1-11:12Open Access Series in Informatics (OASIcs) ; 84 ; 11:1-11:12
-
Verlag:
- Neue Suche nach: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Erscheinungsdatum:11.12.2020
-
Format / Umfang:12 pages , 612590 byte
-
Anmerkungen:OASIcs, Vol. 84, 2nd Workshop on Formal Methods for Blockchains (FMBC 2020), pages 11:1-11:12
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Lizenzbestimmungen:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Formal Design, Implementation and Verification of Blockchain Languages Using K (Invited Talk)Rosu, Grigore et al. | 2020
- 2
-
Formal Specification and Verification of Solidity Contracts with Events (Short Paper)Hajdu, Ákos / Jovanović, Dejan / Ciocarlie, Gabriela et al. | 2020
- 3
-
Populating the Peephole Optimizer of a Smart Contract CompilerSchett, Maria A. / Nagele, Julian et al. | 2020
- 4
-
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart ContractsSantos Reis, João / Crocker, Paul / Melo de Sousa, Simão et al. | 2020
- 5
-
A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock ContractBoyd, Colin / Gjøsteen, Kristian / Wu, Shuang et al. | 2020
- 6
-
Authenticated Data Structures as Functors in Isabelle/HOLLochbihler, Andreas / Marić, Ognjen et al. | 2020
- 7
-
Mechanized Formal Model of Bitcoin’s Blockchain Validation ProceduresRupić, Kristijan / Rožić, Lovro / Derek, Ante et al. | 2020
- 8
-
Towards Verifying the Bitcoin-S Library (Short Paper)Boss, Ramon / Brünnler, Kai / Doukmak, Anna et al. | 2020
- 9
-
On the Formal Verification of the Stellar Consensus ProtocolLosa, Giuliano / Dodds, Mike et al. | 2020
- 10
-
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)Braithwaite, Sean / Buchman, Ethan / Konnov, Igor / Milosevic, Zarko / Stoilkovska, Ilina / Widder, Josef / Zamfir, Anca et al. | 2020
- 11
-
Inter-Blockchain Protocols with the Isabelle Infrastructure FrameworkKammüller, Florian / Nestmann, Uwe et al. | 2020