Skip to main content

Privacy and Accountability in Networks via Optimized Randomized Mix-nets

Deliverables

Applying Mix Nets to Email Document

This report will present the use-case and requirements, based on empirical data, of the mix networking infrastructure, with a focus on usability, a mathematical analysis of the privacy set, and threat models.

Complete Exploitation Plan

We will update D2.5 with exploitation activities already performed including definition of business models for market adoption of results of the project.

Minimum Viable Product (MVP)

A functional, deployable, and demonstrable mix-net service implemented according to results and requirements from WP3, WP5, WP6 and WP7.

Report on Exploitation Activities and Updated Plan for Further Exploitation

Final update of the exploitation plan will be presented and a list of exploitation activities performed during the last year of the project will be reported.

Requirements and User Interface Design

Documents including a first version of the e-voting system.

Initial report

Modelling and Design elements. Describes some of the existing shuffle protocols (WP3.2), initial design options for mix-nets (WP3.1) and definitions of privacy (WP3.3)

Dissemination Report I

Dissemination reports will be delivered each year and the dissemination plan will be updated if necessary.

Survey/Statistics: Interim report

Interim report including requirements analysis and initial design. This report will describe the results of the requirements analysis and outline the initial design used to start the implementation.

Modelling, Design and Analysis:Interim report

First iteration of a NIZK shuffle proof. Describes the shuffle protocol that may be used in implementation within WP5; Integrates robustness into efficient mix-net designs and decryption mixes; proposes robust definitions of mix-nets as differentially private mechanisms

Final Review and Assessment

This deliverable will review and assess the activities, results, and progresses of Y3. This will provide a basis for each consortium member to engage in further EU projects with increased performance and efficiency.

Dissemination Plan

A dissemination plan will be outlined, where dissemination activities via various channels will be planned as described in Task 2.1.

Final report validation & testing

This report will summarize the results of the validation and testing including lessons learned. It will provide guidance to future adopters of the system.

Integrated System

A fully integrated, tested, and documented system, incorporating any updated requirements and designs from the experience of the MVP that can be disseminated.

Y1 Review and Assessment

This deliverable will review and assess the activities, results, and progresses of Y1. This will provide a basis for moving into Y2 and examine where the consortium was successful and where improvements are needed for the following year.

Final report

Final iteration of the NIZK shuffle proof together with security analysis, and an implementation; validation of mix-net design options and refinement of definitions to suit other WPs

Standardisation Report

The standardization-related efforts and achievements will be collected in this report.

Y2 Review and Assessment

This deliverable will review and assess the activities, results, and progresses of Y2. This will provide a basis for moving into Y3 and examine where the consortium was successful and where improvements are needed for the following year.

Ethics report

The ethics report details all procedures that will be implemented for data collection, storage, protection, retention and destruction and confirmation of personal information by Panoramix partners. Copies of ethical approvals by the competent Ethics Committee and copies of approvals for the collection of personal data by the competent University Data Protection Officer / National Data Protection authority will be included, and in case of data not publicly available, relevant authorisations will also be provided if applicable. This deliverable will also contain templates of the informed consent form to be used.

Scientific Advisory Board Reports

After each EAB meeting EAB will write a report with observations, recommendations and conclusions on actions for increasing the project impact. A summary of all reports will be compiled at the end of the project.

Dissemination Report II

Dissemination reports will be delivered each year and the dissemination plan will be updated if necessary.

Dissemination Report III

Dissemination reports will be delivered each year and the dissemination plan will be updated if necessary.

Preliminary Exploitation Plan

In this deliverable the first version of exploitation plan will be presented. It will be aligned with the consortium partners’ business plans and market evaluation.

Analysis of User Feedback

Based on the user feedback from the deployment of mix networking with email, we will determine whether or not users found the privacy sufficient. This report will also include the feedback from the living lab research, where the mobile message app is tested with 1000 test users.

Final System

A production-ready system and a corresponding internet service incorporating any external feedback and addressing any remaining integration issues.

Initial Requirements, Design, and Prototype

The first version of the system that addresses basic concerns in all three tasks that do not depend on other work packages, requirements addressing the state-of-the-art industry environments, design addressing development methodology and tools, and prototype addressing development, deployment, and the testing environment.

