Narcissus: correct-by-construction derivation of decoders and encoders from binary formats B Delaware, S Suriyakarn, C Pit-Claudel, Q Ye, A Chlipala
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019
33 2019 A verified protocol buffer compiler Q Ye, B Delaware
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
20 2019 RHLE: Modular Deductive Verification of Relational Properties R Dickerson, Q Ye, MK Zhang, B Delaware
Asian Symposium on Programming Languages and Systems, 67-87, 2022
8 2022 Oblivious algebraic data types Q Ye, B Delaware
Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2022
6 2022 HACCLE: metaprogramming for secure multi-party computation Y Bao, K Sundararajah, R Malik, Q Ye, C Wagner, N Jaber, F Wang, ...
Proceedings of the 20th ACM SIGPLAN International Conference on Generative …, 2021
5 2021 Taype: A Policy-Agnostic Language for Oblivious Computation Q Ye, B Delaware
Proceedings of the ACM on Programming Languages 7 (PLDI), 1001-1025, 2023
2 2023 Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation Q Ye, B Delaware
Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 1407-1436, 2024
1 2024 RHLE: Modular Deductive Verification of Relational Properties R Dickerson, Q Ye, MK Zhang, B Delaware
arXiv preprint arXiv:2002.02904, 2020
1 2020 HACCLE: An Ecosystem for Building Secure Multi-Party Computations Y Bao, K Sundararajah, R Malik, Q Ye, C Wagner, F Wang, MH Ameri, ...
arXiv preprint arXiv:2009.01489, 2020
1 2020 Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats B Delaware, S Suriyakarn, Q Ye, A Chlipala
arXiv preprint arXiv:1803.04870, 2018
1 2018 Language-Based Techniques for Policy-Agnostic Oblivious Computation Q Ye
Purdue University Graduate School, 2024
2024 A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata Z Zhou, Q Ye, B Delaware, S Jagannathan
arXiv preprint arXiv:2404.01484, 2024
2024 HACCLE: Metaprogramming for Secure Multi-Party Computation--Extended Version Y Bao, K Sundararajah, R Malik, Q Ye, C Wagner, N Jaber, F Wang, ...
arXiv preprint arXiv:2009.01489, 2020
2020