English
Related papers

Related papers: Bitcoin MiCA Whitepaper

200 papers

Since the invention of Bitcoin one decade ago, numerous cryptocurrencies have sprung into existence. Among these, proof-of-work is the most common mechanism for achieving consensus, whilst a number of coins have adopted "ASIC-resistance" as…

Computers and Society · Computer Science 2019-07-05 Dimitris Karakostas , Aggelos Kiayias , Christos Nasikas , Dionysis Zindros

We present a toolchain for developing and verifying smart contracts that can be executed on Bitcoin. The toolchain is based on BitML, a recent domain-specific language for smart contracts with a computationally sound embedding into Bitcoin.…

Programming Languages · Computer Science 2019-08-06 Nicola Atzei , Massimo Bartoletti , Stefano Lande , Nobuko Yoshida , Roberto Zunino

Owing to some special characteristics and features, blockchain is a very useful technique that can securely organize diverse devices in a smart city. It finds wide applications, especially in distributed environments, where entities such as…

Cryptography and Security · Computer Science 2021-04-01 Jiahui Chen , Wensheng Gan , Muchuang Hu , Chien-Ming Chen

We analyze the economic incentives generated by the proof-of-stake mechanism discussed in the Ethereum Casper upgrade proposal. Compared with proof-of-work, proof-of-stake has a different cost structure for attackers. In Budish (2018),…

Cryptography and Security · Computer Science 2018-07-26 George Gui , Ali Hortacsu , Jose Tudon

A pivotal feature of IPv6 is its plug-and-play capability that enables hosts to integrate seamlessly into networks. In the absence of a trusted authority or security infrastructure, the challenge for hosts is generating their own address…

Cryptography and Security · Computer Science 2024-06-19 Mathieu Ducroux

Background: Explainability in phishing detection model can support a further solution of phishing attack mitigation by increasing trust and understanding how phishing can be detected. Objective: The aims of this study to determine and best…

Cryptography and Security · Computer Science 2024-12-04 Abdullah Fajar , Setiadi Yazid , Indra Budi

This work proposes a scalable, blockchain-based platform for the secure sharing of COVID-19 or other disease vaccination certificates. As an indicative use case, we simulate a large-scale deployment by considering the countries of the…

Cryptocurrencies gain trust in users by publicly disclosing the full creation and transaction history. In return, the transaction history faithfully records the whole spectrum of cryptocurrency user behaviors. This article analyzes and…

Cryptography and Security · Computer Science 2020-10-05 Xiao Fan Liu , Xin-Jian Jiang , Si-Hao Liu , Chi Kong Tse

Blockchain has become a popular decentralized paradigm for various applications in the zero-trust environment. The core of the blockchain is the consensus protocol, which establishes consensus among all the participants. PoW (Proof-of-Work)…

Cryptography and Security · Computer Science 2023-08-30 Peiran Wang

This work proposes a novel proof-of-work blockchain incentive scheme such that, barring exogenous motivations, following the protocol is guaranteed to be the optimal strategy for miners. Our blockchain takes the form of a directed acyclic…

Cryptography and Security · Computer Science 2022-06-22 Jakub Sliwinski , Roger Wattenhofer

People increasingly use digital platforms to exchange resources in accordance with some policies stating what resources users offer and what they require in return. In this paper, we propose a formal model of these environments, focussing…

Logic in Computer Science · Computer Science 2026-02-02 Lorenzo Ceragioli , Pierpaolo Degano , Letterio Galletta , Luca Viganò

We study decentralized cryptocurrency protocols in which the participants do not deplete physical scarce resources. Such protocols commonly rely on Proof of Stake, i.e., on mechanisms that extend voting power to the stakeholders of the…

Cryptography and Security · Computer Science 2017-01-12 Iddo Bentov , Ariel Gabizon , Alex Mizrahi

Digital payment schemes show an ever increasing importance. Out of the countless different schemes available this article focuses on the popular Bitcoin system. The authors provide a description of Bitcoin's unique technological basis and…

Computers and Society · Computer Science 2013-09-02 Artus Krohn-Grimberghe Christoph Sorge

We explore the feasibility of deploying Bitcoin as the shared monetary standard between Earth and Mars, accounting for physical constraints of interplanetary communication. We introduce a novel primitive, Proof-of-Transit Timestamping…

Cryptography and Security · Computer Science 2025-08-29 Jose E. Puente , Carlos Puente

Exploit proof-of-concepts (PoCs) for known vulnerabilities are widely shared in the security community. They help security analysts to learn from each other and they facilitate security assessments and red teaming tasks. In the recent…

Cryptography and Security · Computer Science 2023-06-08 Soufian El Yadmani , Robin The , Olga Gadyatskaya

This research introduces the Blockchain Academic Credential Interoperability Protocol (BACIP), designed to significantly enhance the security, privacy, and interoperability of verifying academic credentials globally, addressing the…

Cryptography and Security · Computer Science 2024-06-25 Juan A. Berrios Moya

The famous new money Bitcoin is classified as a technical informational money (TIM). Besides introducing the idea of a TIM, a more extreme notion of informational money will be developed: exclusively informational money (EXIM). The…

Computers and Society · Computer Science 2013-12-31 Jan A. Bergstra , Karl de Leeuw

Most public blockchain protocols, including the popular Bitcoin and Ethereum blockchains, do not formally specify the order in which miners should select transactions from the pool of pending (or uncommitted) transactions for inclusion in…

Cryptography and Security · Computer Science 2021-10-25 Johnnatan Messias , Mohamed Alzayat , Balakrishnan Chandrasekaran , Krishna P. Gummadi , Patrick Loiseau , Alan Mislove

Bitcoin demonstrated the possibility of a financial ledger that operates without the need for a trusted central authority. However, concerns persist regarding its security and considerable energy consumption. We assess the consensus…

Computer Science and Game Theory · Computer Science 2025-03-04 Jacob D. Leshno , Elaine Shi , Rafael Pass

The introduction of Bitcoin fueled the development of blockchain-based resilient data management systems that are resilient against failures, enable federated data management, and can support data provenance. The key factor determining the…

Databases · Computer Science 2022-04-08 Jelle Hellings , Suyash Gupta , Sajjad Rahnama , Mohammad Sadoghi
‹ Prev 1 4 5 6 7 8 10 Next ›