Pauline Bolignano

Semantic-based Automated Reasoning for AWS Access Policies using SMT

Pauline Bolignano, Kasper Søe Luckow, John D. Backes, 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).

One-Click Formal Methods

Cole Schlesinger, Pauline Bolignano, John D. Backes, 2019, IEEE Software.

Differential cost analysis with simultaneous potentials and anti-potentials

B. E. Chang, F. Raimondi, Dorde Zikelic, 2022, PLDI.

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, Pauline Bolignano, 2017 .