Section: Partnerships and Cooperations
ANR Alambic – AppLicAtions of MalleaBIlity in Cryptography
Participant : Guilhem Castagnos.
The Alambic project is a research project formed by members of the Inria Project-Team CASCADE of ENS Paris, members of the AriC Inria project-team of ENS Lyon, and members of the CRYPTIS of the university of Limoges. G. Castagnos is an external member of the team of Lyon for this project.
Non-malleability is a security notion for public key cryptographic encryption schemes that ensures that it is infeasible for an adversary to modify ciphertexts into other ciphertexts of messages which are related to the decryption of the first ones. On the other hand, it has been realized that, in specific settings, malleability in cryptographic protocols can actually be a very useful feature. For example, the notion of homomorphic encryption allows specific types of computations to be carried out on ciphertexts and generate an encrypted result which, when decrypted, matches the result of operations performed on the plaintexts. The homomorphic property can be used to create secure voting systems, collision-resistant hash functions, private information retrieval schemes, and for fully homomorphic encryption enables widespread use of cloud computing by ensuring the confidentiality of processed data.
The aim of the Alambic project to investigate further theoretical and practical applications of malleability in cryptography. More precisely, this project focuses on three different aspects: secure computation outsourcing and server-aided cryptography, homomorphic encryption and applications and << paradoxical >> applications of malleability.
ANR CLap–CLap – The -adic Langlands correspondence: a constructive and algorithmical approach
Participants : Xavier Caruso, Jean-Marc Couveignes.
The -adic Langlands correspondence has become nowadays one of the deepest and the most stimulating research programs in number theory. It was initiated in France in the early 2000's by Breuil and aims at understanding the relationships between the -adic representations of -adic absolute Galois groups on the one hand and the -adic representations of -adic reductive groups on the other hand. Beyond the case of which is now well established, the -adic Langlands correspondence remains quite obscure and mysterious new phenomena enter the scene; for instance, on the -side one encounters a vast zoology of representations which seems extremely difficult to organize.
The CLap–CLap ANR project aims at accelerating the expansion of the -adic Langlands program beyond the well-established case of . Its main originality consists in its very constructive approach mostly based on algorithmics and calculations with computers at all stages of the research process. We shall pursue three different objectives closely related to our general aim:
This project will also be the opportunity to contribute to the development of the mathematical software SageMath and to the expansion of computational methodologies.
ANR Ciao – Cryptography, Isogenies and Abelian varieties Overwhelming
Participants : Jean-Marc Couveignes, Jean Kieffer, Aurel Page, Damien Robert.
The CIAO ANR project is a young researcher ANR project led by Damien Robert October 2019.
The aim of the CIAO project is to study the security and improve the efficiency of the SIDH (supersingular isogenies Diffie Helmann) protocol, which is one of the post-quantum cryptographic project submitted to NIST, which passed the first round selection.
The project include all aspects of SIDH, from theoretical ones (computing the endomorphism ring of supersingular elliptic curves, generalisation of SIDH to abelian surfaces) to more practical aspects like arithmetic efficiency and fast implementations, and also extending SIDH to more protocols than just key exchange.
Applications of this project is to improve the security of communications in a context where the currently used cryptosystems are vulnerable to quantum computers. Beyond post-quantum cryptography, isogeny based cryptosystems also allow to construct new interesting cryptographic tools, like Verifiable Delay Functions, used in block chains.