Waterloo researchers achieve breakthrough in protecting qubits during quantum measurements
The Institute for Quantum Computing (IQC) is excited to welcome back Luke Schaeffer as Assistant Professor this September, with the Cheriton School of Computer Science as his home department.
Dynamic nuclear polarization and nanometer-scale magnetic resonance imaging creates unprecedented opportunities to study biological structures.
While truly functional quantum computers are still in development as a future technology, this does not mean that researchers cannot take advantage of quantum properties in the nearer term.
Everett was awarded for his creative insights into the application of relativistic quantum information to determine the temperature of black holes.
Discover how mathematics, physics, computer science, engineering, and more combine into one of the most exciting topics in modern science – quantum information – at the Quantum School for Young Students (QSYS).
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.
Modular software brings together a variety of expertise to create a new method to realistically model and analyze quantum cryptography.
QNC building, 200 University Ave. Room 1201, Waterloo
Realistic models of optical detection setups are crucial for numerous quantum information tasks. For instance, squashing maps allow for more realistic descriptions of the detection setups by accounting for multiphoton detections. To apply squashing maps, one requires a population estimation of multiphoton subspaces of the input to the detection setup. So far, there has been no universal method for those subspace estimations for arbitrary detection setups.
We introduce a generic subspace estimation technique applicable to any passive linear optical setup, accounting for losses and dark counts. The resulting bounds are relevant for adversarial tasks such as QKD or entanglement verification. Additionally, this method enables a generic passive detection setup characterization, providing the necessary measurement POVM for e.g. QKD security proofs.