Security by Design with Formal Methods is a 4-hour course.
What you will learn
By the end of the course, you will be able to:
- describe the principles of Security by Design, their motivation, impact, and common trade-offs
- identify the relevant advantages and disadvantages of using different formal methods in a software project
- develop small projects using formal specification tools.
How the course adds value to your organisation
By incorporating security considerations from the beginning of any software development project, you minimise the risk of vulnerabilities and weaknesses creeping into the final product. It saves you both time and money as you thereby minimise your resource consumption on fixing security breaches.
Your profile
The course is intended for programmers, software architects, product managers and technology/innovation managers with some experience in software development.
The course covers the following topics:
- Introduction to DevSecOps
- Continuous Integration and Continuous Deployment Pipeline
- Automated checks and tests
- Coordination and deployment
The course is taught in English.
The course is taught by Associate Professor Jacopo Mauro from the Department of Mathematics and Computer Science.
His research revolves around a wide range of issues in cyber security, for example Cloud Computing, DevOps, Formal Methods, and Optimization.
DKK 3,000 exclusive of VAT.
Do you have any questions?
Contact Study Administrator Michael Christensen by e-mail at michr@sdu.dk or by phone at+45 6550 2542.