Cover Image

Vulnerability anti-patterns in Solidity: Increasing smart contracts security by reducing false alarms

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Oss, Tommaso, Budde, Carlos E.
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security Computational Engineering, Finance, and Science Software Engineering K.6.3; J.m
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Between Green Hills and Green Bills: Unveiling the Green Shades of Sustainability and Burden Shifting through Multi-Objective Optimization in Swiss Energy System Planning
by: Schnidrig, Jonas, et al.
Published: (2024)

iRoCo: Intuitive Robot Control From Anywhere Using a Smartwatch
by: Weigend, Fabian C, et al.
Published: (2024)

Anytime, Anywhere: Human Arm Pose from Smartwatch Data for Ubiquitous Robot Control and Teleoperation
by: Weigend, Fabian C, et al.
Published: (2023)

Chasing the Timber Trail: Machine Learning to Reveal Harvest Location Misrepresentation
by: Sarkar, Shailik, et al.
Published: (2025)

Forecasting the risk of software choices: A model to foretell security vulnerabilities from library dependencies and source code evolution
by: Budde, Carlos E., et al.
Published: (2024)

Pessimistic asynchronous sampling in high-cost Bayesian optimization
by: Volk, Amanda A., et al.
Published: (2024)

Designing multi-model conversational AI financial systems: understanding sensitive values of women entrepreneurs in Brazil
by: Candello, Heloisa, et al.
Published: (2024)

Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues
by: Cipollone, Daniele, et al.
Published: (2025)

Implementing AI Bill of Materials (AI BOM) with SPDX 3.0: A Comprehensive Guide to Creating AI and Dataset Bill of Materials
by: Bennet, Karen, et al.
Published: (2025)

Semantic Zone based 3D Map Management for Mobile Robot
by: Yun, Huichang, et al.
Published: (2025)

Enhancing the prediction of publications' long-term impact using early citations, readerships, and non-scientific factors
by: Abramo, Giovanni, et al.
Published: (2025)

DriveSimQuest: A VR Driving Simulator and Research Platform on Meta Quest with Unity
by: Chidambaram, Nishanth, et al.
Published: (2025)

FuzzDistill: Intelligent Fuzzing Target Selection using Compile-Time Analysis and Machine Learning
by: Upadhyay, Saket
Published: (2024)

Virtualization-based Penetration Testing Study for Detecting Accessibility Abuse Vulnerabilities in Banking Apps in East and Southeast Asia
by: Minn, Wei, et al.
Published: (2026)

BoAT v2 -- A Web-Based Dependency Annotation Tool with Focus on Agglutinative Languages
by: Akkurt, Salih Furkan, et al.
Published: (2022)

ZTD$_{JAVA}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies
by: Amusuo, Paschal C., et al.
Published: (2023)

Albank -- a case study on the use of ethereum blockchain technology and smart contracts for secure decentralized bank application
by: Sherifi, Shkelqim
Published: (2026)

Incidents During Microservice Decomposition: A Case Study
by: Eldenk, Doğaç, et al.
Published: (2025)

A Never-Ending Story: Revisiting Requirements Major Misunderstandings
by: Leite, Julio Cesar
Published: (2025)

Towards an Incident Management Framework in Proprietary Software Ecosystems
by: Costa, L. A., et al.
Published: (2024)

Understanding the Effectiveness of LLMs in Automated Self-Admitted Technical Debt Repayment
by: Sheikhaei, Mohammad Sadegh, et al.
Published: (2025)

Detecção de Conflitos Semânticos com Testes Gerados por LLM
by: Barbosa, Nathalia, et al.
Published: (2025)

Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement
by: Yang, Zhaorui, et al.
Published: (2025)

Small is Beautiful: A Practical and Efficient Log Parsing Framework
by: Wang, Minxing, et al.
Published: (2026)

TrajAudit: Automated Failure Diagnosis for Agentic Coding Systems
by: Wang, Minxing, et al.
Published: (2026)

EpiDroid: Dependency-Guided Recomposition for Deep State Discovery in Mobile GUI Testing
by: Song, Jiahui, et al.
Published: (2026)

Ten simple rules for PIs to integrate Research Software Engineering into their research group
by: Allen, Stuart M., et al.
Published: (2025)

Leveraging Synthetic Data for Question Answering with Multilingual LLMs in the Agricultural Domain
by: Kaur, Rishemjit, et al.
Published: (2025)

From PhysioNet to Foundation Models -- A History and Potential Futures
by: Clifford, Gari D.
Published: (2026)

Integrating DAST in Kanban and CI/CD: A Real World Security Case Study
by: Thool, Arpit, et al.
Published: (2025)

Integrated Water Resource Management in the Segura Hydrographic Basin: An Artificial Intelligence Approach
by: Otamendi, Urtzi, et al.
Published: (2024)

Building music with Lego bricks and Raspberry Pi
by: Barbancho, Ana M., et al.
Published: (2024)

AI Observability for Developer Productivity Tools: Bridging Cost Awareness and Code Quality
by: Bhati, Happy, et al.
Published: (2026)

RSMM: A Framework to Assess Maturity of Research Software Project
by: Deekshitha, et al.
Published: (2024)

Structural and Connectivity Patterns in the Maven Central Software Dependency Network
by: Ogenrwot, Daniel, et al.
Published: (2025)

Design and Evaluation of a Scalable Data Pipeline for AI-Driven Air Quality Monitoring in Low-Resource Settings
by: Sserujongi, Richard, et al.
Published: (2025)

Mapping the Challenges of HCI: An Application and Evaluation of ChatGPT for Mining Insights at Scale
by: Oppenlaender, Jonas, et al.
Published: (2023)

IXAII: An Interactive Explainable Artificial Intelligence Interface for Decision Support Systems
by: Speckmann, Pauline, et al.
Published: (2025)

Streamlining Security Vulnerability Triage with Large Language Models
by: Torkamani, Mohammad Jalili, et al.
Published: (2025)

FAIRSECO: An Extensible Framework for Impact Measurement of Research Software
by: Deekshitha, et al.
Published: (2024)