High-speed and High-assurance Cryptographic Software

Author Tiago Filipe Azevedo Oliveira

Degree PhD

Year 2017

Institution UP-FCUP

Integrated verification of cryptographic security proofs and implementations

Author Vitor Manuel Parreira Pereira

Degree PhD

Year 2017

Institution UP-FCUP

Electronic Voting over the Internet - A real-world solution

Author Michael Lothar Mendes Seufert

Degree MSc

Year 2017

Institution UP-FCUP

Data intensive applications verification

Author Daniel Arménio Silva Mendonça

Degree MSc

Year 2017

Institution UP-FEUP

Interoperable Assistive Technologies

Author Eduardo Miguel Moreira Guedes Osório

Degree MSc

Year 2017

Institution UP-FEUP

Computação segura em bases de dados NoSQL

Author Ricardo Gonçalves Macedo

Degree MSc

Year 2017

Institution UM

Dependable and Decentralized Software-Defined Storage Stack

Author Ricardo Gonçalves Macedo

Degree PhD

Year 2017

Institution UM

Broadcast Cancellation in Unstructured Networks

Author Rui Manuel Dias Ferreira Lima

Degree PhD

Year 2017

Institution UM

Database Replication for Enterprise Applications

Author Ana Luísa Parreira Nunes Alonso

Degree PhD

Year 2017

Institution UM

TOM Framework: Uma ferramenta de testes baseados em modelos para interfaces gráficas web

Degree MSc

Year 2017

Institution UM

A framework for architectural design and simulation of hybrid systems

Degree MSc

Year 2017

Institution UM

Agilizar o deployment de aplicações modernas

Degree MSc

Year 2017

Institution UM