[3 sessions] 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.

Consists of the three sessions:

• 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

3-Part Online Training Series (3 × 2 Hours)

Learn how formal verification is used to mathematically prove the correctness, constant-time behaviour, and memory safety of cryptographic software implementations.

This live online training series focuses on:

• Formal verification fundamentals for software cryptography

• Big-number arithmetic and assembly-level proof targets

• Constant-time verification methodologies

• Proof scripting and exhaustive verification workflows

• TLS and post-quantum cryptographic verification

• Regression, soundness review, and production assurance

Designed for software engineers, security engineers, cryptography developers, and verification specialists working on secure embedded, software, and cryptographic systems.

What You Will Learn

By the end of this series, you will:

• Understand the principles of formal verification in cryptographic software

• Analyse assembly implementations used in modern crypto libraries

• Identify and prove constant-time execution properties

• Apply proof techniques to big-number arithmetic operations

• Extend proofs into TLS and post-quantum cryptographic workflows

• Review proof assumptions, regressions, and trusted computing boundaries

Who Should Attend

• Software Verification Engineers

• Cryptography Engineers

• Embedded Security Engineers

• Firmware Developers

• Cybersecurity & Secure Systems Engineers

• Engineers working on TLS, ECC, RSA, or post-quantum cryptography

Course Structure

Session 1: Foundations & Proof Targets

• Introduction to formal verification concepts

• Big-number arithmetic in cryptographic systems

• Representation of uint64_t software big numbers

• Mapping operations to RSA and ECC workflows

• Reading x86 and ARM assembly implementations

• Identifying proof targets and verification scope

Session 2: Constant-Time Analysis & Core Proofs

• Constant-time security principles

• Timing attack prevention methodologies

• Secret-dependent branches vs conditional moves

• Formal proof engines and proof scripts

• Verifying correctness and memory safety

• Exhaustive proof of core cryptographic operations

Session 3: TLS, Post-Quantum & Production Verification

• TLS verification workflows

• ECDH and ECDSA proof chains

• Post-quantum cryptography verification

• ML-KEM (Kyber) and ML-DSA (Dilithium)

• NTT verification concepts

• Regression, soundness review, and trusted assumptions

Key Benefits

✔ Learn modern formal verification workflows for cryptographic software
✔ Understand exhaustive proof methodologies beyond traditional testing
✔ Verify correctness, timing behaviour, and memory safety
✔ Explore verification for TLS and post-quantum algorithms
✔ Gain practical insight into production-grade cryptographic assurance