Peter Aldous


I'm a PhD student in the U Combinator lab at the University of Utah. I do research in language analysis and security. At present, I'm working on detecting information flows in Dalvik bytecode.


Email me:


  1. Peter Aldous and Matthew Might. "Static analysis of non-interference in expressive low-level languages." Static Analysis Symposium 2015 (SAS 2015). Saint-Malo, France. September 2015.
    Paper: [pdf] Citation: [BibTeX] Publisher: [Springer]
  2. Shuying Liang, Andrew W. Keep, Matthew Might, David Van Horn, Steven Lyde, Thomas Gilray and Petey Aldous. "Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation." 3rd Annual ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM 2013). Long paper category. Berlin, Germany. November 2013.
    Paper: [pdf] Citation: [BibTeX] Publisher: [ACM]

Extended Abstracts

  1. Peter Aldous and Matthew Might. "A Posteriori Taint-tracking for Demonstrating Non-interference in Expressive Low-level Languages." LangSec Workshop at IEEE Security & Privacy, 2016 (LangSec 2016). Research Reports category. San Jose, California, USA. May 2016.
    Paper: [pdf] Slides: [pdf] Citation: [BibTeX] Publisher: [IEEE]

Papers Under Review

  1. Peter Aldous and Matthew Might. "Noninterference in expressive low-level languages by a posteriori taint tracking." International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2017). Vancouver, Canada. October 2017.