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
Participant : Xavier Caruso.
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.