| Weak Fiat-Shamir Attacks on Modern Proof Systems Q Dao, J Miller, O Wright, P Grubbs 2023 IEEE Symposium on Security and Privacy (SP), 199-216, 2023 | 26 | 2023 |
| Spartan and bulletproofs are simulation-extractable (for free!) Q Dao, P Grubbs Annual International Conference on the Theory and Applications of …, 2023 | 26 | 2023 |
| Multi-party homomorphic secret sharing and sublinear MPC from sparse LPN Q Dao, Y Ishai, A Jain, H Lin Annual International Cryptology Conference, 315-348, 2023 | 23 | 2023 |
| Lossy cryptography from code-based assumptions Q Dao, A Jain Annual International Cryptology Conference, 34-75, 2024 | 8 | 2024 |
| Rowmotion Orbits of Trapezoid Posets QV Dao, J Wellman, C Yost-Wolff, SW Zhang The Electronic Journal of Combinatorics 29 (2), 2022 | 7 | 2022 |
| Non-interactive zero-knowledge from LPN and MQ Q Dao, A Jain, Z Jin Annual International Cryptology Conference, 321-360, 2024 | 5 | 2024 |
| More optimizations to sum-check proving Q Dao, J Thaler Cryptology ePrint Archive, 2024 | 5 | 2024 |
| Constraint-packing and the sum-check protocol over binary tower fields Q Dao, J Thaler Cryptology ePrint Archive, 2024 | 4 | 2024 |
| Extended Nestohedra and their Face Numbers Q Dao, C Meng, J Wellman, Z Xu, C Yost-Wolff, T Yu arXiv preprint arXiv:1912.00273, 2019 | 1 | 2019 |
| Verifying Jolt zkVM Lookup Semantics C Kwan, Q Dao, J Thaler Cryptology ePrint Archive, 2024 | | 2024 |
Aayush JainAssistant Professor, Carnegie Mellon UniversityVerified email at andrew.cmu.edu