556 citations · 1.6k across the 16 of their papers we have counts for
Showing 2016 · quant-phShow all
3 papers · 2 filters
quant-ph2016★ 7 cited
Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3
Matthew Amy, Olivia Di Matteo, Vlad Gheorghiu +3
We investigate the cost of Grover's quantum search algorithm when used in the context of pre-image attacks on the SHA-2 and SHA-3 families of hash functions. Our cost model assumes…
quant-ph2016★ 47 cited
Verified compilation of space-efficient reversible circuits
Matthew Amy, Martin Roetteler, Krysta Svore
The generation of reversible circuits from high-level code is an important problem in several application domains, including low-power electronics and quantum computing. Existing t…
quant-ph2016★ 47 cited
T-count optimization and Reed-Muller codes
Matthew Amy, Michele Mosca
In this paper, we study the close relationship between Reed-Muller codes and single-qubit phase gates from the perspective of -count optimization. We prove that minimizing the n…