Secure software development and programming are heavily relying on tool-sets and methods such as Static Application Security Testing (SAST), Dynamic analysis (DAST), and scanning tools.
There are a variety of tool-sets between security and other teams in programming and software development. It increases conflicts and adversely affects secure program and software production. Security tools exponentially increased the duration, and it is necessary to have automated tools.
This is a general topic that a master thesis can focus on sub-topics such as:
- analysis of the existing methods and tools,
- apply formal methods to evaluate and to develop a more secure solution,
- investigation and suggestions on standards for tool selection,
- security automated tools.
Please do not hesitate to contact the supervisors for more information and select the best topic in this area of your interest.