Browsing by Author Portela,B
Showing results 1 to 6 of 6
| Issue Date | Title | Author(s) |
| 2019 | BISEN: Efficient boolean searchable symmetric encryption with verifiability and minimal leakage | Portela,B; Leitao,J; Domingos,H; Borges,G; Tiago Filipe Oliveira; Ferreira,B; 6207 |
| 2020 | Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware | Portela,B; Leitao,J; Domingos,HJ; Borges,G; Tiago Filipe Oliveira; Ferreira,B; 6207 |
| 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 |
| 2021 | S2Dedup: SGX-enabled secure deduplication | Miranda,M; João Tiago Paulo; Portela,B; Esteves,T; 5621 |
| 2021 | Secure Conflict-free Replicated Data Types | Ferreira,B; Preguiça,NM; Manuel Barbosa; Portela,B; Marques,JC; 5604 |
| 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 |
