Results 51 to 60 of about 1,554,184 (382)
Smart Contract Interactions in Coq [PDF]
, 2020 We present a model/executable specification of smart contract execution in Coq. Our formalization allows for inter-contract communication and generalizes existing work by allowing modelling of both depth-first execution blockchains (like Ethereum) and breadth-first execution blockchains (like Tezos).
Jakob Botsch Nielsen, Bas Spitters
openaire +3 more sources
International Conference on Automated Software Engineering, 2022 As computer programs run on top of blockchain, smart contracts have proliferated a myriad of decentralized applications while bringing security vulnerabilities, which may cause huge financial losses.
J. Su +4 more
semanticscholar +1 more source
Survey on Vulnerabilities in Blockchain’s Smart Contracts
JISR on Computing, 2022 Trustworthy smart contracts is usually challenging due to the multifaceted semantics of essential domain-specific languages and their testability. A vulnerability in smart contracts possibly comprises numerous code-security and may allow an attacker to ...
Huma Jamshed
doaj +1 more source
Automating Procurement Contracts in the Healthcare Supply Chain Using Blockchain Smart Contracts
IEEE Access, 2021 Effectively managing the healthcare supply chain (HCSC) process is crucial for healthcare providers not only during pandemics such as COVID-19 but also in their normal operations.
Ilhaam A. Omar +5 more
semanticscholar +1 more source
Smart Contract Upgradeability on the Ethereum Blockchain Platform: An Exploratory Study [PDF]
arXiv, 2023 Context: Smart contracts are computerized self-executing contracts that contain clauses, which are enforced once certain conditions are met. Smart contracts are immutable by design and cannot be modified once deployed, which ensures trustlessness. Despite smart contracts' immutability benefits, upgrading contract code is still necessary for bug fixes ...
arxiv
A formal verification approach for composite smart contracts security using FSM
Journal of King Saud University: Computer and Information Sciences, 2023 Many of today's companies use Smart Contracts to represent and execute their business processes. Smart contracts are self-executed programs running over blockchain.
Mouhamad Almakhour +3 more
doaj
Smart Contracts Used in the Blockchain: A Juristic Stud
دراسات: علوم الشريعة والقانون, 2022 Objectives: Clarify the ruling on forming smart contracts using the blockchain technology, and the related conditions and pillars of legality. Methods: A descriptive approach to describe smart contracts and the pillars on which they are based, an ...
Saba mohammed mostafa Alboul +1 more
doaj +1 more source
DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode [PDF]
, 2020 Smart contracts are Turing-complete programs running on the blockchain. They are immutable and cannot be modified, even when bugs are detected. Therefore, ensuring smart contracts are bug-free and well-designed before deploying them to the blockchain is extremely important. A contract defect is an error, flaw or fault in a smart contract that causes it
arxiv +1 more source
WASAI: uncovering vulnerabilities in Wasm smart contracts
International Symposium on Software Testing and Analysis, 2022 WebAssembly (Wasm) smart contracts have shown growing popularity across blockchains (e.g., EOSIO) recently. Similar to Ethereum smart contracts, Wasm smart contracts suffer from various attacks exploiting their vulnerabilities. Even worse, few developers
Weimin Chen +5 more
semanticscholar +1 more source
İstanbul Hukuk Mecmuası, 2022 Smart contracts have emerged as an important technological development, when considering the fast pace with which technology is developing. Nowadays the digital architecture of smart contracts automates the fulfillment of contractual obligations and has ...
Mükerrem Onur Başar
doaj +1 more source