"Formally Verifying Everybody's Cryptography" by Mike Dodds, Joey Dodds (Strange Loop 2022)

Strange Loop·50 min

• STRANGE LOOP
• Blue Team
• Date: 2022
• Location: Strange Loop

Presents expert Software Developers Approach to Error by Marian Petre (Strange Loop 2022) and evaluates key implications for security practitioners.

Strange Loop·1 hr 16 min

• STRANGE LOOP
• Blue Team
• Date: 2022
• Location: Strange Loop

Provides the Early Days of id Software: Programming Principles by John Romero (Strange Loop 2022) and evaluates key implications for security practitioners.

Strange Loop·43 min

• STRANGE LOOP
• Blue Team
• Date: 2022
• Location: Strange Loop

Provides stop Writing Dead Programs by Jack Rusher (Strange Loop 2022) and evaluates key implications for security practitioners.