Fabienne Eigner

According to our database¹, Fabienne Eigner authored at least 10 papers between 2011 and 2018.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2018

UniTraX: Protecting Data Privacy with Discoverable Biases.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

2015

A theory of types for security and privacy.

[BibT_eX]

[DOI]

Fabienne Eigner

PhD thesis, 2015

Affine Refinement Types for Secure Distributed Programming.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2015

Type-Based Verification of Electronic Voting Protocols.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

2014

Privacy-preserving Data Aggregation with Optimal Utility.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Differentially private data aggregation with optimal utility.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual Computer Security Applications Conference, 2014

2013

Logical Foundations of Secure Resource Management in Protocol Implementations.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - Second International Conference, 2013

Differential Privacy by Typing in Security Protocols.

[BibT_eX]

[DOI]

Fabienne Eigner

Matteo Maffei

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012

Affine Refinement Types for Authentication and Authorization.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

2011

Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

Fabienne Eigner

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...