2023 · 21 citations · 9 references
ComputingComputer ScienceCybersecurityCryptographyProgramming LanguagesSecurity ArchitectureAccess ControlAuthorizationData SecurityPolicy-based Access ControlSecurity ControlsSmart ContractsApplication LayerPrivacy-preserving Smart ContractsSmart Contract ModificationSmart Contract Programming LanguagesSmart Contract SecuritySoftware Protection MechanismsSpecification-based SecurityUser-defined Functions
A smart contract is a piece of application-layer code running on blockchain ledgers and it provides programmatic logic via transaction-based execution of pre-defined functions. Smart contract functions are by default invokable by any party. To safeguard them, the mainstream smart contract language, i.e., Solidity of the popular Ethereum blockchain, proposed a unique language-level keyword called “modifier,” which allows developers to define custom function access control policies beyond the traditional “protected” and “private” modifiers in classic programming languages.
9
Making Smart Contracts Smarter
Loi Luu, Duc-Hiep Chu, Hrishi Olickel et al. · 2016 · 2.2K citations
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen et al. · 2018 · 1K citations
ZEUS: Analyzing Safety of Smart Contracts
Sukrit Kalra, Seep Goel, Mohan Dhawan et al. · 2018 · 710 citations · Full text
ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts
Christof Ferreira Torres, Antonio Ken Iannillo, Arthur Gervais et al. · 2021 · 145 citations · Full text