Section: Partnerships and Cooperations
Inria Associate Teams
The POLSYS Team and ARIC at ENS Lyon are part of the QOLAPS (Quantifier Elimination, Optimization, Linear Algebra and Polynomial Systems) Associate Team with the Symbolic Computation Group at North Carolina State University.
Participation In International Programs
The POLSYS Team is part of the ECCA (Exact/Certified Computations with Algebraic systems) project at LIAMA in Beijing; our Chinese collaborators are from Beihang University, Peking University, the Chinese Academy of Sciences (Key Laboratory of Mathematics Mechnanization and State Key Laboratory of Information Security).
We are also part of an International Royal Society Joint Project with the Crypto team Royal Holloway, University of London, UK (2010-2012). The Royal Society Joint Project Grant Programme is designed to enable international collaboration. The main goal of the project is to investigate the viability of a wide range of new algebraic techniques in the cryptanalysis of block ciphers, and potentially other symmetric cryptographic algorithms (such as hash functions).