| 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 | 83 | 2014 |
| 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 | 42 | 2015 |
| Differential privacy by typing in security protocols F Eigner, M Maffei 2013 IEEE 26th Computer Security Foundations Symposium, 272-286, 2013 | 42 | 2013 |
| 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 | 23 | 2011 |
| 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 | 19 | 2013 |
| 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 | 8 | 2015 |
| 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, 81-105, 2015 | 8 | 2015 |
| 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 | 6 | 2018 |
| Affine refinement types for authentication and authorization M Bugliesi, S Calzavara, F Eigner, M Maffei Trustworthy Global Computing: 7th International Symposium, TGC 2012 …, 2013 | 3 | 2013 |
| Type-based verification of electronic voting systems F Eigner Master's thesis, Saarland University, 2009 | 3 | 2009 |
| Logical foundations of secure resource management M Bugliesi, S Calzavara, F Eigner, M Maffei Springer, 2013 | 1 | 2013 |
| Alternating-Time Temporal Logic FS Eigner | 1 | 2008 |
| 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 | | |
Matteo MaffeiFull Professor at TU Wien, Co-Director TU Wien Cybersecurity CenterVerified email at tuwien.ac.at