Browsing by Author Portela,B
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
2019 | A Machine-Checked Proof of Security for AWS Key Management Service | José Bacelar Almeida; Tasiran,S; Strub,PY; Portela,B; Pereira,V; Gregoire,B; Cohen,E; Campagna,M; Barthe,G; Manuel Barbosa; 5604; 5598 |
2019 | TrustFS: An SGX-Enabled Stackable File System Framework | Ricardo Gonçalves Macedo; Harnik,D; Pereira,J; Paulo,J; Portela,B; Tânia Conceição Araújo; Alberto Campinho Faria; 7401; 6941; 7204 |