-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
202 lines (158 loc) · 9.14 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
<!DOCTYPE html>
<!--
Plain-Academic by Vasilios Mavroudis
Released under the Simplified BSD License/FreeBSD (2-clause) License.
https://github.com/mavroudisv/plain-academic
-->
<html lang="en">
<head>
<title>Quang Dao</title>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/css/bootstrap.min.css">
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.0/jquery.min.js"></script>
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.6/js/bootstrap.min.js"></script>
<link href='https://fonts.googleapis.com/css?family=Oswald:700' rel='stylesheet' type='text/css'>
</head>
<body>
<!-- Navigation -->
<nav class="navbar navbar-inverse navbar-static-top" role="navigation">
<div class="container">
<div class="navbar-header">
<button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#bs-example-navbar-collapse-1">
<span class="sr-only">Toggle navigation</span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</button>
</div>
<!-- Collect the nav links, forms, and other content for toggling -->
<div class="collapse navbar-collapse" id="bs-example-navbar-collapse-1">
<ul class="nav navbar-nav">
<li><a href="index.html">Home</a></li>
<li><a href="#publications">Publications</a></li>
<!-- <li><a href="#teaching">Teaching</a></li> -->
<!-- <li><a href="#talks">Talks</a></li> -->
<li><a href="CV/CV.pdf">CV</a></li>
</ul>
</div>
</div>
</nav>
<!-- Page Content -->
<div class="container">
<div class="row">
<!-- Entries Column -->
<div class="col-md-8">
<!-- Main Image -->
<img class="img-responsive" src="photo.jpg" width="200" alt><br>
<div style="margin-top:3%; text-align:justify;">
<p>I am a third-year PhD student at <a href="https://www.cs.cmu.edu/">CMU</a>, working with <a href="https://sites.google.com/view/aayushjain/home/">Aayush Jain</a> and <a href="https://wahby.net/">Riad Wahby</a>. Before that, I got my MA in Math at the <a href="https://umich.edu/">University of Michigan</a>, where I worked with <a href="https://web.eecs.umich.edu/~paulgrub/">Paul Grubbs</a>. I did my undergrad in Math & CS at Columbia University.</p>
<p><b>Research Interests:</b> My research focuses on guaranteeing the security of zero-knowledge proof systems in practice, and building advanced cryptographic primitives that are secure against quantum computers.</p>
<p>My research is generously supported by the <a href="https://www.quadfellowship.org/"><b>Quad Fellowship</b></a>, the <a href="https://www.cylab.cmu.edu/news/2024/09/26-presidential-fellows.html"><b>CyLab Presidential Fellowship</b></a>, and funding from the <a href="https://verified-zkevm.org/">Ethereum Foundation</a>.</p>
<!-- <p><b>Recent Activities:</b> I will be an intern at <a href="https://a16zcrypto.com/">a16z crypto</a> this summer!</p> -->
<!--<p>In the past, I have studied algebraic geometry and did some research on algebraic combinatorics.</p>-->
</div>
</div>
<!-- Contact Info on the Sidebar -->
<div class="col-md-4">
<div style="font-family: 'Oswald', sans-serif; font-size: 32px;"><b>Quang Dao</b></div><br>
<p><b><a href="mailto:[email protected]">[email protected]</a></b><br>
<p>
Carnegie Mellon University<br>
Pittsburgh, PA <br>
</p>
</div>
<!-- Links on the Sidebar -->
<div class="col-md-4" style="margin-top:2%">
<dd><a href="https://scholar.google.com/citations?user=pN642RkAAAAJ&hl=en">Google Scholar</a></dd>
<dd><a href="https://twitter.com/QuangVDao">Twitter</a></dd>
<dd><a href="https://github.com/quang-dao">LinkedIn</a></dd>
</div>
<div class="col-md-8">
<h2 id="preprints">Preprints</h2>
<ul>
<li class="preprint" words="snarks,sum-check-protocol,optimization,zero-check,equality-polynomial"><a href="https://eprint.iacr.org/2024/1210">More Optimizations to Sum-Check Proving</a>
<br>
Quang Dao, Justin Thaler, <i>ePrint 2024.</i></li>
</ul>
<ul>
<li class="preprint" words="snarks,sum-check-protocol,binary-tower-fields,constraint-packing"><a href="https://eprint.iacr.org/2024/1038">Constraint-Packing and the Sum-Check Protocol over Binary Tower Fields</a>
<br>
Quang Dao, Justin Thaler, <i>ePrint 2024.</i></li>
</ul>
</div>
<!-- Publications -->
<div class="col-md-8">
<h2 id="publications">Publications</h2>
<p align="left"><font size="2">(* = first author(s). The rest are alphabetical order)</font></p>
<ul>
<li class="paper" words="jolt,lasso,formal-verfication,acl2,zkvm,risc-v,snarks"><a href="https://eprint.iacr.org/2024/1841">Verifying Jolt zkVM Lookup Semantics</a>
<br>
Carl Kwan*, Quang Dao*, Justin Thaler, <i>Financial Cryptography 2025.</i></li>
</ul>
<ul>
<li class="paper" words="code-based-cryptography,lossy-trapdoor-functions,lpn,dense-sparse-lpn,szk"><a href="https://eprint.iacr.org/2024/175">Lossy Cryptography from Code-Based Assumptions</a>
<br>
Quang Dao, Aayush Jain, <i>CRYPTO 2024. <b>Best Paper from Early Career Researchers!</b></i></li>
</ul>
<ul>
<li class="paper" words="nizk,correlation-intractability,lpn,mq,post-quantum"><a href="https://eprint.iacr.org/2024/1254">Non-Interactive Zero-Knowledge from LPN and MQ</a>
<br>
Quang Dao, Aayush Jain, Zhengzhong Jin, <i>CRYPTO 2024.</i></li>
</ul>
<ul>
<li class="paper" words="homomorphic-secret-sharing,hss,sublinear-mpc,lpn,sparse-lpn"><a href="https://eprint.iacr.org/2023/1593.pdf">Multi-party Homomorphic Secret Sharing and Sublinear MPC from Sparse LPN</a>
<br>
Quang Dao, Yuval Ishai, Aayush Jain, Huijia Lin, <i>CRYPTO 2023.</i></li>
</ul>
<ul>
<li class="paper" words="fiat-shamir,attacks,snarks"><a href="https://eprint.iacr.org/2023/691">Weak Fiat-Shamir Attacks on Modern Proof Systems</a>
<br>
Quang Dao*, Jim Miller*, Opal Wright, Paul Grubbs, <i>IEEE S&P 2023. <b>Distinguished Paper Award!</b></i></li>
</ul>
<ul>
<li class="paper" words="bulletproofs,spartan,snarks,sim-ext"><a href="https://eprint.iacr.org/2023/494">Spartan and Bulletproofs are simulation-extractable (for free!)</a>
<br>
Quang Dao, Paul Grubbs, <i>EUROCRYPT 2023.</i></li>
</ul>
<ul>
<li class="paper" words="rowmotion,combinatorics"><a href="https://arxiv.org/abs/2002.04810">Rowmotion Orbits of Trapezoid Posets</a> Quang Dao, Julian Wellman, Calvin Yost-Wolff, Sylvester W. Zhang, <i>The Electronic Journal of Combinatorics (2022): P2-29.</i></li>
</ul>
</div>
<!-- Miscellaneous -->
<div class="col-md-8">
<h2 id="misc">Miscellaneous</h2>
<ul>
<li class="misc" words="nestohedra,combinatorics"><a href="https://arxiv.org/abs/1912.00273">Extended Nestohedra and their Face Numbers</a> Quang Dao, Christina Meng, Julian Wellman, Zixuan Xu, Calvin Yost-Wolff, Teresa Yu, <i>preprint</i></li>
</ul>
<ul> In Summer 2021 at Michigan, I taught a <a href="http://www-personal.umich.edu/~malloryd/minicourses2021.html">grad student minicourse</a> on Schubert calculus.
<a href="schubert-calculus-minicourse/day1.pdf">Day 1</a>
<a href="schubert-calculus-minicourse/day2.pdf">Day 2</a>
<a href="schubert-calculus-minicourse/day3.pdf">Day 3</a>
<a href="schubert-calculus-minicourse/day4.pdf">Day 4</a>
<a href="schubert-calculus-minicourse/day5.pdf">Day 5</a>
</ul>
</div>
<!-- Talks -->
<!-- <div class="col-md-8">
<h2 id="talks">Talks</h2>
<ul> Spartan and Bulletproofs are simulation-extractable (for free!)</ul>
<ul> Slides</ul>
<ul> CMU Crypto Seminar</ul>
</div> -->
<!-- Teaching -->
<!-- <div class="col-md-8">
<h2 id="teaching">Teaching</h2>
<ul> Fall 2023: </ul>
<ul> Fall 2020 - Fall 2021: <a href="http://www.math.lsa.umich.edu/courses/115">Math 115</a>.<br> </ul>
</div> -->
<!-- Miscellaneous -->
<!-- <div class="col-md-8">
<h2 id="misc">Miscellaneous</h2> -->
<!-- </div> -->
</div>
<!-- /.container -->
<!-- Other people may like it too!
<a style="color:#b5bec9;font-size:0.8em; float:right;" href="https://github.com/mavroudisv/plain-academic">Plain Academic</a> -->
</body>
</html>