Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,489,148 papers from all fields of science
Search
Sign In
Create Free Account
Smart contract
Known as:
Agoric computing
, Smart contracts
, Smart property
Smart contracts are computer protocols that facilitate, verify, or enforce the negotiation or performance of a contract, or that make a contractual…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
26 relations
Bitcoin
Byzantine fault tolerance
Capability-based security
Crypto-anarchism
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2018
Highly Cited
2018
Securify: Practical Security Analysis of Smart Contracts
Petar Tsankov
,
A. Dan
,
Dana Drachsler-Cohen
,
Arthur Gervais
,
Florian Buenzli
,
Martin T. Vechev
CCS
2018
Corpus ID: 46936025
Permissionless blockchains allow the execution of arbitrary programs (called smart contracts), enabling mutually untrusted…
Expand
Review
2017
Review
2017
A Survey of Attacks on Ethereum Smart Contracts (SoK)
Nicola Atzei
,
Massimo Bartoletti
,
Tiziana Cimoli
POST
2017
Corpus ID: 15494854
Smart contracts are computer programs that can be correctly executed by a network of mutually distrusting nodes, without the need…
Expand
Highly Cited
2017
Highly Cited
2017
A Smart Contract for Boardroom Voting with Maximum Voter Privacy
Patrick McCorry
,
S. F. Shahandashti
,
F. Hao
IACR Cryptol. ePrint Arch.
2017
Corpus ID: 12045615
We present the first implementation of a decentralised and self-tallying internet voting protocol with maximum voter privacy…
Expand
Highly Cited
2016
Highly Cited
2016
Making Smart Contracts Smarter
Loi Luu
,
D. Chu
,
Hrishi Olickel
,
P. Saxena
,
Aquinas Hobor
IACR Cryptol. ePrint Arch.
2016
Corpus ID: 15927740
Cryptocurrencies record transactions in a decentralized data structure called a blockchain. Two of the most popular…
Expand
Review
2016
Review
2016
Blockchains and Smart Contracts for the Internet of Things
K. Christidis
,
M. Devetsikiotis
IEEE Access
2016
Corpus ID: 23397334
Motivated by the recent explosion of interest around blockchains, we examine whether they make a good fit for the Internet of…
Expand
Highly Cited
2016
Highly Cited
2016
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
A. Kosba
,
Andrew K. Miller
,
E. Shi
,
Zikai Wen
,
Charalampos Papamanthou
IEEE Symposium on Security and Privacy (SP)
2016
Corpus ID: 1869596
Emerging smart contract systems over decentralized cryptocurrencies allow mutually distrustful parties to transact safely without…
Expand
Highly Cited
2016
Highly Cited
2016
Formal Verification of Smart Contracts: Short Paper
K. Bhargavan
,
Antoine Delignat-Lavaud
,
+8 authors
Santiago Zanella Béguelin
PLAS@CCS
2016
Corpus ID: 1185106
Ethereum is a framework for cryptocurrencies which uses blockchain technology to provide an open global computing platform…
Expand
Highly Cited
2016
Highly Cited
2016
Town Crier: An Authenticated Data Feed for Smart Contracts
Fan Zhang
,
Ethan Cecchetti
,
Kyle Croman
,
A. Juels
,
E. Shi
CCS
2016
Corpus ID: 14281802
Smart contracts are programs that execute autonomously on blockchains. Their key envisioned uses (e.g. financial instruments…
Expand
Highly Cited
2015
Highly Cited
2015
A NEXT GENERATION SMART CONTRACT & DECENTRALIZED APPLICATION PLATFORM
Vitalik Buterin
2015
Corpus ID: 19568665
When Satoshi Nakamoto first set the Bitcoin blockchain into motion in January 2009, he was simultaneously introducing two radical…
Expand
Review
2015
Review
2015
Understanding Modern Banking Ledgers Through Blockchain Technologies: Future of Transaction Processing and Smart Contracts on the Internet of Money
G. Peters
,
Efstathios Panayi
ArXiv
2015
Corpus ID: 10843176
In this chapter we provide an overview of the concept of blockchain technology and its potential to disrupt the world of banking…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE