Fabienne Eigner

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 4

Top Venues

POST

IACR Cryptol. ePrint Arch.

CSF

ACM Trans. Program. Lang. Syst.

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Reinhard Munz, Fabienne Eigner, Matteo Maffei, Paul Francis, Deepak Garg
UniTraX: Protecting Data Privacy with Discoverable Biases. POST (2018)
Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling
Type-Based Verification of Electronic Voting Protocols. IACR Cryptol. ePrint Arch. 2015 (2015)
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
Affine Refinement Types for Secure Distributed Programming. ACM Trans. Program. Lang. Syst. 37 (4) (2015)
Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling
Type-Based Verification of Electronic Voting Protocols. POST (2015)
Fabienne Eigner, Aniket Kate, Matteo Maffei, Francesca Pampaloni, Ivan Pryvalov
Privacy-preserving Data Aggregation with Optimal Utility. IACR Cryptol. ePrint Arch. 2014 (2014)
Fabienne Eigner, Matteo Maffei, Ivan Pryvalov, Francesca Pampaloni, Aniket Kate
Differentially private data aggregation with optimal utility. ACSAC (2014)
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
Logical Foundations of Secure Resource Management in Protocol Implementations. POST (2013)
Fabienne Eigner, Matteo Maffei
Differential Privacy by Typing in Security Protocols. CSF (2013)
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
Affine Refinement Types for Authentication and Authorization. TGC (2012)
Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols. CSF (2011)

Fabienne Eigner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fabienne Eigner