BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage. - Guilherme Borges; Henrique João L. Domingos; Bernardo Ferreira; João Leitão 001; Tiago Oliveira 004; Bernardo Portela (IACR Cryptol. ePrint Arch., 2018)

Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware. - Bernardo Ferreira; Bernardo Portela; Tiago Oliveira 004; Guilherme Borges; Henrique João L. Domingos; João Leitão 001 (IEEE Trans. Dependable Secur. Comput., 2022)