Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
Kevin Delmolino,Mitchell Arnett,Ahmed E. Kosba,Andrew Miller,Andrew Miller,Elaine Shi +5 more
- pp 79-94
Reads0
Chats0
TLDR
In this paper, the authors document their experiences in teaching smart contract programming to undergraduate students at the University of Maryland, the first pedagogical attempt of its kind, where smart contracts deal directly with the movement of valuable currency units between contractual parties, security of a contract program is of paramount importance.Abstract:
We document our experiences in teaching smart contract programming to undergraduate students at the University of Maryland, the first pedagogical attempt of its kind. Since smart contracts deal directly with the movement of valuable currency units between contractual parties, security of a contract program is of paramount importance.read more
Citations
More filters
Journal ArticleDOI
Blockchain technology and its relationships to sustainable supply chain management
TL;DR: This paper critically examines how blockchains, a potentially disruptive technology that is early in its evolution, can overcome many potential barriers and proposes future research propositions and directions that can provide insights into overcoming barriers and adoption of blockchain technology for supply chain management.
Proceedings ArticleDOI
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
TL;DR: In this article, the authors present Hawk, a decentralized smart contract system that does not store financial transactions in the clear on the blockchain, thus retaining transactional privacy from the public's view.
Journal ArticleDOI
On blockchain and its integration with IoT. Challenges and opportunities
TL;DR: This paper focuses on the relationship between blockchain and IoT, investigates challenges in blockchain IoT applications, and surveys the most relevant work in order to analyze how blockchain could potentially improve the IoT.
Book ChapterDOI
A Survey of Attacks on Ethereum Smart Contracts SoK
TL;DR: This work analyses the security vulnerabilities of Ethereum smart contracts, providing a taxonomy of common programming pitfalls which may lead to vulnerabilities, and shows a series of attacks which exploit these vulnerabilities, allowing an adversary to steal money or cause other damage.
Posted Content
A survey of attacks on Ethereum smart contracts.
TL;DR: In this article, a taxonomy of common programming pitfalls which may lead to security vulnerabilities in Ethereum smart contracts is presented, and a series of attacks which exploit these vulnerabilities, allowing an adversary to steal money or cause other damage.
References
More filters
Proceedings ArticleDOI
Universally composable security: a new paradigm for cryptographic protocols
TL;DR: The notion of universally composable security was introduced in this paper for defining security of cryptographic protocols, which guarantees security even when a secure protocol is composed of an arbitrary set of protocols, or more generally when the protocol is used as a component of a system.
Proceedings ArticleDOI
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
TL;DR: In this article, the authors present Hawk, a decentralized smart contract system that does not store financial transactions in the clear on the blockchain, thus retaining transactional privacy from the public's view.
Book ChapterDOI
Untraceable Electronic Cash
David Chaum,Amos Fiat,Moni Naor +2 more
TL;DR: The use of credit cards today is an act of faith on the p a t of all concerned as discussed by the authors, and each party is vulnerable to fraud by the others, and the cardholder in particular has no protection against surveillance.
Proceedings ArticleDOI
SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies
Joseph Bonneau,Joseph Bonneau,Joseph Bonneau,Andrew Miller,Jeremy Clark,Arvind Narayanan,Joshua A. Kroll,Edward W. Felten +7 more
TL;DR: In this paper, the authors provide a systematic exposition of Bit coin and the many related crypto currencies or "altcoins" and identify three key components of BitCoin's design that can be decoupled, which enables a more insightful analysis of Bitcoin's properties and future stability.
Book ChapterDOI
Bitter to Better — How to Make Bitcoin a Better Currency
TL;DR: In this paper, the authors perform an in-depth investigation to understand what made Bitcoin so successful, while decades of research on cryptographic e-cash has not lead to a large-scale deployment.