Statistics
Publications
2
Citations
122
H-Index
2
Active since
2018
Affiliations
Amazon (United States)(Current)
Pauline Bolignano is an author at Amazon (United States) specializing in web services, formal methods, and computing.
Publications per year
2018–2019
2
2
Semantic-based Automated Reasoning for AWS Access Policies using SMT
John Backes, Pauline Bolignano, Byron Cook et al. · 2018 · 92 citations · Full text
John Backes, Pauline Bolignano, Byron Cook et al. · IEEE Software · 2019 · 30 citations
1–2 of 2