Abstract Amazon Web Services (AWS) is a cloud computing services provider that has made
significant investments in applying formal methods to proving correctness of its internal …

Developers face a challenging problem with no clear solution. Modern software breaches
can wreak havoc on businesses and individuals alike. With code vulnerabilities being a …

In the study of software security many factors must be considered. Once venturing beyond
the simplest of laboratory experiments, the researcher is obliged to contend with …

The use of prototypes in requirements engineering has widely known benefits since they
actively involve the stakeholders in the development process. Web Augmentation …

Software security is an area of growing concern, with over 192,000 known vulnerabilities in
public software at the time of writing. Many aids to secure coding exist. Assessing the …

Security breaches happen on a daily basis and are a serious threat to our society. The
average cost of a data breach in 2021 has achieved the highest record in the 17-year history …

As security becomes more relevant for many com-panies, the popularity of static program
analysis (SPA) tools is increasing. In this paper, we target the use of SPA tools among …

The societal consequences of insecure software are extensive. Over the past few years
ransomware attacks have caused financial and operational damage to health services [161] …

Recent years have witnessed a surge in critical software security issues, impacting millions
of people and causing billions of dollars in damages [1]. In July of 2024, a faulty CrowdStrike …

This thesis presents a comprehensive evaluation of general-purpose Static Application
Security Testing (SAST) tools available to the general public and offering free versions. The …