UniTraX: Protecting Data Privacy with Discoverable Biases

Autor: Deepak Garg, Fabienne Eigner, Paul Francis, Matteo Maffei, Reinhard Munz

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319897219
POST

An ongoing challenge with differentially private database systems is that of maximizing system utility while staying within a certain privacy budget. One approach is to maintain per-user budgets instead of a single global budget, and to silently drop

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::58c9c6b426f582c59b9425c8a608e61f
https://doi.org/10.1007/978-3-319-89722-6_12

Type-Based Verification of Electronic Voting Protocols

Autor: Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling

Publikováno v: 4th Conference on Principles of Security and Trust (POST)
4th Conference on Principles of Security and Trust (POST), Apr 2015, London, United Kingdom
Lecture Notes in Computer Science ISBN: 9783662466650
POST

International audience; E-voting protocols aim at achieving a wide range of sophisticated security properties and, consequently, commonly employ advanced cryptographic primitives. This makes their design as well as rigorous analysis quite challenging

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::57ea076a7eb3b8f8ce69372db1e72dcb
https://hal.inria.fr/hal-01103545/document

Differential Privacy by Typing in Security Protocols

Autor: Matteo Maffei, Fabienne Eigner

Publikováno v: CSF

Differential privacy is a confidentiality property for database queries which allows for the release of statistical information about the content of a database without disclosing personal data. The variety of database queries and enforcement mechanis

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b95cb81fdff5ffceac24f339e2f42225
https://doi.org/10.1109/csf.2013.25

Logical Foundations of Secure Resource Management in Protocol Implementations

Autor: Fabienne Eigner, Matteo Maffei, Stefano Calzavara, Michele Bugliesi

Publikováno v: Lecture Notes in Computer Science ISBN: 9783642368295
POST

Recent research has shown that it is possible to leverage general-purpose theorem proving techniques to develop powerful type systems for the verification of a wide range of security properties on application code. Although successful in many respect

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::447cdcba9bcb8c814e07e0e18c331752
https://doi.org/10.1007/978-3-642-36830-1_6