research
∙
08/21/2023
PrAIoritize: Learning to Prioritize Smart Contract Bugs and Vulnerabilities
Smart contract vulnerabilities and bugs have become a key concern for so...
share
research
∙
08/07/2023
Exploring Security Practices in Infrastructure as Code: An Empirical Study
Cloud computing has become popular thanks to the widespread use of Infra...
research
∙
04/13/2023
Smart Contract Upgradeability on the Ethereum Blockchain Platform: An Exploratory Study
Context: Smart contracts are computerized self-executing contracts that ...
research
∙
03/28/2023
On Codex Prompt Engineering for OCL Generation: An Empirical Study
The Object Constraint Language (OCL) is a declarative language that adds...
research
∙
12/20/2022
AutoMESC: Automatic Framework for Mining and Classifying Ethereum Smart Contract Vulnerabilities and Their Fixes
Due to the risks associated with vulnerabilities in smart contracts, the...
research
∙
03/28/2022
A Fly in the Ointment: An Empirical Study on the Characteristics of Ethereum Smart Contracts Code Weaknesses and Vulnerabilities
Context: Smart contracts are computer programs that are automatically ex...
research
∙
12/21/2021
Chat2Code: Towards conversational concrete syntax for model specification and code generation, the case of smart contracts
The revolutionary potential of automatic code generation tools based on ...
research
∙
03/16/2021