This blogpost serves as a gentle introduction to a widely used security model for analyzing real-world post-quantum cryptosystems, including the recent NIST standards, called the "quantum random oracle model".

This blog post gives an overview of the area of formally verified cryptography and SandboxAQ's activities in this area.

This blog post describes the main idea of each of our three papers that have been accepted at CRYPTO 2024.

This blogpost discusses the Real World PQC workshop we hosted in March 2024 in Toronto, followed by our teams attendance and participation at RSA in May.

This blogpost describes the papers, presentations, and attendees from the SandboxAQ cybersecurity group at the IACR flagship conference Eurocrypt 2024.

A blog post from our attendence and participation at the 5th NIST PQC Standardization conference which took place on April 10-12 2024 in Maryland, USA

This post explains the concept of federated learning in cross-silo settings and its potential use-cases for network security applications.

This post gives a brief explanation of our research paper about attestation in FIDO2.

A walkthrough of how we implemented TurboTLS using Sandwich, and how you can try it out for yourself.

This blogpost describes work that encoded a hard lattice problem, $K$-DSP, into a quantum Hamiltonian, with implications for lattice cryptography.