|Paulo Alexandre Carreira Mateus|
|E-mail: Send Email|
The Security and Quantum Information Group carries out research and advanced scientific training activities in logic and computation with emphasis on the fields of information security and quantum computation and information. The main goals of the Group are:
(i) to analyse the security of cryptographic protocols using formal methods;
(ii) to propose new security protocols relying on hardness
assumptions, based on conjectures from computational complexity, or relying on the laws of quantum mechanics.