Project-team COMETE Privacy, Fairness and Robustness in Information Management In COMETE we study emerging concepts of the modern era of computing. Security and privacy are some...
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 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...
