An approach for the automatic verification of blockchain protocols: the Tweetchain case study
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2263-8733
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
An approach for the automatic verification of blockchain protocols: the Tweetchain case study ; day:25 ; month:8 ; year:2022 ; pages:1-16
Journal of computer virology and hacking techniques ; (25.8.2022), 1-16
- Creator
-
Raimondo, Mariapia
Bernardi, Simona
Marrone, Stefano
Merseguer, José
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11416-022-00444-z
- URN
-
urn:nbn:de:101:1-2022111209075162516076
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:21 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Raimondo, Mariapia
- Bernardi, Simona
- Marrone, Stefano
- Merseguer, José
- SpringerLink (Online service)
Other Objects (12)
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Software verification challenges in the blockchain ecosystem
Directed search for the verification of communication protocols
RecordFlux: Facilitating the Verification of Communication Protocols
Directed search for the verification of communication protocols
Blockchain Scalability through Secure Optimistic Protocols
A survey on the application of blockchain in cryptographic protocols
Towards efficient verification of population protocols
Advancing blockchain interoperability: protocols for seamless communication and transactions across blockchain networks
Operational semantics and verification of security protocols
Automatic signature verification using segmentation
The Discourje project: run-time verification of communication protocols in Clojure
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Software verification challenges in the blockchain ecosystem
Directed search for the verification of communication protocols
RecordFlux: Facilitating the Verification of Communication Protocols
Directed search for the verification of communication protocols
Blockchain Scalability through Secure Optimistic Protocols
A survey on the application of blockchain in cryptographic protocols
Towards efficient verification of population protocols
Advancing blockchain interoperability: protocols for seamless communication and transactions across blockchain networks
Operational semantics and verification of security protocols
Automatic signature verification using segmentation
The Discourje project: run-time verification of communication protocols in Clojure
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Software verification challenges in the blockchain ecosystem
Directed search for the verification of communication protocols
RecordFlux: Facilitating the Verification of Communication Protocols
Directed search for the verification of communication protocols
Blockchain Scalability through Secure Optimistic Protocols
A survey on the application of blockchain in cryptographic protocols
Towards efficient verification of population protocols
Advancing blockchain interoperability: protocols for seamless communication and transactions across blockchain networks
Operational semantics and verification of security protocols
Automatic signature verification using segmentation