SRP: An Efficient Runtime Protection Framework for Blockchain-based Smart Contracts
Authors:
- Isra M. AliIAIsra M. Ali
- Noureddine LaslaNLNoureddine Lasla
- Mohamed M. AbdallahMAMohamed M. Abdallah
- Aiman ErbadAEAiman Erbad
Open Access
- 6 May 2023
- journal article
- research article
- Published by Elsevier in Journal of Network and Computer Applications
- Vol. 216
Abstract
No abstract availableKeywords
Funding Information
- Qatar National Library
This publication has 17 references indexed in Scilit:
- A survey on the security of blockchain systemsFuture Generation Computer Systems, 2020
- Off-chaining Models and Approaches to Off-chain Computations2018
- Security Vulnerabilities in Ethereum Smart Contracts2018
- A formal verification tool for Ethereum VM bytecode2018
- MadMax: surviving out-of-gas conditions in Ethereum smart contractsProceedings of the ACM on Programming Languages, 2018
- KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine2018
- Online detection of effectively callback free objects with applications to smart contractsProceedings of the ACM on Programming Languages, 2017
- Making Smart Contracts Smarter2016
- Demystifying Incentives in the Consensus Computer2015
- A Pseudorandom Number Generator with KECCAK Hash FunctionInternational Journal of Computer and Electrical Engineering, 2011