Data | Título | Autor(es) | Tipo | Acesso |
2018 | hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo em ata de conferência | Acesso aberto |
2019 | A machine-checked proof of security for AWS key management service | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al. | Artigo em ata de conferência | Acesso aberto |
2023 | SOTERIA: Preserving privacy in distributed machine learning | Brito, Cláudia Vanessa Martins; Ferreira, Pedro G.; Portela, Bernardo, et al. | Artigo em ata de conferência | Acesso restrito UMinho |
2019 | TRUSTFS: an SGX-enabled stackable file system framework | Esteves, Tânia; Macedo, Ricardo; Faria, Alberto, et al. | Artigo em ata de conferência | Acesso restrito UMinho |