Duration 2 weeks
Weekly study 10 hours
Evaluate a range of secure development platforms, standards and methodologies.
In this course, we build upon our work so far and begin exploring ways in which we can measure the success of a system from a functional and security standpoint. We will apply various testing and verification techniques and an appropriate set of tools.
What topics will you cover?
- Software analysis and testing
- Formal verification
Who is the course for?
The course is for MSc Cyber Security students.
Please note that the individuals detailed in the ‘Who will you learn with?’ section below, are current staff members and may be subject to change.