Our Lead Formal Verification Engineer Pierre-Yves Strub will be speaking at ACM CCS 2025, Taipei, Taiwan on the 13-17 October 2025. Pierre will be speaking on – “Formally Verified Correctness Bounds for Lattice-Based Cryptography”.
Guilhem Niot, Cryptography Researcher will also be speaking on – Subversion-resilient key-exchange in the post-quantum world.
For more information and the full agenda visit the website.