Open-source code of integrated system for desktops

This deliverable, available as code on GitHub with a brief developer guide to the code, will allow system administrators to deploy the mixnetworking infrastructure for email, with clients for desktop and mobile (Android).

Integrated Service

The integrated service implements the full feature set and incorporates adjustments after the experience with the MVP.

Final Service

The final version of the e-voting service, fully documented for developers and users, and proven in production conditions.

Minimum Viable Product

A viable demonstration of the designs and capabilities developed by Task 5.2, in a first integration with the mix-net service.

Public Web Page and Blog

A public webpage will be created and updated throughout the duration of the project.

Publications

HORNET: High-speed Onion Routing at the Network Layer

Author(s): Chen Chen, Daniele Enrico Asoni, David Barrera, George Danezis, and Adrian Perrig
Published in: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, 2015, Page(s) 1441-1454

Efficient Culpably Sound NIZK Shuffle Argument Without Random Oracles

Author(s): Prastudy Fauzi and Helger Lipmaa
Published in: Topics in Cryptology - CT-RSA 2016: The Cryptographers' Track at the RSA Conference 2016, 2016, Page(s) 200-216

k-fingerprinting: a Robust Scalable Website Fingerprinting Technique

Author(s): Jamie Hayes and George Danezis
Published in: 25th USENIX Security Symposium 2016, 2016, Page(s) 1187--1203

When owl:sameAs isn't the Same Redux: Towards a Theory of Identity, Context, and Inference on the Semantic Web

Author(s): Harry Halpin, Patrick J. Hayes, and Henry S.Thompson
Published in: Modeling and Using Context: 9th International and Interdisciplinary Conference, CONTEXT 2015, 2015, Page(s) 47-60

Highly-Efficient and Composable Password-Protected Secret Sharing (Or: How to Protect Your Bitcoin Wallet Online)

Author(s): Stanislaw Jarecki, Aggelos Kiayias, Hugo Krawczyk and Jiayu Xu
Published in: IEEE European Symposium on Security and Privacy, 2016, Page(s) 276-291

Blockchain Mining Games

Author(s): Aggelos Kiayias, Elias Koutsoupias, Maria Kyropoulou, Yiannis Tselekounis
Published in: Proceedings of the 2016 ACM Conference on Economics and Computation, 2016, Page(s) 365-382

Prover-Efficient Commit-and-Prove Zero-Knowledge SNARKs

Author(s): Helger Lipmaa
Published in: Progress in Cryptology - AFRICACRYPT 2016: 8th International Conference on Cryptology in Africa, 2016, Page(s) 185-206

Efficient Private Statistics with Succinct Sketches

Author(s): Luca Melis, George Danezis and Emiliano De Cristofaro
Published in: 23nd Annual Network and Distributed System Security Symposium, NDSS, 2016, 2016

AnNotify: A Private Notification Service

