Items where Author / Artist / Editor is "Bolignano, Pauline"

Conference or Workshop Item

Žikelić, Ðorđe, Chang, Bor-Yuh Evan, Bolignano, Pauline and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2022) Differential cost analysis with simultaneous potentials and anti-potentials. PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. In: Programming Language Design and Implementation (PLDI 2022), 13-17 June 2022, San Diego, USA. ISBN 9781450392655. [Conference or Workshop Item] (doi:10.1145/3519939.3523435)

Bastys, Iulia, Bolignano, Pauline, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Schoepe, Daniel (2021) Automatic annotation of confidential data in java code. In: FPS 2021: The 14th International Symposium on Foundations & Practice of Security, 08-12 Dec 2021, Paris, France. . ISSN 0302-9743 [Conference or Workshop Item]