F. Eigner

MPI-SWS-2018-001 February 2018 UniTraX : Protecting Data Privacy with Discoverable Biases

P. Francis, D. Garg, Reinhard Munz, 2018 .

Affine Refinement Types for Secure Distributed Programming

Michele Bugliesi, Matteo Maffei, Stefano Calzavara, 2015, ACM Trans. Program. Lang. Syst..

Privacy-preserving Data Aggregation with Optimal Utility Using Arithmetic SMC -- Extended Abstract

Aniket Kate, Matteo Maffei, Fabienne Eigner, 2014 .

Affine Refinement Types for Authentication and Authorization

Michele Bugliesi, Matteo Maffei, Stefano Calzavara, 2012, TGC.

Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols

Michele Bugliesi, Matteo Maffei, Stefano Calzavara, 2011, 2011 IEEE 24th Computer Security Foundations Symposium.

Differential Privacy by Typing in Security Protocols

Matteo Maffei, Fabienne Eigner, Matteo Maffei, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.