Fabienne Eigner
M.Sc. | Researcher


  • Information Security and Cryptography
  • Building E9 1, Room 1.10
  • +49 681 302 70782
  • fabienne.eigner(aeht)cispa.saarland
  • Personal Webpage

Publications

2015

Affine Refinement Types for Secure Distributed Programming

Achieving Optimal Utility for Distributed Differential Privacy Using SMPC

Type-Based Verification of Electronic Voting Protocols

Type-Based Verification of Electronic Voting Protocols

2014

Differentially Private Data Aggregation with Optimal Utility

Differentially Private Data Aggregation with Optimal Utility

Privacy-preserving Data Aggregation with Optimal Utility Using Arithmetic SMC -- Extended Abstract

2013

Differential Privacy by Typing in Security Protocols

Logical Foundations of Secure Resource Management

2012

Affine Refinement Types for Authentication and Authorization

2011

Resource-aware Authorization Policies for Statically Typed Cryptographic Protocols

2010

Type-Based Verification of Electronic Voting Systems

2007

Cryptographic Soundness of Simpler Symbolic Signatures and Authentications