To achieve trust and continuity in the smart contracts-based business process execution, the
verification of such smart contracts is mandatory. A blockchain-based smart contract should …

The capability of executing so-called smart contracts in a decentralised manner is one of the
compelling features of modern blockchains. Smart contracts are fully fledged programs …

This paper proposes LATTE, the first static binary taint analysis that is powered by a large
language model (LLM). LATTE is superior to the state of the art (eg, Emtaint, Arbiter …

Blockchain has attracted widespread attention since its inception and one of the special
technologies is smart contracts. Smart contracts are programs on blockchain that act as …

Integer overflows have threatened software applications for decades. Thus, in this paper, we
propose a novel technique to provide automatic repairs of integer overflows in C source …

In the past years, the CWE-190 integer overflow led to many vulnerabilities. Program
verification techniques such as Abstract Interpretation can show that no such bug is present …

Integer overflow presents a major source of security threats to information systems.
However, current solutions are less effective in detecting integer overflow vulnerabilities …

Integer overflow (IO) vulnerabilities can be exploited by attackers to compromise computer
systems. In the mean time, IOs can be used intentionally by programmers for benign …

Subtle flaws in integer computations are a prime source for exploitable vulnerabilities in
system code. Unfortunately, even code shown to be secure on one platform can be …

Integer arithmetic errors are a major source of software vulnerabilities. Since they rarely
cause crashes, they are unlikely found by fuzzers without special techniques to trigger them …