INESCTEC: Browsing DSpace

Browsing by Author Portela,B

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 5 of 5

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

Showing results 1 to 5 of 5