Creating and sharing knowledge for telecommunications

Security and Quantum Information - Lx

Parent Research Cluster
Applied Mathematics
Security and Quantum Information - Lx

Theses

Running PhD Theses: 4

Student Supervisor Co-Supervisor Title End date
Manuel Goulão Paulo Alexandre Carreira Mateus Post-quantum multiparty computation 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

Completed PhD Theses: 26

Student Supervisor Co-Supervisor Title End date
Pedro de Melo Branco Paulo Alexandre Carreira Mateus Reducing the Communication in Secure Computation 10 / 2023
Pedro Gonçalo Godinho Filipe Carlos Manuel Costa Lourenco Caleiro Sérgio Roseiro Teles Marcelino Computability of logical problems associated to partial non-deterministic matrices 11 / 2022
Mariana Ferreira Ramos Armando Humberto Moreira Nolasco Pinto Nuno Alexandre Peixoto Silva Quantum Oblivious Key Distribution 5 / 2022
Ricardo André Faleiro Miguel Paulo Alexandre Carreira Mateus Nikola Paunkovic Nonlocality and Contextuality: Concepts and Applications in Quantum Information 3 / 2022
Mariano José Lemus Hernández Paulo Alexandre Carreira Mateus Nikola Paunkovic Asymmetric Quantum Cryptography and Multipartite Correlations 3 / 2022
Riccardo Gozzi João Filipe Quintas dos Santos Rasga Daniel da Silva Graça Analog Characterization of Complexity Classes 2 / 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: 44

Student Supervisor Co-Supervisor Title End date
Andre Jorge Vinagre Roque Bruno Gabriel Coelho Coutinho Francisco Miguel Alves Campos de Sousa Dionísio Quantum Entanglement Purification using Hashing and Noise Guessing Decoding 12 / 2023
Alexandru Marian Pena Pedro Miguel dos Santos Alves Madeira Adão Automatic Exploit Generation: A modular approach for vulnerability validation 11 / 2022
Duarte Manuel Coelho dos Santos Pedro Miguel dos Santos Alves Madeira Adão Automatic Patch Generation: Using Safety Properties to Extract Crash Constraints 11 / 2022
Vitor Rodrigues Greati João Marcos Sérgio Roseiro Teles Marcelino Generalized notions of logic: B-entailment 12 / 2021
Jorge Cardoso Martins Pedro Miguel dos Santos Alves Madeira Adão HeapDUO: Finding Heap Vulnerabilities in Binary Code 12 / 2021
João Halm Gomes da Costa Pedro Miguel dos Santos Alves Madeira Adão Análise ao Quadro Nacional de Referência de Cibersegurança - Implementação no QNRCS em PMEs 12 / 2021
Frederico Duarte Ramos Pedro Miguel dos Santos Alves Madeira Adão José Faustino Fragoso Femenin dos Santos Toward Tool-Independent Summaries for Symbolic Execution 11 / 2021
Pedro Miguel Sousa Bernardo Pedro Miguel dos Santos Alves Madeira Adão SpecTacle - A platform agnostic analysis tool for detecting Spectre-PHT gadgets in binaries 11 / 2021
Pedro Alexandre Paixão Alves Pedro Miguel dos Santos Alves Madeira Adão MockingPot: Generate and Integrate Honeypots Into Existing Web Applications 11 / 2021
José Armando Marques da Silva Pedro Miguel dos Santos Alves Madeira Adão XS-Leaks protections deployment and Development of a Configurable Fetchmetadata Middleware 11 / 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 Pedro Pires Carrapiço de Almeida Meira Pedro Miguel dos Santos Alves Madeira Adão Structured Behavior Analysis on Encrypted Traffic: Understanding and Detecting Network Attacks 1 / 2021
Pedro Miguel Forjaz de Sampaio Narra de Figueiredo Pedro Miguel dos Santos Alves Madeira Adão Addressing Disinformation With Open-Ended Internet Voting Using Ring Signatures 1 / 2021
Manuel Vítor Dias de Sousa Pedro Miguel dos Santos Alves Madeira Adão XS-Leaks Crutch: Assisted Detection & Exploitation of Cross-Site Leaks 1 / 2021
Nuno Miguel Gião de Alcácer Bombico Pedro Miguel dos Santos Alves Madeira Adão Rui Abreu Griffin: specification-based RASP approach against SQL injections in MySQL 1 / 2021
Nuno Manuel Olival Veloso Pedro Miguel dos Santos Alves Madeira Adão Análise Estática de Smart Contracts 1 / 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
Bernardo Gastão Varanda da Silva Prates Pedro Miguel dos Santos Alves Madeira Adão Paulo Alexandre Carreira Mateus Formal Analysis of Ethereum Virtual Machine Bytecode Patterns 12 / 2019
Maria Saraiva de Campos Mendes Ribeiro Pedro Miguel dos Santos Alves Madeira Adão Paulo Alexandre Carreira Mateus Formal verification of Ethereum smart contracts using Isabelle/HOL 12 / 2019
Francisco Moreira da Silva Rogado Domingues Pedro Miguel dos Santos Alves Madeira Adão Paulo Alexandre Carreira Mateus Model-checking Ethereum smart contracts written in Vyper 12 / 2019
Rodrigo Miguel Corredoura Janota Rato Pedro Miguel dos Santos Alves Madeira Adão SORA - Finding Workflow Violation Attacks in REST APIs 11 / 2019
Nuno Miguel da Silva Sabino Pedro Miguel dos Santos Alves Madeira Adão Automatic Vulnerability Detection: Using Compressed Execution Traces to Guide Symbolic Execution 11 / 2019
Marco da Silva Teles Coelho Pedro Miguel dos Santos Alves Madeira Adão Privacy Guarantees in Geolocation Services 11 / 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
© 2024, IT - Instituto de Telecomunicações | All Rights Reserved