Blockchain-based security management of IoT infrastructure with Ethereum transactions

SKT Mehedi, AAM Shamim, MBA Miah - Iran Journal of Computer Science, 2019 - Springer
The blockchain is nothing but a skilled magician one after one it is providing the mankind
with wonders in the era of information technology and financial industry. In recent years …

Gas estimation and optimization for smart contracts on ethereum

C Li - 2021 36th IEEE/ACM International Conference on …, 2021 - ieeexplore.ieee.org
When users deploy or invoke smart contracts on Ethereum, a fee is charged for avoiding
resource abuse. Metered in gas, the fee is the product of the amount of gas used and the …

Blockchain-powered collaboration in heterogeneous swarms of robots

JP Queralta, T Westerlund - arXiv preprint arXiv:1912.01711, 2019 - arxiv.org
One of the key challenges in the collaboration within heterogeneous multi-robot systems is
the optimization of the amount and type of data to be shared between robots with different …

Formal analysis of smart contract based on colored petri nets

W Duo, H Xin, M Xiaofeng - IEEE Intelligent Systems, 2020 - ieeexplore.ieee.org
Smart contracts increasingly cause attention for its ability to widen blockchain's application
scope. However, the security of contracts is vital to its wide deployment. In this article, we …

Smart contracts and opportunities for formal methods

A Miller, Z Cai, S Jha - … Applications of Formal Methods, Verification and …, 2018 - Springer
Smart contracts are programs that run atop of a blockchain infrastructure. They have
emerged as an important new programming model in cryptocurrencies like Ethereum, where …

智能合约漏洞检测研究综述.

李雷孝, 郑岳, 高昊昱, 熊啸, 牛铁铭… - Journal of Frontiers …, 2022 - search.ebscohost.com
智能合约作为区块链技术中的重要组成部分, 通过其编写的去中心化应用被广泛用于各领域中,
为区块链的发展与应用提供了重要的技术支持. 但智能合约发展的同时也带来了安全问题 …

Blockchain for mobile edge computing: Consensus mechanisms and scalability

JP Queralta, T Westerlund - Mobile edge computing, 2021 - Springer
Mobile edge computing (MEC) and next-generation mobile networks are set to disrupt the
way intelligent and autonomous systems are interconnected. This will have an effect on a …

Mi-Cho-Coq, a framework for certifying Tezos smart contracts

B Bernardo, R Cauderlier, Z Hu, B Pesin… - Formal Methods. FM …, 2020 - Springer
Tezos is a blockchain launched in June 2018. It is written in OCaml and supports smart
contracts. Its smart contract language is called Michelson and it has been designed with …

Blockchain-based solutions for mobile crowdsensing: A comprehensive survey

R Yu, AM Oguti, MS Obaidat, S Li, P Wang… - Computer Science …, 2023 - Elsevier
Mobile crowdsensing (MCS) is an emerging data-driven paradigm that leverages the
collective intelligence of the crowd, their mobility, and the crowd-companioned smart mobile …

Verified development and deployment of multiple interacting smart contracts with VeriSolid

K Nelaturu, A Mavridoul, A Veneris… - 2020 IEEE International …, 2020 - ieeexplore.ieee.org
Smart contracts enable the creation of decentralized applications which often handle assets
of large value. These decentralized applications are frequently built on multiple interacting …