Follow
Fabienne Eigner
Fabienne Eigner
DLR, formerly Saarland University
Verified email at cs.uni-saarland.de
Title
Cited by
Cited by
Year
Differentially private data aggregation with optimal utility
F Eigner, A Kate, M Maffei, F Pampaloni, I Pryvalov
Proceedings of the 30th Annual Computer Security Applications Conference …, 2014
592014
Type-based verification of electronic voting protocols
V Cortier, F Eigner, S Kremer, M Maffei, C Wiedling
International Conference on Principles of Security and Trust, 303-323, 2015
372015
Differential privacy by typing in security protocols
F Eigner, M Maffei
2013 IEEE 26th Computer Security Foundations Symposium, 272-286, 2013
372013
Resource-aware authorization policies for statically typed cryptographic protocols
M Bugliesi, S Calzavara, F Eigner, M Maffei
2011 IEEE 24th Computer Security Foundations Symposium, 83-98, 2011
202011
Logical foundations of secure resource management in protocol implementations
M Bugliesi, S Calzavara, F Eigner, M Maffei
International Conference on Principles of Security and Trust, 105-125, 2013
142013
Affine refinement types for secure distributed programming
M Bugliesi, S Calzavara, F Eigner, M Maffei
ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (4), 1-66, 2015
72015
UniTraX: protecting data privacy with discoverable biases
R Munz, F Eigner, M Maffei, P Francis, D Garg
International Conference on Principles of Security and Trust, 278-299, 2018
52018
Achieving optimal utility for distributed differential privacy using secure multiparty computation
F Eigner, A Kate, M Maffei, F Pampaloni, I Pryvalov
Applications of Secure Multiparty Computation 13 (81), 2015
52015
Affine refinement types for authentication and authorization
M Bugliesi, S Calzavara, F Eigner, M Maffei
International Symposium on Trustworthy Global Computing, 19-33, 2012
32012
Type-based verification of electronic voting systems
F Eigner
Master's thesis, Saarland University, 2009
32009
Logical foundations of secure resource management
M Bugliesi, S Calzavara, F Eigner, M Maffei
Springer, 2013
12013
Alternating-Time Temporal Logic
FS Eigner
12008
A theory of types for security and privacy
FS Eigner
Saarländische Universitäts-und Landesbibliothek, 2015
2015
Privacy-preserving Data Aggregation with Optimal Utility Using Arithmetic SMC
F Eigner, A Kate, M Maffei, F Pampaloni, I Pryvalov
2014
Privacy-preserving Data Aggregation with Optimal Utility
F Eigner, A Kate, M Maffei, F Pampaloni, I Pryvalov
IACR Cryptology ePrint Archive 2014, 482, 2014
2014
Cryptographic Soundness of Simpler Symbolic Signatures and Authentications
F Eigner
Bachelor's thesis, Saarland University, 2007
2007
Template for the Electronic Voting Seminar
F Eigner
CSF 2016
J Aljuraidan, T Antignac, M Balliu, G Bana, L Bello, B Blanchet, ...
Affine Refinement Types for Secure Distributed Programming (Long Version)
M BUGLIESI, S CALZAVARA, F EIGNER, M MAFFEI
The system can't perform the operation now. Try again later.
Articles 1–19