On the Security of the Dandelion Protocol
Brian Goncalves and
Atefeh Mashatan
Additional contact information
Brian Goncalves: Cybersecurity Research Lab, Ryerson University, Toronto, ON M5B 2K3, Canada
Atefeh Mashatan: Cybersecurity Research Lab, Ryerson University, Toronto, ON M5B 2K3, Canada
Mathematics, 2022, vol. 10, issue 7, 1-24
Abstract:
In this paper, we review the peer-to-peer blockchain transaction protocol, Dandelion, and develop an oracle-based model for its network and security. We formalize a series of security and functional criteria, such as unforgeability, non-repudiation, and immutability, into security experiments. In our model, we consider a quantum-capable adversary who seeks to undermine any of the security criteria while using oracles to simulate and interact with the Dandelion network. We then prove the security of Dandelion in our model with a series of (tight) security reductions as our main result. In addition, we prove that Dandelion is resistant to double-spending attacks.
Keywords: blockchain; post-quantum; network security (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2022
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1)
Downloads: (external link)
https://www.mdpi.com/2227-7390/10/7/1054/pdf (application/pdf)
https://www.mdpi.com/2227-7390/10/7/1054/ (text/html)
Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
HTML/Text
Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:10:y:2022:i:7:p:1054-:d:779499
Access Statistics for this article
Mathematics is currently edited by Ms. Emma He
More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().