Project-team PESTO Proof techniques for security protocols The aim of the Pesto project is to build formal models and techniques, for computer-aided analysis...
Project-team PETSCRAFT Crafting Explicable and Efficient Privacy-Enhancing Technologies PETSCRAFT focuses primarily on modeling privacy protection concepts and on the design, optimization...
Project-team PIRAT Protection of Information and Resistance to ATtacks The PIRAT team (Protection of Information and Resistance to ATtacks) focuses on research in...
Project-team PRIVATICS Privacy Models, Architectures and Tools for the Information Society Since its creation in 2014, the PRIVATICS project-team focusses on privacy protection in the digital...
Project-team QINFO Optimal Information Processing with Quantum Devices Information-processing devices that can take advantages of the laws of quantum theory have an...
Project-team QUACS Quantum Computation Structures Encoding information within quantum systems and manipulating them promises to lead to great...
Project-team QURIOSITY Quantum Information Processing and Communication QURIOSITY’s ambition is to extend the application horizon of quantum information science by...
Project-team SPADES Sound Programming of Adaptive Dependable Embedded Systems The SPADES project-team aims at mastering the complexity and dependability of networked embedded...
Project-team STAMP Safety Techniques based on Formalized Mathematical Proofs The STAMP project-team studies the formal verification of algorithms and mathematical results using...
Project-team SUSHI SecUrity at the Software-Hardware Interface Computer systems rely on computing platforms to execute user applications and host their data. These...
Project-team SYCOMORES Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems The objective of the SYCOMORES project-team is to develop a framework for the design and the...
Project-team TARAN Domain-Specific Computers in the Post Moore’s Law Era Energy efficiency has now become one of the main requirements for virtually all computing platforms...
