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 Ph.D. candidate in Computer Science and Engineering at Penn State University. I am a member of the Systems and Internet Infrastructure Security Laboratory. My advisor is Dr. Patrick McDaniel.
I received my diplôme d'ingénieur (Master's degree in Engineering Sciences) from Ecole Centrale de Lyon in 2010. I also received 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 research on inferring inter-component communication in Android application is available at siis.cse.psu.edu/epicc.