Fabienne Eigner

According to our database, Fabienne Eigner authored at least 10 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

UniTraX: Protecting Data Privacy with Discoverable Biases.

Reinhard Munz, Fabienne Eigner, Matteo Maffei, Paul Francis, Deepak Garg

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

2015

A theory of types for security and privacy.

Fabienne Eigner

PhD thesis, 2015

Affine Refinement Types for Secure Distributed Programming.

Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei

ACM Trans. Program. Lang. Syst., 2015

Type-Based Verification of Electronic Voting Protocols.

Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

2014

Privacy-preserving Data Aggregation with Optimal Utility.

Fabienne Eigner, Aniket Kate, Matteo Maffei, Francesca Pampaloni, Ivan Pryvalov

IACR Cryptol. ePrint Arch., 2014

Differentially private data aggregation with optimal utility.

Fabienne Eigner, Matteo Maffei, Ivan Pryvalov, Francesca Pampaloni, Aniket Kate

Proceedings of the 30th Annual Computer Security Applications Conference, 2014

2013

Logical Foundations of Secure Resource Management in Protocol Implementations.

Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei

Proceedings of the Principles of Security and Trust - Second International Conference, 2013

Differential Privacy by Typing in Security Protocols.

Fabienne Eigner, Matteo Maffei

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012

Affine Refinement Types for Authentication and Authorization.

Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

2011

Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols.

Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011