Results 271 to 280 of about 27,184 (300)

Cryptocurrencies are (smart) contracts

Computer Law & Security Review, 2018
ABSTRACT The functioning of cryptocurrencies like Bitcoin ultimately depends on participants’ agreements to selectively disclose or conceal information. Various arguments suggest that those agreements amount to a large multilateral contract to which all participants are parties.
openaire   +1 more source

Challenges of Smart Contracts

2019
Analysis of complications and limitations in using smart contracts in practice, focusing on the topic of excuses for breach of ...
openaire   +1 more source

Fun with Bitcoin Smart Contracts

2018
Besides simple transfers of currency, Bitcoin also enables various forms of smart contracts, i.e. protocols where users interact within pre-agreed rules, which determine (possibly depending on the actual interaction) how currency is eventually distributed.
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino   +2 more
openaire   +4 more sources

Aplos: Smart Contracts Made Smart

2019
Smart contract is a programming interface to interact with the underlying blockchain storage models. It is a database abstraction layer for blockchain. Existing smart contract platforms follow the imperative style programming model since states are shared.
Eranga Bandara, Wee Keong Ng, Nalin Ranasinghe, Kasun De Zoysa   +3 more
openaire   +1 more source

Smart contract tontines

Applied Economics, 2023
Mohamad Hassan Abou Daya, Carole Bernard
openaire   +1 more source

Smart Derivative Contracts in DatalogMTL

SSRN Electronic Journal
Derivative contracts, either from traditional finance or reproduced in the crypto world in the form of smart contracts, are a very popular financial instrument widely used in the industry and of great interest to supervisors, financial intermediaries, and investment banks.
A. Colombo, L. Bellomarini, S. Ceri, E. Laurenza   +3 more
openaire   +2 more sources

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
Palina Tolmach, Shang-Wei Lin, Zengxiang Li   +2 more
exaly  

Smart Contracts

2023
openaire   +2 more sources

Smart Contract Firewall: Protecting the on-Chain Smart Contract Projects

GLOBECOM 2023 - 2023 IEEE Global Communications Conference, 2023
Shen Su, Yue Xue, Liansheng Lin, Chao Wang, Hui Lu 0005, Jing Qiu 0002, Yanbin Sun, Yuan Liu 0002, Zhihong Tian   +8 more
openaire   +1 more source

Intelligent contracts: Making smart contracts smart for blockchain intelligence

Computers and Electrical Engineering, 2022
Liwei Ouyang, Wenwen Zhang, Fei-Yue Wang 0001   +2 more
openaire   +1 more source