projects:alambic:description [Crypto Team DI/ENS] (original) (raw)

projects:alambic:description

Applications de la Malléabilité en Cryptographie

The project started in October 2016 for a period of 4 years.

The ALAMBIC research program builds on the existing expertise of the researchers involved in this project; one of its goals is to bring together specialists of the different fields mentioned above to address these problems and its implementation in a global and efficient way.

Each partner is the coordinator of one Task and is in charge of its progress and the writing of the related deliverables. We will organize periodic meetings to present recent research findings and future plans.

The project plan is divided into 4 main tasks.

Task 0: Project Management

Management is planned as follows:

• a technical meeting is to take place every 2 months: each partner shall attend each meeting, the Task leader organizes the meetings and its minutes;
• an annual progress report is written and supplied by the task leader;
• the Task leader shall coordinate follow-up actions and the supplying of each milestone;
• a project cooperation web portal shall be provided

Task 1: Secure Outsourcing and Server-Aided Cryptography

This Task is divided into four subtasks:

• Task 1.1: Outsourcing Basic Cryptographic Operations
• Task 1.2: Outsourcing Functional Encryption
• Task 1.3: Outsourcing for the Cloud
• Task 1.4: Outsourcing Cryptographic Proof Systems and Verifiable Delegation

For this Task, two deliverables will be produced:

• D1.1 (T0+12): Technical Use of Malleability in Server-Aided Cryptography (Document)
• D1.2 (T0+36): Oursourcing Cryptographic Operations and Protocols (Document)

Task 2: Homomorphic Encryption and Applications

This Task is divided into four subtasks:

• Task 2.1: Homomorphic Encryption and Multi-Party Computations
• Task 2.2: Design of Homomorphic Encryption Schemes
• Task 2.3: Design of More Powerful Homomorphic Signatures
• Task 2.4: Decentralized Cryptography

For this Task, two deliverables will be produced:

• D2.1 (T0+18): Applications of malleability in distributed computing (Document)
• D2.2 (T0+42): Design of new homomorphic primitives (Document)

Task 3: ``Paradoxical'' Applications of Malleability in Cryptography

This Task is divided into four subtasks:

• Task 3.1: Applications of Malleability for (Privacy-Preserving)
• Task 3.2: Quasi-Adaptive Non-Interactive Zero-Knowledge Proof Systems
• Task 3.3: Automatic Compiler for Proof Systems
• Task 3.4: Practical Obfuscation of Cryptographic Tasks

For this Task, three deliverables will be produced:

• D3.1 (T0+24): Applications of malleability for signatures and encryption (Document)
• D3.2 (T0+36): Automatic Compiler for Proof Systems (Software)
• D3.3 (T0+48 ): Advances in quasi-adaptive non-interactive zero-knowledge proof systems (Document)

projects/alambic/description.txt

· Dernière modification: 2016/10/07 13:30 par

vergnaud