Folgen
Bernardo Portela
Bernardo Portela
INESC TEC, FCUP
Bestätigte E-Mail-Adresse bei fc.up.pt
Titel
Zitiert von
Zitiert von
Jahr
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
1082017
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
802016
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
272017
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
232019
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
132020
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
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
112018
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
102019
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
92021
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
92019
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
Cryptology ePrint Archive, 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20