搜索结果: 1-15 共查到“Contracts”相关记录100条 . 查询时间(0.081 秒)
Indústrias Nucleares do Brasil (INB) signed four contracts and two agreements covering various aspects of nuclear fuel supplies with Westinghouse, The Institute of Energy and Nuclear Research and Rosa...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Trust and Contracts: Empirical Evidence
信托与合同 经验证据 决策论
2023/4/19
Trust between parties should drive contract design: if parties were suspicious about each others' reaction to unplanned events, they might agree to pay higher costs of negotiation ex ante to complete ...
ETHDKG: Distributed Key Generation with Ethereum Smart Contracts
Distributed Key Generation DKG Ethereum
2019/8/30
Distributed key generation (DKG) is a fundamental building block for a variety of cryptographic schemes and protocols, such as threshold cryptography, multi-party coin tossing schemes, public randomne...
The Rush Dilemma: Attacking and Repairing Smart Contracts on Forking Blockchains
blockchain forks smart contracts secure computation
2019/8/6
We investigate the security of smart contracts within a blockchain that can fork (as Bitcoin and Ethereum). In particular, we focus on multi-party computation (MPC) protocols run on-chain with the aid...
Bitcontracts: Adding Expressive Smart Contracts to Legacy Cryptocurrencies
Blockchain Smart Contracts Cryptocurrency
2019/7/24
In contrast to traditional contracts, cryptocurrency-based smart contracts can provide improved business automation and more transparency. However, not all cryptocurrencies support expressive contract...
ACE: Asynchronous and Concurrent Execution of Complex Smart Contracts
Blockchain Smart Contracts Cryptocurrency
2019/7/22
Smart contracts are programmable, decentralized and transparent financial applications. Because smart contract platforms typically support Turing-complete programming languages, such systems are often...
Smart contracts are envisioned to be one of the killer applications of decentralized cryptocurrencies. They enable self-enforcing payments between users depending on complex program logic. Unfortunate...
A time-release protocol enables one to send secrets into a future release time. The main technical challenge lies in incorporating timing control into the protocol, especially in the absence of a cent...
A landmark security property of smart contracts is liquidity: in a non-liquid contract, it may happen that some funds remain frozen. The relevance of this issue is witnessed by a recent liquidity atta...
Automated Penalization of Data Breaches using Crypto-augmented Smart Contracts
Data leakage Oblivious transfer Smart Contracts
2018/11/2
This work studies the problem of automatically penalizing intentional or unintentional data breach (APDB) by a receiver/custodian receiving confidential data from a sender. We solve this problem by au...
We present three smart contracts that allow a briber to fairly exchange bribes to miners who pursue a mining strategy benefiting the briber. The first contract, CensorshipCon, highlights that Ethereum...
Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing
Verifiable Computing Smart Contract Game Theory
2018/5/28
Cloud computing has become an irreversible trend. Together comes the pressing need for verifiability, to assure the client the correctness of computation outsourced to the cloud. Existing verifiable c...
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 act...
Albeit the primary usage of Bitcoin is to exchange currency, its blockchain and consensus mechanism can also be exploited to securely execute some forms of smart contracts. These are agreements among ...
BitML: a calculus for Bitcoin smart contracts
Bitcoin smart contracts computational attacks
2018/2/1
We propose a domain-specific language for smart contracts, which allows participants to transfer cryptocurrency according to agreed contract terms. We define a symbolic and a computational model for r...