Toggle navigation
Contact us
Intranet login
About us
Overview
History
Organization
Partnerships
Facts and Figures
Start-ups & Spin-offs
IT Sites
IT Aveiro
IT Coimbra
IT Lisboa
IT Branch - Covilhã
IT Branch - ISCTE-IUL
IT Branch - Leiria
IT Branch - Porto
Research & Innovation
Thematic Lines
Lab Infrastructure
Research Impact
Research Highlights
Technology Transfer
News & Events
News
Coming Events
Past Events
Outreach Activities
Clipping
Newsletters
Work With Us
Post-doc positions
Other research positions
Why choose IT
Testimonials
Resources
Annual Reports
Quality Policy
Code of Conduct
Gender Equality
Privacy Policy
Support Staff
Press Kit
Search!
Creating and sharing knowledge for telecommunications
Home
IT Sites
IT – Lisboa
Research Clusters
Security and Quantum Information - Lx
Thesis
Close
It appears your web browser doesn't support iframes.
Security and Quantum Information - Lx
Parent Research Cluster
Applied Mathematics
Security and Quantum Information - Lx
Researchers
Laboratories
Publications
Projects
Patents
Awards
Theses
International Collaboration
Positions
Theses
From
To
Search
Running PhD Theses:
8
Student
Supervisor
Co-Supervisor
Title
End date
Afonso Tinoco de Faria Cecílio dos Santos
Pedro Miguel dos Santos Alves Madeira Adão
Rodrigo Rodrigues
Analysis of Consensus Protocols
12 / 2025
Tiago Silvério
Paulo Sergio de Brito Andre
Preeti Yadav
Satellite constellation quantum key distribution towards secure multiparty computation
12 / 2025
Nuno Miguel da Silva Sabino
Pedro Miguel dos Santos Alves Madeira Adão
Rui Abreu
Analysis of Web Vulnerabilities
8 / 2025
Carlinda Cunha
Daniel da Silva Graça
Computable Analysis applied to Dynamical systems
12 / 2024
Manuel Maria Trigueiros Sampaio Batalha dos Santos
Paulo Alexandre Carreira Mateus
Armando Humberto Moreira Nolasco Pinto
Quantum Private Data Mining
12 / 2023
Manuel Goulão
Paulo Alexandre Carreira Mateus
Post-quantum multiparty computation
12 / 2022
Pedro Gonçalo Godinho Filipe
Carlos Manuel Costa Lourenco Caleiro
Sérgio Roseiro Teles Marcelino
AAL for partial non-deterministic matrices and multiple-conclusion logics
12 / 2022
Pedro de Melo Branco
Paulo Alexandre Carreira Mateus
Post-quantum cryptography based on code theory
10 / 2022
Completed PhD Theses:
23
Student
Supervisor
Co-Supervisor
Title
End date
Mariana Ferreira Ramos
Armando Humberto Moreira Nolasco Pinto
Nuno Alexandre Peixoto Silva
Quantum Oblivious Key Distribution
5 / 2022
Riccardo Gozzi
João Filipe Quintas dos Santos Rasga
Daniel da Silva Graça
Analog Characterization of Complexity Classes
2 / 2022
Ricardo André Faleiro Miguel
Paulo Alexandre Carreira Mateus
Nikola Paunkovic
Entanglement and applications to quantum games
1 / 2022
Serena Di Giorgio
Paulo Alexandre Carreira Mateus
Bruno Miguel Santos Mera
On the efficiency of recovering density operators from direct quantum correlations via Jaynes principle
12 / 2020
Preeti Yadav
Paulo Alexandre Carreira Mateus
André Nuno Carvalho Souto
Practical Quantum Privacy Protocols
12 / 2020
Syed Tahir Amin
Nikola Paunkovic
Vitor Rocha Vieira
Tracking topological phase transitions using quantum information geometric quantities
1 / 2020
Guilherme Henrique Caçador Ramos
Carlos Manuel Costa Lourenco Caleiro
Improving information security in ranking, recommender and control systems
11 / 2018
Filipe Manuel Rodrigues Casal
João Filipe Quintas dos Santos Rasga
Combining Satisfiability Procedures and Probabilistic Satisfiability
9 / 2018
Chrysoula Vlachou
Paulo Alexandre Carreira Mateus
Nikola Paunkovic
Quantum walks in cryptography and finite-temperature topological phase transitions
9 / 2018
Ricardo Loura
Paulo Alexandre Carreira Mateus
Vítor Rocha Vieira
Quantum Adiabatic Computation
4 / 2017
Andreia Filipa Torcato Mordido
Carlos Manuel Costa Lourenco Caleiro
A probabilistic logic over equations and domain restrictions
3 / 2017
João Paulo do Amaral de Jesus Rodrigues
Paulo Alexandre Carreira Mateus
Nikola Paunkovic
Quantum oblivious transfer
3 / 2017
David João Barros Henriques
Paulo Alexandre Carreira Mateus
Formal Reasoning About Temporal Properties in Dynamic Stochastic Systems.
9 / 2016
João Ribeiro
Carlos Eduardo Ramos dos Santos Lourenço
Sistemas dinâmicos não lineares em instabilidade afectiva
7 / 2016
Manuel Biscaia
Paulo Alexandre Carreira Mateus
Interplay between Probabilistic and Temporal Reasoning
6 / 2016
Amaury Pouly
Daniel da Silva Graça
Olivier Bournez
Continuous-time computation models: from computability to computational complexity
7 / 2015
José Faustino Santos
Ana Gualdina Almeida Matos
Tamara Rezk
Enforcing Secure Information Flow in Client-Side Web Applications
12 / 2014
Bruno José Conchinha Montalto
Carlos Manuel Costa Lourenco Caleiro
David Basin
Equivalence properties and probabilistic reasoning in symbolic security protocol analysis
6 / 2014
Maxime Emile Gamboni
Carlos Manuel Costa Lourenco Caleiro
António Maria Alarcão Ravara
Models and Proof Methods for Information Protection
12 / 2010
Pedro Alexandre Cardoso Baltazar
Paulo Alexandre Carreira Mateus
Model Checking of Quantum Security Protocols
7 / 2010
Ricardo João Rodrigues Gonçalves
Carlos Manuel Costa Lourenco Caleiro
Algebraizability of Quantum Logics
7 / 2008
Luís Filipe Silva Camacho
Francisco Miguel Alves Campos de Sousa Dionísio
Pedro Lopes
Colorings of Knots versus Polynomial Invariants
7 / 2008
Pedro Miguel dos Santos Alves Madeira Adão
Paulo Alexandre Carreira Mateus
Andre Scedrov
Formal Methods for the Analysis of Security Protocols
12 / 2006
Completed MSc Theses:
24
Student
Supervisor
Co-Supervisor
Title
End date
Vitor Rodrigues Greati
João Marcos
Sérgio Roseiro Teles Marcelino
Generalized notions of logic: B-entailment
12 / 2021
João Carlos Marques Alves
Ana Gualdina Almeida Matos
Ana Patrícia Subtil da Graça Freitas Garcia
Bias in Citizen Science: an application to the BioDiversity4All project
9 / 2021
Guilherme Crespo Rodrigues Antunes Correia
Ana Gualdina Almeida Matos
The Shape of Collaboration Networks in Citizen Science Projects
9 / 2021
João Carlos Vieira Rodrigues
Filipe Alexandre Pedra Aguiar de Moura
Black holes in string theory: quasinormal modes and greybody factors
11 / 2020
João Ricardo Sares Teles de Matos
Ana Gualdina Almeida Matos
Jan Gunnar Cederquist
Information Flow Analysis for Logic Programs
6 / 2020
Daniel José Nazaré Madruga
Jan Gunnar Cederquist
Ana Gualdina Almeida Matos
Extension and deployment of an i-voting system
6 / 2020
João de Araujo Correia Neto Lopes
Ana Gualdina Almeida Matos
Jan Gunnar Cederquist
Verification of the back-end of an i-voting system
2 / 2020
João Henrique Fialho Rodrigues
Alexandra Sofia Martins de Carvalho
Paulo Alexandre Carreira Mateus
Time series analysis using restricted Boltzmann machines and dynamic Bayesian networks
12 / 2019
Beatriz Abecasis Gomes Ferreira
Jan Gunnar Cederquist
Ana Gualdina Almeida Matos
Resource-Centered Concurrency Control - Proving Type Safety
6 / 2019
João Pedro Carriço Beirão
Alexandra Sofia Martins de Carvalho
Paulo Alexandre Carreira Mateus
Multivariate Correlations for Early Classification
5 / 2018
Margarida Nunes de Almeida Rodrigues de Sousa
Alexandra Sofia Martins de Carvalho
Mario Alexandre Teles de Figueiredo
Advances in Probabilistic Graphical Models
12 / 2017
Rui Pedro Pimentel de Almeida Guerra
Alexandra Sofia Martins de Carvalho
Paulo Alexandre Carreira Mateus
Model Selection for Clustering of Pharmacokinetic Responses with the Minimum Description Length
11 / 2017
Fernando Mário Machado Marques
Ana Gualdina Almeida Matos
Jan Gunnar Cederquist
E-voting, on Fenix
9 / 2017
Bruno Filipe Guia de Sousa
Pedro Miguel dos Santos Alves Madeira Adão
João Carlos Serrenho Dias Pereira
Keyword Based Framework for DLNA Acceptance Testing
11 / 2015
Rafael Vassalo Cortês
Pedro Miguel dos Santos Alves Madeira Adão
Luís Manuel Antunes Veiga
CloudBox: Private, Reliable and Distributed Storage
11 / 2015
Rafael Farias Baltazar
Pedro Miguel dos Santos Alves Madeira Adão
João Carlos Serrenho Dias Pereira
JMLCUTE: Automated JML-Based Unit Test Case Generation
11 / 2015
Miguel Abreu Malafaia Mendes Belo
Pedro Miguel dos Santos Alves Madeira Adão
Automation of Secrecy Proofs for Security of Protocols
11 / 2015
Pedro faria
Carlos Eduardo Ramos dos Santos Lourenço
Carlos Eduardo Ramos dos Santos Lourenço
An Artificial Bidimensional Model for Bursting Behaviour in Neurons
9 / 2013
Manuel Nunes Farinha Correia Rego
Pedro Miguel dos Santos Alves Madeira Adão
Ricardo Jorge Fernandes Chaves
Security and Privacy in Identification and Micro-Payment Systems
11 / 2012
Maria Ana Casal Cunha
Pedro Miguel dos Santos Alves Madeira Adão
João Carlos Serrenho Dias Pereira
Integration and Support for Automatic Generation of Test Cases using AnyTestes Framework
11 / 2012
João Miguel Barros Silva Mendes
Pedro Miguel dos Santos Alves Madeira Adão
Electronic Voting
6 / 2011
Elton Pedro Sixpence
Pedro Miguel dos Santos Alves Madeira Adão
Projecto de implementação de Testes Automatizados para a Aplicacão Web ISUPAC3 no ISUTC
12 / 2010
Ismael Everardo Bárcenas Patiño
João Filipe Quintas dos Santos Rasga
A Proof Theory of Interpolation
12 / 2007
José Nuno Ferreira Maia Pereira
Maria Paula Antunes Abrantes Gouveia
Jaime Arsenio de Brito Ramos
Abductive reasoning of agent specifications
10 / 2007
© 2022, IT - Instituto de Telecomunicações | All Rights Reserved