Creating and sharing knowledge for telecommunications


Paulo Alexandre Carreira Mateus
E-mail: Send Email

Scope of activities

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.



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: - Lx
Site URL:

Contact Us