The following pages link to Matthew Amy (Q1698645):
Displaying 9 items.
- Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3 (Q1698647) (← links)
- Verified compilation of space-efficient reversible circuits (Q2164204) (← links)
- Complexity of reversible circuits and their quantum implementations (Q2634672) (← links)
- (Q3384926) (← links)
- (Q3385623) (← links)
- T-Count Optimization and Reed–Muller Codes (Q5224110) (← links)
- Sized Types for Low-Level Quantum Metaprogramming (Q5237215) (← links)
- Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes (Q6200528) (← links)
- Exact synthesis of multiqubit Clifford-cyclotomic circuits (Q6637603) (← links)
