Formal Methods for Security

Utbildningsfakta

Kod: 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.

Behörighet

A Bachelor degree in computer science or a related subject.

Utbildningstillfällen

Varje tillfälle har egna datum och villkor. Avslutade tillfällen behålls som historik och innebär inte att en ny ansökan är öppen.

• Formal Methods for Security

  University of Gothenburg

  GÖTEBORG

  Startdatum: 18 januari 2027

  Slutdatum: 21 mars 2027

  Studietakt: 50 %