Modeling and Abstraction of Memory Management in a Hypervisor. - Pauline Bolignano; Thomas Jensen; Vincent Siles (FASE, 2016)

Formal models and verification of memory management in a hypervisor. (Modèles formels et vérification de la gestion de la mémoire dans un hyperviseur). - Pauline Bolignano (2017)

Semantic-based Automated Reasoning for AWS Access Policies using SMT. - John Backes; Pauline Bolignano; Byron Cook; Catherine Dodge; Andrew Gacek; Kasper Søe Luckow; Neha Rungta; Oksana Tkachuk; Carsten Varming (FMCAD, 2018)

One-Click Formal Methods. - John Backes; Pauline Bolignano; Byron Cook; Andrew Gacek; Kasper Søe Luckow; Neha Rungta; Martin Schäf; Cole Schlesinger; Rima Tanash; Carsten Varming; Michael W. Whalen (IEEE Softw., 2019)

Automatic Annotation of Confidential Data in Java Code. - Iulia Bastys; Pauline Bolignano; Franco Raimondi; Daniel Schoepe (FPS, 2021)

Differential cost analysis with simultaneous potentials and anti-potentials. - Dorde Zikelic; Bor-Yuh Evan Chang; Pauline Bolignano; Franco Raimondi (PLDI, 2022)

Lifting On-Demand Analysis to Higher-Order Languages. - Daniel Schoepe; David Seekatz; Ilina Stoilkovska; Sandro Stucki; Daniel Tattersall; Pauline Bolignano; Franco Raimondi; Bor-Yuh Evan Chang (SAS, 2023)