Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Supervised
thesis

Supervised thesis by High-Assurance Software

Gestão e controlo de dispositivos IoT através da interação com assistentes digitais

Author Júlio Dinis Sá Peixoto

Degree MSc

Year 2019

Institution UM

Aplicações para TV baseado em Templates em várias plataformas

Author Victor Manuel da Cunha

Degree MSc

Year 2019

Institution UM

Conveniência e Segurança com SCMD

Author Nuno Cabral Vieira

Degree MSc

Year 2019

Institution UM

Gerador de protótipos de interfaces gráficas para IVY Workbench

Author João Miguel Matela Aidos Manso de Araújo

Degree MSc

Year 2019

Institution UM

Integração de criptografia pós-quântica (NTRU) no protocolo TLS

Author Afonso Pires Fontes

Degree MSc

Year 2019

Institution UM

Adaptive consensus for the blockchain

Author Ricardo António Gonçalves Pereira

Degree MSc

Year 2019

Institution UM

Cybersecurity analysis of a SCADA system under current standards, penetration testing and definition of mitigating strategies

Author Filipe Pestana Duarte Rocha

Degree MSc

Year 2019

Institution UP-FEUP

Acordo Bizantino Mutável para a Blockchain

Author Fábio Luís Baião da Silva

Degree MSc

Year 2019

Institution UM

On Quantum Bayesian Networks

Author Michael de Oliveira

Degree MSc

Year 2019

Institution UM

Integration of Time in a Quantum Process Algebra

Author Vítor Emanuel Gonçalves Fernandes

Degree MSc

Year 2019

Institution UM

Weighted Computations: semantics and program logics

Author Leandro Rafael Moreira Gomes

Degree PhD

Year 2019

Institution UP-FCUP

Towards model checking Electrum Specifications with LTSmin

Author Bruno Miguel Sousa Cancelinha

Degree MSc

Year 2019

Institution UM

  • 2
  • 25