Browsing Computer Science by Supervisor "Stebila, Douglas"
Now showing items 1-4 of 4
-
Efficient Oblivious Database Joins
(University of Waterloo, 2020-12-10)A major algorithmic challenge in designing applications intended for secure remote execution is ensuring that their execution is oblivious to their inputs, in the sense that their memory access patterns do not leak sensitive ... -
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 ... -
ProofFrog: A Tool For Verifying Game-Hopping Proofs
(University of Waterloo, 2024-04-15)Cryptographic proofs allow researchers to provide theoretical guarantees on the security that their constructions provide. A proof of security can completely eliminate a class of attacks by potential adversaries. Human ...