Workshop

Elena Bakos Lang and Kevin Henry, NCC Group

QNC building, 200 University Ave. Room 1201, Waterloo 

The security of cryptographic primitives and protocols is inextricably tied to that of the implementations deployed in the real world. Ensuring that these implementations are as secure as possible is thus a problem at the heart of cryptographic security.

This workshop will introduce common classes of cryptographic vulnerabilities, including improper randomness generation, side-channel attacks, flaws in primitives or protocols, and others, and discuss secure coding practices that can help mitigate them, based on our experiences auditing cryptographic code. This discussion will be complemented by a set of practical exercises to provide experience in spotting insecure constructions. Additionally, as implementation quality is often tied to the quality of the source material, we will present a case study on a recent widely implemented threshold signing protocol where ambiguous or unclear presentation in the academic source material has led to multiple critical implementation vulnerabilities.

This workshop is presented by NCC Group Cryptography Services practice in Waterloo, Ontario.

To attend this program please email us at cryptoworks21@uwaterloo.ca by July 17, 2024.

Douglas Stebila, University of Waterloo

QNC building, 200 University Ave. Room 1201, Waterloo 

This workshop will provide an introduction to the Tamarin prover, which is a security protocol verification tool that analyzes cryptographic protocols in a symbolic model and can automatically identify attacks or conclude that certain classes of attacks do not exist. The workshop will include a hands-on exercise using the Tamarin prover.

To attend this program please email us at cryptoworks21@uwaterloo.ca by July 16, 2024.

QNC building, 200 University Ave. Room 0101, Waterloo 

This workshop focuses on encoding quantum information in more than two states.

The main theme is to go beyond binary encodings: from quBits to quDits, where D > 2.

Now is a very interesting time, as we see a lot of experimental progress and new possibilities in this area. This workshop brings together researchers  – both experimentalists and theorists – to explore quDit-based applications in all areas of quantum technology.

The QKD security proof workshop is an annual workshop series focused on technical security proofs. Our focus in the workshop is to facilitate interactions and discussions between participants. 

The Quantum Innovators in Computer Science and Mathematics workshop brings together promising researchers working on theoretical aspects of quantum information and computation in computer science and mathematics. Guests are invited for a three-day conference aimed at exploring the frontier of our field. 

The Quantum Innovators in science and engineering workshop brings together the most promising young researchers in quantum physics and engineering. Guests are invited for a three-day conference aimed at exploring the frontier of our field.

Monday, October 3 QNC 0101
Tuesday, October 4 RAC1 2009
Wednesday, October 5 QNC 0101

We're teaming up with Social Art for a fun night of virtual painting and quantum exploration.

The Quantum Innovators in Computer Science and Mathematics workshop brings together promising researchers working on theoretical aspects of quantum information and computation in computer science and mathematics. 

Talks are open for anyone to attend.

The one-day workshop is the third in a series that brings together researchers at Institut de Recherche en Informatique Fondamentale (IRIF), Université Paris-Diderot and the Institute for Quantum Computing, University of Waterloo. It will feature a full day of talks on recent progress in quantum algorithms and complexity theory, and related areas, made by members of the two institutions, with the idea to foster collaboration.