Browsing Mathematics (Faculty of) by Supervisor "Menezes, Alfred"
Now showing items 1-8 of 8
-
Digital Signature Schemes Based on Hash Functions
(University of Waterloo, 2017-04-19)Cryptographers and security experts around the world have been awakened to the reality that one day (potentially soon) large-scale quantum computers may be available. Most of the public-key cryptosystems employed today on ... -
Enabling Post-Quantum Signatures in DNSSEC: One ARRF at a time
(University of Waterloo, 2022-12-19)The Domain Name System Security Extensions (DNSSEC) provide authentication of DNS responses using digital signatures. DNS relies on UDP as its primary delivery method which imposes several constraints, with the most notable ... -
New Design and Analysis Techniques for Post-Quantum Cryptography
(University of Waterloo, 2022-09-16)Due to the threat of scalable quantum computation breaking existing public-key cryptography, interest in post-quantum cryptography has exploded in the past decade. There are two key aspects to the mitigation of the quantum ... -
Non-Constructivity in Security Proofs
(University of Waterloo, 2018-09-10)In the field of cryptography, one generally obtains assurances for the security of a cryptographic protocol by giving a reductionist security proof, which is comprised of a reduction from breaking a mathematical problem ... -
On the effectiveness of isogeny walks for extending cover attacks on elliptic curves
(University of Waterloo, 2016-08-23)Cryptographic systems based on the elliptic curve discrete logarithm problem (ECDLP) are widely deployed in the world today. In order for such a system to guarantee a particular security level, the elliptic curve selected ... -
Quantum Cost Models for Cryptanalysis of Isogenies
(University of Waterloo, 2019-05-01)Isogeny-based cryptography uses keys large enough to resist a far-future attack from Tani’s algorithm, a quantum random walk on Johnson graphs. The key size is based on an analysis in the query model. Queries do not ... -
Signature Schemes in the Quantum Random-Oracle Model
(University of Waterloo, 2017-04-25)A signature scheme is a fundamental component in modern digital communication. It allows for authenticated messages, without which it would be nearly impossible to ensure security when using most modern technologies. ... -
Worst-Case to Average-Case Reductions for the SIS Problem: Tightness and Security
(University of Waterloo, 2019-07-30)We present a framework for evaluating the concrete security assurances of cryptographic constructions given by the worst-case SIVP_γ to average-case SIS_{n,m,q,β} reductions. As part of this analysis, we present the tightness ...