-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
135 lines (107 loc) · 5.2 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
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
<title>Damien Octeau</title>
<link href="css.css" rel="stylesheet" type="text/css">
<script src="js/ga.js"></script>
</head>
<body>
<table cellspacing="0" cellpadding="5px">
<tr> <td class="myname">Damien Octeau</td> </tr>
<tr> <td id="nav" class="mylinks"> <myl> <strong>Home</strong> ◊ <a href="research.html" class="linknostyle">Research</a> ◊ <a href="publications.html" class="linknostyle">Publications</a> ◊ <a href="vita.html" class="linknostyle">Vita</a> ◊ <a href="tools.html" class="linknostyle">Tools</a></td> </tr>
</table>
<div class="content">
<br>
<table cellspacing="15px">
<tr>
<td>
<img src="pics/octeau-sm.jpg" alt="me">
</td>
<td width="550">
Damien Octeau <br>
Google Inc.<br>
<br>
Email: octeau 'at' cs 'dot' wisc 'dot' edu
</td>
</tr>
</table>
<p>
I am a Software Engineer at Google working in the area of mobile security. My research interests are in software security, mobile security and program analysis. I was previously
a Research Associate with a joint appointment in <a href="http://www.cs.wisc.edu/">Computer Sciences</a> at the <a href="http://www.wisc.edu/">University of Wisconsin-Madison</a> and in <a href="http://www.cse.psu.edu">Computer Science and Engineering</a> at <a href="http://www.psu.edu">Penn State University</a>.
I was working with Professors <a href="http://pages.cs.wisc.edu/~jha/">Somesh Jha</a> and <a href="http://www.patrickmcdaniel.org">Patrick McDaniel</a>.
</p>
<p>
I received my Ph.D. at Penn State in 2014. I also received a <i>diplôme d'ingénieur</i> (Master's degree in Engineering Sciences) from <a href="http://www.ec-lyon.fr/76957584/1/fiche___pagelibre/&RH=Programs">Ecole Centrale de Lyon</a> in 2010 and
a Master of Science in Computer Science and Engineering from Penn State University in 2010.
</p>
<p>
My research focuses on the formal analysis of the security and privacy of application code. One of my areas of focus is the analysis of mobile applications.
Through the use and design of formally grounded static program analysis techniques, my research seeks to measure the security guarantees provided by programs.
</p>
<p>
Information on my ded and Dare research on retargeting Android applications to Java bytecode can be found at <a href="http://siis.cse.psu.edu/ded/">siis.cse.psu.edu/ded</a> and <a href="http://siis.cse.psu.edu/dare/">siis.cse.psu.edu/dare</a>, respectively.
</p>
<p>
Information on my research on composite constant propagation is available
at <a href="http://siis.cse.psu.edu/coal/">siis.cse.psu.edu/coal</a>. Details
on its application to inferring inter-component communication in Android
are available at
<a href="http://siis.cse.psu.edu/ic3/">siis.cse.psu.edu/ic3</a>.
</p>
<p>
Information on my research on augmenting static analysis results with
probabilistic models is available at
<a href="http://siis.cse.psu.edu/primo/">siis.cse.psu.edu/primo</a>.
</p>
<h2 class="vitaheader">Selected Publications</h2>
Damien Octeau, Daniel Luchaup, Somesh Jha, and Patrick McDaniel.
Composite Constant Propagation and its
Application to Android Program Analysis. <i>IEEE Transactions of
Software Engineering (TSE)</i>, vol. 42, no. 11, pp. 999-1014, November
2016.
<br>
<br>
Michael Backes, Sven Bugiel, Erik Derr, Patrick McDaniel, Damien
Octeau, and Sebastian Weisgerber. On
Demystifying the Android Application Framework: Re-Visiting Android
Permission Specification Analysis. <i>Proceedings of the 25th
USENIX Security Symposium</i>,
August 2016, Austin, TX. <i>Acceptance rate: 15.6%</i>.
<br>
<br>
Damien Octeau, Somesh Jha, Matthew Dering, Patrick McDaniel, Alexandre
Bartel, Li Li, Jacques Klein, and Yves Le Traon.
Combining Static Analysis with
Probabilistic Models to Enable Market-Scale Android
Inter-Component Analysis. <i>Proceedings of the 43rd ACM
SIGPLAN-SIGACT Symposium on Principles of Programming Languages
(POPL)</i>, January 2016. St. Petersburg, Florida, USA. <i>Acceptance
rate: 23.3%</i>.
<br>
<br>
Damien Octeau, Daniel Luchaup, Matthew Dering, Somesh Jha, and Patrick
McDaniel. Composite Constant
Propagation: Application to Android
Inter-Component Communication Analysis. <i>Proceedings of the 37th
International Conference on Software Engineering (ICSE)</i>, May 2015.
Florence, Italy. <i>Acceptance rate: 18.5%</i>.
<br>
<br>
Damien Octeau, Somesh Jha, and Patrick McDaniel.
Retargeting Android Applications to Java Bytecode.
<i>Proceedings of the 20th International Symposium on the
Foundations of Software Engineering</i>, November 2012.
Cary, NC. <i>Acceptance rate: 17.4%</i>.
<i><font color = "ff0000">Best Artifact Award</font></i>
</td>
<br>
</div>
<div class="bott">
<table>
<tr> <td> </td> </tr>
</table>
</div>
</body>
</html>