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 Manuel Barbosa

Secure machine learning via homomorphic encryption

Author Bernardo da Silva Moço de Soares Ramalho

Degree MSc

Year 2023

Institution UP-FEUP

Bringing Post-Quantum Cryptography to Practice

Author Luís Alberto Oliveira Rocha Esquível Costa

Degree PhD

Year 2023

Institution UM

Security in Conflict-free Replicated Data Types

Author Diogo João Veiga de Sousa

Degree MSc

Year 2022

Institution UP-FCUP

High-speed and High-assurance Cryptographic Software

Author Tiago Filipe Azevedo Oliveira

Degree PhD

Year 2022

Institution UP-FCUP

High-Assurance, High-Speed Post-Quantum Cryptography in Safe Rust

Author Leonardo Fernandes Moura

Degree MSc

Year 2022

Institution UP-FEUP

Formal Verification of Resource Usage

Author Ana Carolina Ferreira da Silva

Degree MSc

Year 2022

Institution UP-FCUP

Efficent Verified MPC

Author Manuel Luís Magalhães Duarte Correia

Degree MSc

Year 2021

Institution UP-FCUP

HACSpec Extractor

Author Raul Miguel Gomes Mendiratta

Degree MSc

Year 2021

Institution UP-FCUP

Trade-offs between privacy and efficiency on databases

Author Rogério António da Costa Pontes

Degree PhD

Year 2021

Institution UP-FCUP

High-speed and High-assurance Cryptographic Software

Author Tiago Filipe Azevedo Oliveira

Degree PhD

Year 2021

Institution UP-FCUP

Interoperabilidade FIDO

Author Mateus de Campos

Degree MSc

Year 2020

Institution UP-FCUP

High-speed and High-assurance Cryptographic Software

Author Tiago Filipe Azevedo Oliveira

Degree PhD

Year 2020

Institution UP-FCUP

  • 1
  • 3