Author(s): Piotrowska, A. M.; Hayes, J.; Gelernter, N.; Danezis, G.; Herzberg, A.
Published in: In: Thuraisingham, B and Lee, AJ, (eds.) Proceedings of the 2017 Workshop on Privacy in the Electronic Society (WPES '17). (pp. pp. 5-15). Association for Computing Machinery (ACM): New York, NY, USA. (2017), Issue 1, 2017

Eavesdropping Whilst You're Shopping: Balancing Personalisation and Privacy in Connected Retail Spaces

Author(s): Mavroudis, Vasilios; Veale, Michael
Published in: In: Proceedings of Living in the Internet of Things: Cybersecurity of the IoT - 2018. IET: London, UK. (2018), Issue 1, 2018
DOI: 10.31228/OSF.IO/8QN9F

POTs: Protective Optimization Technologies

Author(s): Overdorf, Rebekah; Kulynych, Bogdan; Balsa, Ero; Troncoso, Carmela; Gürses, Seda
Published in: Issue 1, 2018

SynTF: Synthetic and Differentially Private Term Frequency Vectors for Privacy-Preserving Text Mining

Author(s): Weggenmann, Benjamin; Kerschbaum, Florian
Published in: Issue 1, 2018

A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components

Author(s): Mavroudis, V.; Cerulli, A.; Svenda, P.; Cvrcek, D.; Klinec, D.; Danezis, G.
Published in: In: Evans, D and Malkin, T and Xu, D, (eds.) Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. (pp. pp. 1583-1600). ACM: New York, USA. (2017), Issue 1, 2017

Mix-ORAM: Using Delegated Shuffles

Author(s): Toledo, R. R.; Danezis, G. D.; Echizen, I. E.
Published in: In: Thuraisingham, B and Lee, AJ, (eds.) Proceedings of the 2017 Workshop on Privacy in the Electronic Society. (pp. pp. 51-61). ACM: New York, USA. (2017), Issue 1, 2017

A Shuffle Argument Secure in the Generic Model

Author(s): Prastudy Fauzi, Helger Lipmaa and Michał Zając.
Published in: Advances in Cryptology - ASIACRYPT 2016, 2016

Centrally Banked Cryptocurrencies

Author(s): George Danezis, Sarah Meiklejohn
Published in: Proceedings 2016 Network and Distributed System Security Symposium, 2016
DOI: 10.14722/ndss.2016.23187

Toward an Efficient Website Fingerprinting Defense

Author(s): Marc Juarez, Mohsen Imani, Mike Perry, Claudia Diaz, Matthew Wright
Published in: Computer Security – ESORICS 2016, 2016, Page(s) 27-46
DOI: 10.1007/978-3-319-45744-4_2

Efficient Encrypted Keyword Search for Multi-user Data Sharing

Author(s): Aggelos Kiayias, Ozgur Oksuz, Alexander Russell, Qiang Tang, Bing Wang
Published in: Computer Security – ESORICS 2016, 2016, Page(s) 173-195
DOI: 10.1007/978-3-319-45744-4_9

SFADiff - Automated Evasion Attacks and Fingerprinting Using Black-box Differential Automata Learning

Author(s): George Argyros, Ioannis Stais, Suman Jana, Angelos D. Keromytis, Aggelos Kiayias
Published in: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security - CCS'16, 2016, Page(s) 1690-1701
DOI: 10.1145/2976749.2978383

Practical Non-Malleable Codes from l-more Extractable Hash Functions

Author(s): Aggelos Kiayias, Feng-Hao Liu, Yiannis Tselekounis
Published in: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security - CCS'16, 2016, Page(s) 1317-1328
DOI: 10.1145/2976749.2978352

Indistinguishable Proofs of Work or Knowledge

Author(s): Foteini Baldimtsi, Aggelos Kiayias, Thomas Zacharias, Bingsheng Zhang
Published in: Advances in Cryptology – ASIACRYPT 2016, 2016, Page(s) 902-933
DOI: 10.1007/978-3-662-53890-6_30

CCA-Secure Inner-Product Functional Encryption from Projective Hash Functions

Author(s): Fabrice Benhamouda, Florian Bourse, Helger Lipmaa
Published in: Public-Key Cryptography – PKC 2017, 2017, Page(s) 36-66
DOI: 10.1007/978-3-662-54388-7_2

Ceremonies for End-to-End Verifiable Elections

Author(s): Aggelos Kiayias, Thomas Zacharias, Bingsheng Zhang
Published in: Public-Key Cryptography – PKC 2017, 2017, Page(s) 305-334
DOI: 10.1007/978-3-662-54388-7_11

Optimally Sound Sigma Protocols Under DCRA

Author(s): Helger Lipmaa
Published in: 21st International Conference on Financial Cryptography and Data Security 2017, 2017

A Simpler Rate-Optimal CPIR Protocol.

Author(s): Helger Lipmaa and Kateryna Pavly
Published in: 21st International Conference on Financial Cryptography and Data Security 2017, 2017

Privacy-Preserving Outlier Detection for Data Streams

Author(s): Jonas Böhler, Daniel Bernau, Florian Kerschbaum
Published in: Data and Applications Security and Privacy XXXI. DBSec 2017, 2017, Page(s) 225-238
DOI: 10.1007/978-3-319-61176-1_12

The Loopix Anonymity System

Author(s): Ania Piotrowska, Jamie Hayes, Tariq Elahi, Sebastian Meiser, George Danezis
Published in: USENIX Security Symposium 2017, 2017

MCMix: Anonymous Messaging via Secure Multiparty Computation

Author(s): Nikolaos Alexopoulos, Aggelos Kiayias, Riivo Talviste, Thomas Zacharias
Published in: USENIX Security Symposium 201, 2017

Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol.

Author(s): Aggelos Kiayias, Alexander Russell, Bernardo David, Roman Oliynykov
Published in: Advances in Cryptology – CRYPTO 2017, 2017, Page(s) 357-388
DOI: 10.1007/978-3-319-63688-7_12

The Bitcoin Backbone Protocol with Chains of Variable Difficulty

Author(s): Juan Garay, Aggelos Kiayias, Nikos Leonardos
Published in: Advances in Cryptology – CRYPTO 2017, 2017, Page(s) 291-323
DOI: 10.1007/978-3-319-63688-7_10

A Framework for the Game-theoretic Analysis of Censorship Resistance

Author(s): Tariq Elahi, Joan A. Doucette, Hadi Hosseini, Steven J. Murdoch, and Ian Goldberg
Published in: Proceedings on Privacy Enhancing Technologies, Issue volume 4, 2016, 2016, Page(s) 83-101, ISSN 2299-0984

SoK: Making Sense of Censorship Resistance Systems

Author(s): Sheharbano Khattak, Tariq Elahi, Laurent Simon, Colleen M. Swanson, Steven J. Murdoch, and Ian Goldberg
Published in: Proceedings on Privacy Enhancing Technologies, Issue Volume 4, 2016, 2016, Page(s) 37-61, ISSN 2299-0984

Lower-Cost epsilon-Private Information Retrieval

Author(s): Raphael R. Toledo, George Danezis, Ian Goldberg
Published in: Proceedings on Privacy Enhancing Technologies, Issue Volume 4, 2016, 2016, Page(s) 184–201, ISSN 2299-0984

Website Fingerprinting Defenses at the Application Layer

Author(s): Giovanni Cherubin, Jamie Hayes, Marc Juarez
Published in: Proceedings on Privacy Enhancing Technologies, Issue 2017/2, 2017, ISSN 2299-0984
DOI: 10.1515/popets-2017-0023

An Efficient E2E Verifiable E-voting System without Setup Assumptions


Published in: ISSN 1540-7993
DOI: 10.1109/MSP.2017.71

On the Privacy and Security of the Ultrasound Ecosystem

Author(s): Vasilios Mavroudis, Shuang Hao, Yanick Fratantonio, Federico Maggi, Christopher Kruegel, Giovanni Vigna
Published in: Proceedings on Privacy Enhancing Technologies, Issue 2017/2, 2017, ISSN 2299-0984
DOI: 10.1515/popets-2017-0018

Auditing for privacy in threshold PKE e-voting

Author(s): Aggelos Kiayias, Thomas Zacharias, Bingsheng Zhang
Published in: Information and Computer Security, Issue 25/1, 2017, Page(s) 100-116, ISSN 2056-4961
DOI: 10.1108/ics-07-2016-0056

AWARE: Anonymization With guARanteEd privacy

Author(s): Florian Kerschbaum, Mathias Kohler, Florian Hahn and Daniel Bernau
Published in: 2016

A survey on routing in anonymous communication protocols

Author(s): Fatemeh Shirazi, Milivoj Simeonovski, Muhammad Rizwan Asghar, Michael Backes, and Claudia Diaz
Published in: 2016

VAMS: Verifiable Auditing of Access to Confidential Data

Author(s): Hicks, Alexander; Mavroudis, Vasilios; Al-Bassam, Mustafa; Meiklejohn, Sarah; Murdoch, Steven J.
Published in: Issue 1, 2018

Optimally Sound Sigma Protocols Under DCRA

Author(s): Helger Lipmaa
Published in: Financial Cryptography and Data Security, Issue 10322, 2017, Page(s) 182-203
DOI: 10.1007/978-3-319-70972-7_10

A Simpler Rate-Optimal CPIR Protocol

Author(s): Helger Lipmaa, Kateryna Pavlyk
Published in: Financial Cryptography and Data Security, Issue 10322, 2017, Page(s) 621-638
DOI: 10.1007/978-3-319-70972-7_35