| Paulo Alexandre Carreira Mateus |
| E-mail: Send Email |
View Group Collaboration Network
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.
Contact Us
IT – Lisboa
Instituto Superior Técnico - Torre Norte - Piso 10
1049 - 001 Lisboa
Tel: +351 21 841 84 54
Fax: +351 21 841 84 72
URL: https://www.it.pt/SQI - Lx
Site URL: https://www.it.pt/it-Lis