Homepage of Fabienne Eigner

Contact

Fabienne Eigner, M.Sc.
Phone: +49-681-302-70782
Fax: +49-681-302-71942
Email: eigner(at)cs(dot)uni-saarland(dot)de
Address: Saarland University - Computer Science Department
Campus E9.1, Room 1.10
PO Box 151150
66041 Saarbrücken, Germany

I am a PhD student at the Secure and Privacy-preserving Systems Group at the Computer Science Department of Saarland University, Germany.

Events

  • GI 2014 Workshop "Elektronische Wahlen - Unterst├╝tzung der Wahlprozesse mittels Technik" (PC member)

Publications

  • Affine Refinement Types for Secure Distributed Programming
    Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, and Matteo Maffei
    To appear in ACM Transactions on Programming Languages and Systems (TOPLAS), 2015. Draft (pdf).
  • Type-Based Verification of Electronic Voting Protocols
    Veronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei and Cyrille Wiedling
    To appear in 4th Conference on Principles of Security and Trust (POST 2015). Long version (pdf).
  • Differentially Private Data Aggregation with Optimal Utility
    Fabienne Eigner, Aniket Kate, Matteo Maffei, Francesca Pampaloni, and Ivan Pryvalov
    In Proceedings of 30th Annual Computer Security Applications Conference (ACSAC 2014). Long version (pdf).
  • Differential Privacy by Typing in Security Protocols
    Fabienne Eigner and Matteo Maffei
    In Proceedings of 26th IEEE Symposium on Computer Security Foundations (CSF 2013). Long version (pdf).
  • Logical Foundations of Secure Resource Management in Protocol Implementations
    Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, and Matteo Maffei
    In Proceedings of 2nd Conference on Principles of Security and Trust (POST 2013). Conference version (pdf). Long version (pdf).
    EATCS award for "Best theory paper at ETAPS".
  • Affine Refinement Types for Authentication and Authorization
    Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, and Matteo Maffei
    In Proceedings of 7th International Symposium on Trustworthy Global Computing (TGC 2012), invited paper. Conference version (pdf).
  • Resource-aware Authorization Policies for Statically Typed Cryptographic Protocols
    Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, and Matteo Maffei.
    In Proceedings of 24th IEEE Symposium on Computer Security Foundations (CSF 2011) (pdf).

Theses

  • Type-Based Verification of Electronic Voting Systems
    Master Thesis (pdf)
    Fabienne Eigner, Advisor: Dr. Matteo Maffei
    Saarland University, September 2009
  • Cryptographic Soundness of Simpler Symbolic Signatures and Authentications
    Bachelor Thesis (pdf)
    Fabienne Eigner, Advisor: Prof. Michael Backes
    Saarland University, March 2007

Teaching