-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
166 lines (155 loc) · 8.1 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
<?xml version="1.0" encoding="utf-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<link rel="stylesheet" href="style.css" />
<link rel="icon" type="image/png" href="img/phan.png" />
<!-- <link rel="icon" type="image/png" href="http://www.cmu.edu/favicon.ico" /> -->
<title>Quoc-Sang Phan</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<meta name="Description" content="Homepage of Quoc-Sang Phan" />
<meta name="Keywords" content="Quoc-Sang Phan, Quoc Sang Phan, Phan Quoc Sang, Phan Quốc Sáng" />
<meta name="revisit-after" content="3 days" />
<meta name="robots" content="all" />
<meta http-equiv="Content-Language" content="en" />
<meta name="revisit-after" content="3 days" />
<meta name="robots" content="all" />
<meta name="msvalidate.01" content="B53C41DAA37EDDDC7F4954192225C54A" />
<script type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-26786057-1']);
_gaq.push(['_trackPageview']);
(function() {
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
})();
</script>
</head>
<body>
<table cellspacing="10">
<tr>
<td>
<img src="img/sang.jpg" alt="sang" width="130"/>
</td>
<td>
<h2><b>Sang Phan</b></h2>
<p>(in Vietnamese: Phan Quốc Sáng)</p>
<p>Software Engineer at Facebook</p>
<img src="img/email.png" alt="email"/>
</p>
</td>
</tr>
</table>
I work at the WhatsApp security team in Menlo Park, applying static/dynamic analysis to improve software security. <!--More work experience available on my <a href="https://www.linkedin.com/in/qsphan/">Linkedin profile</a>.-->
<div>
<h3>Research</h3>
<ul>
<li>Research interests: Software Security, Static Analysis, Fuzzing, Symbolic Execution</li>
<li>Previous project: <a href="http://sv.cmu.edu/research/cybersecurity/ISSTAC.html">Integrated Symbolic Execution for Space-Time Analysis of Code</a></li>
</ul>
</div>
<div>
<h3>Publications</h3>
See also my personal pages at <a href="http://scholar.google.co.uk/citations?user=4IkvERIAAAAJ&hl=en">Google Scholar</a>, or at <a href="https://dblp.uni-trier.de/pers/hd/p/Phan:Quoc=Sang">DBLP</a>, or at <a href="http://dl.acm.org/author_page.cfm?id=81551144956">ACM</a>.
<ul>
<li><a href="papers/sead20.pdf">Using Dynamically Inferred Invariants to Analyze Program Runtime Complexity</a>. SEAD 2020.<br/>
ThanhVu Nguyen, Didier Ishimwe, Alexey Malyshev, Timos Antonopoulos, and <b>Quoc-Sang Phan</b>.
</li>
<li><a href="https://arxiv.org/pdf/1907.05637.pdf">Concolic Testing Heap-Manipulating Programs</a>. FM 2019.<br/>
Long H. Pham, Quang Loc Le, <b>Quoc-Sang Phan</b>, and Jun Sun.
</li>
<li><a href="papers/atva19.pdf">Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation</a>. ATVA 2019.<br/>
Long H. Pham, Quang Loc Le, <b>Quoc-Sang Phan</b>, Jun Sun and Shengchao Qin.
</li>
<li><a href="papers/jpf18.pdf">Automatic Data Structure Repair using Separation Logic</a>. JPF 2018.<br/>
Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, and <b>Quoc-Sang Phan</b>.
</li>
<li><a href="papers/csf18.pdf">Symbolic Side-Channel Analysis for Probabilistic Programs</a>. CSF 2018.<br/>
Pasquale Malacaria, MHR. Khouzani, Corina S. Pasareanu, <b>Quoc-Sang Phan</b> and Kasper Luckow.
</li>
<li><a href="papers/icse18.pdf">Poster: Testing Heap-Based Programs with Java StarFinder</a>. ICSE 2018.<br/>
Long H. Pham, Quang Loc Le, <b>Quoc-Sang Phan</b>, Jun Sun and Shengchao Qin.
</li>
<li><a href="papers/aic113.pdf">Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing and Security Analysis</a>. Advances in Computers - Volume 113.<br/>
Corina S. Pasareanu, Rody Kersten, Kasper Luckow and <b>Quoc-Sang Phan</b>.
</li>
<li><a href="papers/csf17.pdf">Synthesis of Adaptive Side-Channel Attacks</a>. CSF 2017.<br/>
<b>Quoc-Sang Phan</b>, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria and Tevfik Bultan.
</li>
<li><a href="papers/nfm17.pdf">Model-counting Approaches For Nonlinear Numerical Constraints</a>. NFM 2017.<br/>
Mateus Borges, <b>Quoc-Sang Phan</b>, Antonio Filieri and Corina S. Pasareanu.
</li>
<li><a href="papers/fse16.pdf">String Analysis for Side Channels with Segmented Oracles</a>. FSE 2016.<br/>
Lucas Bang, Abdulbaki Aydin, <b>Quoc-Sang Phan</b>, Corina S. Pasareanu and Tevfik Bultan.
</li>
<li><a href="papers/csf16.pdf">Multi-run side-channel analysis using Symbolic Execution and Max-SMT</a>. CSF 2016.<br/>
Corina S. Pasareanu, <b>Quoc-Sang Phan</b> and Pasquale Malacaria.
</li>
<li><a href="papers/ares15.pdf">All-Solution Satisfiability Modulo Theories: applications, algorithms and benchmarks</a>. ARES 2015.<br/>
<b>Quoc-Sang Phan</b> and Pasquale Malacaria.
</li>
<li><a href="papers/jpf14.pdf">Concurrent Bounded Model Checking</a>. JPF 2014.<br/>
<b>Quoc-Sang Phan</b>, Pasquale Malacaria, and Corina S. Pasareanu.
</li>
<li><a href="papers/spin14.pdf">Quantifying Information Leaks using Reliability Analysis</a>. SPIN 2014.<br/>
<b>Quoc-Sang Phan</b>, Pasquale Malacaria, Corina S. Pasareanu and Marcelo d’Amorim.
</li>
<li><a href="papers/iccsw14.pdf">Symbolic Execution as DPLL Modulo Theories</a>. ICCSW 2014.<br/>
Quoc-Sang Phan.
</li>
<li><a href="papers/asiaccs14.pdf">Abstract Model Counting: a novel approach for Quantification of Information Leaks</a>. ASIACCS 2014.<br/>
<b>Quoc-Sang Phan</b> and Pasquale Malacaria.
</li>
<li><a href="papers/iccsw13.pdf">Self-composition by Symbolic Execution</a>. ICCSW 2013.<br/>
Quoc-Sang Phan.
</li>
<li><a href="papers/paper1.pdf">Symbolic Quantitative Information Flow</a>. JPF 2012.<br/>
<b>Quoc-Sang Phan</b>, Pasquale Malacaria, Oksana Tkachuk, and Corina S. Pasareanu.
</li>
<li><a href="papers/frocos11.pdf">Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT</a>. FroCos 2011.<br/>
Alberto Griggio, <b>Quoc-Sang Phan</b>, Roberto Sebastiani, and Silvia Tomasi.
</li>
</ul>
</div>
<!--
<div>
<h3>Academic Activities</h3>
<ul>
<li>Subreviewer of <a href="http://www.etaps.org/index.php/2015/tacas">TACAS 2015</a>, <a href="http://issta2015.cs.uoregon.edu/">ISSTA 2015</a>, <a href="http://www.etaps.org/2016/tacas">TACAS 2016</a>.</li>
<li>Program Committee member of <a href="http://i-cav.org/2015/evaluation/">CAVART 2015</a>.</li>
</ul>
</div>
-->
<div>
<h3>Education</h3>
<ul>
<li><a href="http://www.qmul.ac.uk">Queen Mary University of London</a><br/>
PhD in Computer Science, Oct 2015<br/>
Advisor: <a href="http://www.eecs.qmul.ac.uk/~pm">Pasquale Malacaria</a> (<a href="genealogy/index.html">full genealogy</a>) <br/>
Thesis: <a href="https://qmro.qmul.ac.uk/xmlui/handle/123456789/15130">Model Counting Modulo Theories</a>
</li>
</ul>
</div>
<div>
<h3>Links</h3>
<ul>
<li><a href="https://github.com/saswatanand/symexbib">A Bibliography of Papers on Symbolic Execution Technique and its Applications</a>.</li>
<li><a href="http://lipn.univ-paris13.fr/~andre/conferences.php">Some Conferences on Formal Methods</a>.</li>
<li><a href="https://www.microsoft.com/en-us/research/academic-program/write-great-research-paper/">How to write a good research paper</a>.</li>
<li>I run frequently, feel free to connect with me on <a href="https://www.strava.com/athletes/69244264">Strava</a>.</li>
<li>My personal page at <a href="https://research.fb.com/people/phan-sang/">Facebook Research</a>.</li>
<!-- <li>My profile at <a href="http://conf.researchr.org/profile/quocsangphan">researchr.org</a>.</li>
-->
</ul>
</div>
<script type="text/javascript">
var sc_project=7426339;
var sc_invisible=1;
var sc_security="4d051697";
</script>
<script type="text/javascript"
src="http://www.statcounter.com/counter/counter_xhtml.js"></script>
</body>
</html>