In questo modulo sono coperte le più comuni vulnerabilità delle applicazioni web, sia lato front-end che back-end.

In questo modulo sono coperte vulnerabilità che si possono trovare in software scritti con linguaggi a basso livello come C o C++.

In questo modulo si può trovare una introduzione ai metodi crittografici comuni, e come questi possono essere usati nello sviluppo delle applicazioni.

In questo modulo si possono trovare le tecniche di design e analisi del software per garantire la sicurezza dell'applicazione. Sono inoltre coperte le tecniche più comiuni di deployment sicuro.

In questo modulo si può trovare un introduzione al linguaggio di programmazione Rust, e come il suo sistema di tipi particolare ci fornisce delle garanzie e delle proprietà di sicurezza desiderabili.

In questo modulo vengono coperte alcune tecniche di analisi statica in Rust, e come queste ci permettono di dimostrare alcune proprietà di correttezza del codice.