Formal Verification in Software for Cryptographic Systems | Part 1: Formal Verification in Software for Cryptographic Systems

We offer 50% discount to students, please complete this form to avail discount.

This session will be recorded and will be available to all registrants 1 week post-session.

This is a part of a 3-session series:

• 24 August 2026 - Formal Verification in Software for Cryptographic Systems
• 25 August 2026 - Constant-Time Analysis & Core Proofs
• 26 August 2026 - TLS, Post-Quantum & Production Verification

REGISTRATION FOR ALL 3 SESSIONS IS AT $100 ONLY.

Duration: 2 Hours | Live Online

Overview

Learn the foundations of formal verification in software cryptography, including big-number arithmetic, cryptographic operations, and assembly-level proof targets.

Topics Covered

• Introduction to software formal verification

• Big-number arithmetic fundamentals

• RSA and ECC operation mapping

• Understanding uint64_t array representations

• Reading x86 and ARM assembly

• Identifying formal proof targets

• Verification scope and assumptions