arrow
返回

SRP: An Efficient Runtime Protection Framework for Blockchain-based Smart Contracts

delete2023-07-01
delete5
delete
OA
AI
I
Isra Mohamed Ali *
N
Noureddine Lasla
M
Mohamed Abdallah
A
Aiman Erbad
DOI:10.1016/j.jnca.2023.103658delete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

En 中文
Runtime-verification of smart contracts ensures the absence of exploitations within a transaction during execution. It is a crucial security aspect that is often omitted due to its high onchain overhead. The lack of runtime-verification in public blockchains allowed attackers to compromise vulnerable contracts and cause significant monetary losses. Although several runtime protection solutions have been proposed, they do not discuss the onchain overhead limitation, which may hinder their deployment and undermine their effectiveness. To address this problem, we propose an efficient Smart contract Runtime Protection framework, called SRP, that minimizes the onchain burden of runtime-verification by integrating an off-chain mechanism with onchain contract execution. The proposed hybrid architecture is designed to protect already-deployed smart contracts from attacks in real-time while maintaining the throughput of the underlying blockchain. We first present SRP from a design perspective proposing a protocol customized for off-chain runtime-verification interoperability. Then, we evaluate our approach empirically and demonstrate the applicability of SRP using a proof-of-concept implementation on a local instance of the Ethereum network. Our empirical and experimental results indicate the feasibility and efficiency of our approach, where SRP outperforms the onchain-only mechanism in terms of service time and throughput, for increasing workloads.
Keyword:
Blockchain
Smart contract
Off-chain processing
Runtime verification
Concurrent execution
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Journal of Network and Computer Applications 封面图
Journal of Network and Computer Applications
IF:
8
论文数:
3.7K
被引数:
1.1W

机构

H
Hamad Bin Khalifa University-Qatar
学者数:
2.2K
论文数: 2.0K
被引数: 33
Q
qatar foundation (qf)
学者数:
6.3K
论文数: 7.0K
被引数: 8
引用论文

引用论文

Orientational Dynamics of theSc3Trimer inC82: An EPR Study
err1994-12-19
err0
errOAAI
errP. H. M. van Loosdrecht; R. D. Johnson; M. S. de Vries; C. -H. Kiang; D. S. Bethune; H. C. Dorn; P. Burbank; S. Stevenson
err分享
err收藏
Accelerated waning of the humoral response to SARS-CoV-2 vaccines in obesity
err
IF0
err2022-06-14
err0
errOAAI
errAgatha A. van der Klaauw; Emily C. Horner; Pehuén Pereyra-Gerber; Utkarsh Agrawal; William S. Foster; Sarah Spencer; Bensi Vergese; Miriam Smith; Elana Henning; Isobel D. Ramsay; Jack A. Smith; Stephane M. Guillaume; Hayley J. Sharpe; Iain M. Hay; Sam Thompson; Silvia Innocentin; Lucy H. Booth; Chris Robertson; Colin McCowan; Thomas E. Mulroney; Martin J. O’Reilly; Thevinya P. Gurugama; Lihinya P. Gurugama; Maria A. Rust; Alex Ferreira; Soraya Ebrahimi; Lourdes Ceron-Gutierrez; Jacopo Scotucci; Barbara Kronsteiner; Susanna J. Dunachie; Paul Klenerman; Adrian J. Park; Francesco Rubino; Hannah Stark; Nathalie Kingston; Rainer Doffinger; Michelle A. Linterman; Nicholas J. Matheson; Aziz Sheikh; I. Sadaf Farooqi; James E. D. Thaventhiran
err分享
err收藏
Network Physiology: How Organ Systems Dynamically Interact网络生理学: 器官系统如何动态交互
err2015-11-10
err0
errOAAI
errRonny P. Bartsch; Kang K. L. Liu; Amir Bashan; Plamen Ch. Ivanov
err分享
err收藏
FSFC: An input filter-based secure framework for smart contract
err2020-03-01
err12
PREAI
errWang, Zeli; Dai, Weiqi; Choo, Kim-Kwang Raymond; Jin, Hai; Zou, Deqing
err分享
err收藏
err分享
err收藏
Lisrel
err2004-10-15
err0
PREAI
errKarl G. Jöreskog
err分享
err收藏
学者 查看更多内容