Results 11 to 20 of about 5,100,800 (322)
sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts [PDF]
International Conference on Software Engineering, 2020 Smart contracts are Turing-complete programs that execute on the infrastructure of the blockchain, which often manage valuable digital assets. Solidity is one of the most popular programming languages for writing smart contracts on the Ethereum platform.
T. D. Nguyen +4 more
semanticscholar +1 more source
SPECIFICS OF MANAGEMENT OF INTERNATIONAL CONTRACTS IN THE CONDITIONS OF COVID-19
Ekonomìčnij Vìsnik Nacìonalʹnogo Tehnìčnogo Unìversitetu Ukraïni "Kiïvsʹkij Polìtehnìčnij Institut", 2022 The article considers the trends of the COVID-19 pandemic impact on the economic activity of certain sectors of the economy, the consequences of quarantine restrictions in the national and world economy.
В. Чорній, Є. Дергачов
doaj +1 more source
Slither: A Static Analysis Framework for Smart Contracts [PDF]
International Workshop on Emerging Trends in Software Engineering for Blockchain, 2019 This paper describes Slither, a static analysis framework designed to provide rich information about Ethereum smart contracts. It works by converting Solidity smart contracts into an intermediate representation called SlithIR.
Josselin Feist +2 more
semanticscholar +1 more source
ESG Principles in International Business and Sustainable Contracts
Actual Problems of Russian Law, 2022 The concept of sustainable development has captured the world. It is altering society, generating new social patterns, reorganizing business and management models, testifying to the ultimate connectedness of the world and, as a result, encourages ...
M. Mazhorina
semanticscholar +1 more source
Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts [PDF]
International Symposium on Blockchain and Secure Critical Infrastructure, 2021 Ethereum smart contracts are programs that run on the Ethereum blockchain, and many smart contract vulnerabilities have been discovered in the past decade.
Nami Ashizawa +3 more
semanticscholar +1 more source
Law applicable to electronic communications In international contracts [PDF]
الرافدین للحقوق, 2019 When the United Nation issued an agreement concerning The Use of Electronic Discourse in International Contract; the aim beyond this was to overcome many difficulties that faced the deployment of electronic discourse in making deals، but the agreement ...
khalel alkiki, Raya alsafar
doaj +1 more source
Optimization of Upstream Oil and Gas Contracts: A Principal-Agent Model [PDF]
Faslnāmah-i Pizhūhish/Nāmah-i Iqtisādī, 2020 The history of oil contracts in the last century indicates that oil contracts are a form of conflict between the interests of foreign oil companies and national interests of reservoir-owning governments.
Hojjatollah Baramaki Yazdi +2 more
doaj +1 more source
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts [PDF]
International Conference on Software Engineering, 2019 Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. However, it is not trivial to compare and reproduce that research. To address this, we present an empirical evaluation
Thomas Durieux +3 more
semanticscholar +1 more source
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection [PDF]
International Conference on Automated Software Engineering, 2018 Decentralized cryptocurrencies feature the use of blockchain to transfer values among peers on networks without central agency. Smart contracts are programs running on top of the blockchain consensus protocol to enable people make agreements while ...
Bo Jiang, Ye Liu, W. Chan
semanticscholar +1 more source
The Nature of Electronic Contracts Using Blockchain Technology – Currency Bitcoin as an Example
Revista de Gestão Social e Ambiental, 2023 Purpose: This study aimed to assess the extent of the use and the safety of dealing withBitcoin through blockchain technology. Method/approach: Bitcoin model applied for electronic contracts.
F. Alazzam +3 more
semanticscholar +1 more source