Collaborative Verification of Information Flow for a High-Assurance App Store. - Michael D. Ernst; René Just; Suzanne Millstein; Werner Dietl; Stuart Pernsteiner; Franziska Roesner; Karl Koscher; Paulo Barros; Ravi Bhoraskar; Seungyeop Han; Paul Vines; Edward XueJun Wu (CCS, 2014)

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). - Paulo Barros; René Just; Suzanne Millstein; Paul Vines; Werner Dietl; Marcelo d'Amorim; Michael D. Ernst (ASE, 2015)

Collaborative Verification of Information Flow for a High-Assurance App Store. - René Just; Michael D. Ernst; Suzanne Millstein (Software Engineering & Management, 2015)

Lightweight verification of array indexing. - Martin Kellogg; Vlastimil Dort; Suzanne Millstein; Michael D. Ernst (ISSTA, 2018)

Verifying Determinism in Sequential Programs. - Rashmi Mudduluru; Jason Waataja; Suzanne Millstein; Michael D. Ernst (ICSE (Companion Volume), 2021)

DesCert: Design for Certification. - Natarajan Shankar; Devesh Bhatt; Michael D. Ernst; Minyoung Kim; Srivatsan Varadarajan; Suzanne Millstein; Jorge Navas 003; Jason Biatek; Huascar Sanchez; Anitha Murugesan; Hao Ren 004 (CoRR, 2022)