Introduction to artificial intelligence and formal methods in cybersecurity¶

This module covers two topics that are quite different, yet still share several common characteristics. Both artificial intelligence and formal methods

are based on formal languages and complex theories.

have been on the wish list for a long time: the dreams of both artificial intelligence and automated theorem proving date back to the mid-twentieth century.

are both strongly hidden beneath the surface: practitioners—not to mention end users—interact with results such as improved threat detection or verified system integrity, without delving into the underlying processes.

are highly general-purpose methods.

Artificial intelligence is examined from both defensive and offensive perspectives, and its modes of application for these purposes vary greatly. By contrast, formal methods are presented only from a defensive perspective. Attackers would typically use them in much the same way as defenders. Artificial intelligence made a breakthrough into general public awareness in the 2020s, but formal methods are likely to remain hidden for a long time as an aid to the secure construction of critical systems.