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
742014
Type-based verification of electronic voting protocols
V Cortier, F Eigner, S Kremer, M Maffei, C Wiedling
Principles of Security and Trust: 4th International Conference, POST 2015 …, 2015
402015
Differential privacy by typing in security protocols
F Eigner, M Maffei
2013 IEEE 26th Computer Security Foundations Symposium, 272-286, 2013
392013
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
222011
Logical foundations of secure resource management in protocol implementations
M Bugliesi, S Calzavara, F Eigner, M Maffei
Principles of Security and Trust: Second International Conference, POST 2013 …, 2013
182013
Achieving optimal utility for distributed differential privacy using secure multiparty computation
F Eigner, A Kate, M Maffei, F Pampaloni
Applications of Secure Multiparty Computation 13 (81), 2015
82015
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
Principles of Security and Trust: 7th International Conference, POST 2018 …, 2018
62018
Affine refinement types for authentication and authorization
M Bugliesi, S Calzavara, F Eigner, M Maffei
Trustworthy Global Computing: 7th International Symposium, TGC 2012 …, 2013
32013
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