Skip to main content
Courses and continuing education

Security by Design using Formal Methods

Marco Peressotti

Security by Design is a software development approach that integrates security tactics and patterns from the beginning of software design to build security into the system from the ground up. Formal methods for software specification and verification are a host of mathematical techniques and tools that can support the design and development of secure systems following the security by design approach.

This course provides a high-level introduction to security by design using formal methods, including case studies and experience reports from industry. The fundamentals of this approach are illustrated using industry-level tools for formal software specification like TLA+ and its toolbox for model-checking and machine-checked proofs.

Got a question?

If you want to know more about the course, please call or write us.

Read more on how to reach us

Department of Mathematics and Computer Science

  • Campusvej 55
  • Odense M - DK-5230
  • Phone: +45 6550 2387

Last Updated 09.08.2023