Smart contracts are pieces of software stored on the blockchain that control the transfer of assets between parties under certain conditions. In this paper we analyze the bahaviour of smart contracts and the interaction with external actors in order to maximize objective functions. We define a core language of programs with a minimal set of smart contract primitives and we describe the whole system as a parallel composition of smart contracts and users. We therefore express the system behaviour as a first logic formula in Presburger arithmetics and study the maximum profit for each actor by solving arithmetic constraints
In this work, we perform a comprehensive empirical study of smart contracts deployed on the ethereum...
This report documents the program and the outcomes of Dagstuhl Seminar 21431 "Rigorous Methods for S...
Part 7: Smart ContractsInternational audienceThe development of blockchain technologies has enabled ...
Smart contracts are pieces of software stored on the blockchain that control the transfer of assets ...
International audienceSmart contracts are pieces of software stored on the blockchain that control t...
Smart contracts are computer programs that are executed by a network of mutually distrusting agents,...
Smart contracts are computer programs that run in a distributed network, the blockchain. These contr...
This paper explores the connection between software contracts and smart contracts. Despite the asson...
We define a technique for analyzing updates of smart contracts balances due to transfers of digital ...
The success of Bitcoin since 2009 stimulates the development of other blockchain-based applications,...
The notion of contract in computer science has been associated with several fields and application. ...
Blockchain-based smart contracts are computer programs which run on top of a blockchain in order to ...
Smart contracts are computer programs that can be consistently executed by a network of mutually dis...
© 2018 The Author(s).Smart contracts (SC) are software codes which reside and run over a blockchain....
Blockchains are maintained by a network of participants, miner nodes, that run algorithms designed t...
In this work, we perform a comprehensive empirical study of smart contracts deployed on the ethereum...
This report documents the program and the outcomes of Dagstuhl Seminar 21431 "Rigorous Methods for S...
Part 7: Smart ContractsInternational audienceThe development of blockchain technologies has enabled ...
Smart contracts are pieces of software stored on the blockchain that control the transfer of assets ...
International audienceSmart contracts are pieces of software stored on the blockchain that control t...
Smart contracts are computer programs that are executed by a network of mutually distrusting agents,...
Smart contracts are computer programs that run in a distributed network, the blockchain. These contr...
This paper explores the connection between software contracts and smart contracts. Despite the asson...
We define a technique for analyzing updates of smart contracts balances due to transfers of digital ...
The success of Bitcoin since 2009 stimulates the development of other blockchain-based applications,...
The notion of contract in computer science has been associated with several fields and application. ...
Blockchain-based smart contracts are computer programs which run on top of a blockchain in order to ...
Smart contracts are computer programs that can be consistently executed by a network of mutually dis...
© 2018 The Author(s).Smart contracts (SC) are software codes which reside and run over a blockchain....
Blockchains are maintained by a network of participants, miner nodes, that run algorithms designed t...
In this work, we perform a comprehensive empirical study of smart contracts deployed on the ethereum...
This report documents the program and the outcomes of Dagstuhl Seminar 21431 "Rigorous Methods for S...
Part 7: Smart ContractsInternational audienceThe development of blockchain technologies has enabled ...