🎟 Cambridge Wireless members can get 20% discount by using the code: Cw20%Dc

Learn how formal verification is used to mathematically prove the correctness, constant-time behaviour, and memory safety of cryptographic software implementations. This live, online 3-part training series takes you through software formal verification fundamentals, CPU assembly targets, constant-time analysis, and production assurance for next-generation cryptographic standards.

👥 Who Should Attend:

• Software Verification Engineers & Cryptography Engineers

• Embedded Security Engineers & Firmware Developers

• Cybersecurity & Secure Systems Engineers

• Engineering teams working on TLS, ECC, RSA, or post-quantum algorithms

---------------------------------------------------------

📚 SERIES BREAKDOWN:

---------------------------------------------------------

🔹 Part 1: Formal Verification in Software for Cryptographic Systems

📅 Monday, 24 August 2026 | 12:00 - 14:00 BST

Focuses on big-number arithmetic, uint64_t representations, RSA/ECC operation mapping, and targeting ARM/x86 assembly-level proofs.

👉    [Click here to register for Part 1]

🔹 Part 2: Constant-Time Analysis & Core Proofs

📅 Tuesday, 25 August 2026 | 12:00 - 14:00 BST

Covers timing attack prevention, secret-dependent branches vs conditional moves, and writing formal proof scripts for core crypto operations.

👉   [Click here to register for Part 2]

🔹 Part 3: TLS, Post-Quantum & Production Verification

📅 Wednesday, 26 August 2026 | 12:00 - 14:00 BST

Explores TLS workflows, ECDH/ECDSA proof chains, ML-KEM (Kyber) and ML-DSA (Dilithium) post-quantum verification, and production regression.

👉   [Click here to register for Part 3]

---------------------------------------------------------

💡 Key Takeaways across the Series:

• Understand the principles of formal verification in cryptographic software.

• Analyze and target assembly implementations used in modern cryptographic libraries.

• Identify, script, and prove constant-time execution properties to prevent timing attacks.

• Securely extend proofs to TLS and post-quantum (Kyber/Dilithium) cryptographic workflows.

• Audit proof assumptions, regressions, and trusted computing boundaries.

💰 Pricing & Bundles:

• Single Part Ticket: $60 (or $48 with code Cw20%Dc)

• Complete Series Bundle (All 3 Parts): $150 (Be sure to apply code Cw20%Dc for an extra 20% off)

Format: Live Online (Microsoft Teams)

Duration: 3 Days Total | 2 Hours per Day (12:00 PM - 2:00 PM BST)