Seguir
Bernardo Portela
Bernardo Portela
INESC TEC, FCUP
Dirección de correo verificada de fc.up.pt
Título
Citado por
Citado por
Año
Secure multiparty computation from SGX
R Bahmani, M Barbosa, F Brasser, B Portela, AR Sadeghi, G Scerri, ...
International Conference on Financial Cryptography and Data Security, 477-497, 2017
1112017
Foundations of hardware-based attested computation and application to SGX
M Barbosa, B Portela, G Scerri, B Warinschi
2016 IEEE European Symposium on Security and Privacy (EuroS&P), 245-260, 2016
832016
A machine-checked proof of security for AWS key management service
JB Almeida, M Barbosa, G Barthe, M Campagna, E Cohen, B Gregoire, ...
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
262019
A practical framework for privacy-preserving nosql databases
R Macedo, J Paulo, R Pontes, B Portela, T Oliveira, M Matos, R Oliveira
2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 11-20, 2017
262017
Boolean searchable symmetric encryption with filters on trusted hardware
B Ferreira, B Portela, T Oliveira, G Borges, H Domingos, J Leitao
IEEE Transactions on Dependable and Secure Computing 19 (2), 1307-1319, 2020
142020
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
JB Almeida, M Barbosa, G Barthe, H Pacheco, V Pereira, B Portela
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 132-146, 2018
132018
Secure conflict-free replicated data types
M Barbosa, B Ferreira, J Marques, B Portela, N Preguiça
Proceedings of the 22nd International Conference on Distributed Computing …, 2021
122021
IEEE draft standard for spectrum characterization and occupancy sensing
P Zhang, X Shi, SU Khan, B Ferreira, B Portela, T Oliveira, G Borges, ...
IEEE Access 9 (2), 2019
112019
S2Dedup: SGX-enabled secure deduplication
M Miranda, T Esteves, B Portela, J Paulo
Proceedings of the 14th ACM International Conference on Systems and Storage …, 2021
102021
Bisen: Efficient boolean searchable symmetric encryption with verifiability and minimal leakage
B Ferreira, B Portela, T Oliveira, G Borges, H Domingos, J Leitão
2019 38th Symposium on Reliable Distributed Systems (SRDS), 103-10309, 2019
82019
TrustFS: an SGX-enabled stackable file system framework
T Esteves, R Macedo, A Faria, B Portela, J Paulo, J Pereira, D Harnik
2019 38th International Symposium on Reliable Distributed Systems Workshops …, 2019
72019
Secure multiparty computation from SGX
B Portela, MBM Barbosa, F Brasser, AR Sadeghi, G Scerri, B Warinschi
Financial Cryptography and Data Security 2017: Twenty-First International …, 2017
72017
BISEN: efficient boolean searchable symmetric encryption with verifiability and minimal leakage
B Portela, J Leitao, H Domingos, G Borges, TF Oliveira, B Ferreira
42019
Soteria: Preserving privacy in distributed machine learning
C Brito, P Ferreira, B Portela, R Oliveira, J Paulo
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 135-142, 2023
32023
A formal treatment of the role of verified compilers in secure computation
JCB Almeida, M Barbosa, G Barthe, H Pacheco, V Pereira, B Portela
Journal of Logical and Algebraic Methods in Programming 125, 100736, 2022
32022
A provable security treatment of isolated execution environments and applications to secure computation
BLF Portela
PQDT-Global, 2018
32018
Soteria: Privacy-Preserving Machine Learning for Apache Spark.
C Brito, P Ferreira, B Portela, R Oliveira, J Paulo
IACR Cryptol. ePrint Arch. 2021, 966, 2021
22021
Privacy-Preserving Machine Learning on Apache Spark
CV Brito, PG Ferreira, BL Portela, RC Oliveira, JT Paulo
IEEE Access 11, 127907-127930, 2023
2023
General-Purpose Secure Conflict-free Replicated Data Types
B Portela, H Pacheco, P Jorge, R Pontes
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 521-536, 2023
2023
Poster: User Sessions on Tor Onion Services: Can Colluding ISPs Deanonymize Them at Scale?
D Lopes, P Medeiros, JD Dong, D Barradas, B Portela, J Vinagre, ...
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
2022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20