Several learning-based vulnerability detection methods have been proposed to assist
developers during the secure software development life-cycle. In particular, recent learning …

In contemporary software development, the widespread use of indirect calls to achieve
dynamic features poses challenges in constructing precise control flow graphs (CFGs) …

Ethereum smart contracts are executable programs deployed on a blockchain. Once
deployed, they cannot be updated due to their inherent immutability. Moreover, they often …

Unsupervised translation of Programming Languages has seen a recent boom because of
the need for legacy systems to port to a much more efficient processing system. This has …

Detecting defects and vulnerabilities in the early stage has long been a challenge in
software engineering. Static analysis, a technique that inspects code without execution, has …

This paper introduces CertGraph, a knowledge graph-based approach designed to
streamline security certification which integrates evidence from multiple sources. Unlike …

Software modularisation is a pivotal facet within software engineering, seeking to optimise
the arrangement of software components based on their interrelationships. Despite …