Peter Aldous

Postdoctoral Fellow


My research focuses on programming languages and security. Jay McCarthy advised my undergraduate research at BYU. I received my doctorate from the University of Utah as a member of Matt Might's U Combinator lab.


Email: [PGP key]

Keybase: peteraldous

Office: 2258 TMCB. Office hours by appointment


  1. Radha Nakade, Eric Mercer, Peter Aldous, and Jay McCarthy. "Model Checking Task Parallel Programs for Data-race." Tenth NASA Formal Methods Symposium (NFM 2018). Newport News, VA, USA.
    Citation: [BibTeX]
  2. 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]
  3. 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]