Damien Octeau

me Damien Octeau
Department of Computer Science and Engineering
Pennsylvania State University
344 IST Building
University Park, PA 16802

Email: octeau 'at' cse 'dot' psu 'dot' edu

I am a Research Associate with a joint appointment in Computer Sciences at the University of Wisconsin-Madison and in Computer Science and Engineering at Penn State University. I am working with Professors Somesh Jha and Patrick McDaniel.

I received my Ph.D. at Penn State in 2014. I also received a diplôme d'ingénieur (Master's degree in Engineering Sciences) from Ecole Centrale de Lyon in 2010 and a Master of Science in Computer Science and Engineering from Penn State University in 2010.

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.

Information on my ded and Dare research on retargeting Android applications to Java bytecode can be found at siis.cse.psu.edu/ded and siis.cse.psu.edu/dare, respectively.

Information on my research on inferring inter-component communication in Android application is available at siis.cse.psu.edu/epicc.