Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols. - Michele Bugliesi; Stefano Calzavara; Fabienne Eigner; Matteo Maffei (CSF, 2011)

Affine Refinement Types for Authentication and Authorization. - Michele Bugliesi; Stefano Calzavara; Fabienne Eigner; Matteo Maffei (TGC, 2012)

Differential Privacy by Typing in Security Protocols. - Fabienne Eigner; Matteo Maffei (CSF, 2013)

Logical Foundations of Secure Resource Management in Protocol Implementations. - Michele Bugliesi; Stefano Calzavara; Fabienne Eigner; Matteo Maffei (POST, 2013)

Differentially private data aggregation with optimal utility. - Fabienne Eigner; Matteo Maffei; Ivan Pryvalov; Francesca Pampaloni; Aniket Kate (ACSAC, 2014)

Privacy-preserving Data Aggregation with Optimal Utility. - Fabienne Eigner; Aniket Kate; Matteo Maffei; Francesca Pampaloni; Ivan Pryvalov (IACR Cryptol. ePrint Arch., 2014)

Type-Based Verification of Electronic Voting Protocols. - Véronique Cortier; Fabienne Eigner; Steve Kremer; Matteo Maffei; Cyrille Wiedling (IACR Cryptol. ePrint Arch., 2015)

Affine Refinement Types for Secure Distributed Programming. - Michele Bugliesi; Stefano Calzavara; Fabienne Eigner; Matteo Maffei (ACM Trans. Program. Lang. Syst., 2015)

A theory of types for security and privacy. - Fabienne Eigner (2015)

UniTraX: Protecting Data Privacy with Discoverable Biases. - Reinhard Munz; Fabienne Eigner; Matteo Maffei; Paul Francis; Deepak Garg 001 (POST, 2018)