Results 111 to 120 of about 1,554,184 (382)
Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking
Systems, 2022 Port supply chains play a very important role in the process of economic globalization. Lack of trust of the mechanism is the main factor in restricting the development of port supply chains.
Yang Liu +3 more
doaj +1 more source
A Framework and DataSet for Bugs in Ethereum Smart Contracts [PDF]
2020 36th IEEE International Conference on Software Maintenance
and Evolution (ICSME), IEEE, 2020, 2020 Ethereum is the largest blockchain platform that supports smart contracts. Users deploy smart contracts by publishing the smart contract's bytecode to the blockchain. Since the data in the blockchain cannot be modified, even if these contracts contain bugs, it is not possible to patch deployed smart contracts with code updates.
arxiv
VerX: Safety Verification of Smart Contracts
IEEE Symposium on Security and Privacy, 2020 We present VerX, the first automated verifier able to prove functional properties of Ethereum smart contracts. VerX addresses an important problem as all real-world contracts must satisfy custom functional specifications.VerX is based on a careful ...
Anton Permenev +4 more
semanticscholar +1 more source
Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing [PDF]
, 2017 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.
Aldweesh, Amjad +4 more
core +1 more source
Advanced Materials, EarlyView.This review explores how in situ and operando spectroscopic techniques reveal the real‐time behavior of reticular materials, including MOFs and COFs. These methods track material formation and functionalization, structural changes, defect formation, dynamic responses to external triggers, and catalytic processes.
Bettina Baumgartner +4 more
wiley +1 more source
Verification of a Smart Contract for a Simple Casino [PDF]
arXiv, 2021 We describe the verification of an existing smart contract for a simple casino application, using the Whiley specification and programming language, with a fully automated verification engine based on Boogie and Z3. After finding and fixing several specification and code issues in the smart contract, we are able to verify all the operations of the ...
arxiv
ContractWard: Automated Vulnerability Detection Models for Ethereum Smart Contracts
IEEE Transactions on Network Science and Engineering, 2020 Smart contracts are decentralized applications running on Blockchain. A very large number of smart contracts has been deployed on Ethereum. Meanwhile, security flaws of contracts have led to huge pecuniary losses and destroyed the ecological stability of
Wei Wang +5 more
semanticscholar +1 more source
State‐of‐the‐Art, Insights, and Perspectives for MOFs‐Nanocomposites and MOF‐Derived (Nano)Materials
Advanced Materials, EarlyView.Different approaches to MOF‐NP composite formation, such as ship‐in‐a‐bottle, bottle‐around‐the‐ship and in situ one‐step synthesis, are used. Owing to synergistic effects, the advantageous features of the components of the composites are beneficially combined, and their individual drawbacks are mitigated.
Stefanos Mourdikoudis +6 more
wiley +1 more source
A Massive Analysis of Ethereum Smart Contracts Empirical Study and Code Metrics
IEEE Access, 2019 In this work, we perform a comprehensive empirical study of smart contracts deployed on the ethereum blockchain. The objective of the analysis is to provide empirical results on smart contracts features, smart contract transactions within the blockchain,
Andrea Pinna +4 more
doaj +1 more source
Advanced Materials, Volume 37, Issue 13, April 2, 2025.Leveraging the numerous advantages of ammonium‐ion (NH₄⁺)—including cost‐effectiveness, low corrosiveness, preferential orientation, and rapid diffusion kinetics—aqueous NH₄⁺ batteries (AAIBs) have gained significant attention. This review highlights and evaluates the progress of AAIBs utilizing organic electrode materials such as small molecules ...
Mangmang Shi, Xiaoyan Zhang
wiley +1 more source