Formal Methods for Security

Education facts

Code: DIT705

Formal methods are mathematical techniques for the specification, design, and verification of software and hardware systems. In the context of security, formal methods provide rigorous tools to model and analyze systems for potential vulnerabilities and ensure compliance with security policies. These methods enable the precise definition of security properties and allow for automated verification to detect flaws that may be overlooked by traditional testing. By applying formal techniques such as model checking, and theorem proving, and using formal specification languages, developers can build systems with provable security guarantees. The course consists of a series of lectures on different formalisms and verification methods that have been developed to reason about security and privacy properties.

Entry requirements

A Bachelor degree in computer science or a related subject.

Education offerings

Each offering has its own dates and conditions. Closed offerings are retained as history and do not mean that a new application is open.

• Formal Methods for Security

  University of Gothenburg

  GÖTEBORG

  Start date: 18 January 2027

  End date: 21 March 2027

  Pace of study: 50 %