1. Erika Ábrahám , Ezio Bartocci , Borzoo Bonakdarpour , and Oyendrila Dobe . 2020. Probabilistic Hyperproperties with Nondeterminism . In Automated Technology for Verification and Analysis , Dang Van Hung and Oleg Sokolsky (Eds.). Springer International Publishing , Cham , 518--534. Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, and Oyendrila Dobe. 2020. Probabilistic Hyperproperties with Nondeterminism. In Automated Technology for Verification and Analysis, Dang Van Hung and Oleg Sokolsky (Eds.). Springer International Publishing, Cham, 518--534.
2. HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
3. Runtime Verification of k-Safety Hyperproperties in HyperLTL
4. Gilles Barthe , Pedro R. D'Argenio , Bernd Finkbeiner , and Holger Hermanns . 2016. Facets of Software Doping . In Leveraging Applications of Formal Methods, Verification and Validation: Discussion , Dissemination, Applications, Tiziana Margaria and Bernhard Steffen (Eds.). Springer International Publishing , Cham , 601--608. Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, and Holger Hermanns. 2016. Facets of Software Doping. In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, Tiziana Margaria and Bernhard Steffen (Eds.). Springer International Publishing, Cham, 601--608.
5. Secure information flow by self-composition