Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Publicações Confirmadas: 94



41
TÍTULO: Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3. Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3
AUTORES: Almeida, JB ; Baritel Ruet, C; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Oliveira, T ; Stoughton, A; Strub, PY;
PUBLICAÇÃO: 2019, FONTE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19)
INDEXADO EM: Scopus WOS DBLP CrossRef: 29
NO MEU: DBLP | CIÊNCIAVITAE
42
TÍTULO: Perfect Forward Security of SPAKE2
AUTORES: Michel Abdalla; Manuel Barbosa ;
PUBLICAÇÃO: 2019, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2019
INDEXADO EM: DBLP
NO MEU: DBLP
43
TÍTULO: hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Pacheco, H ; Pereira, V ; Portela, B ;
PUBLICAÇÃO: 2018, FONTE: 31st IEEE Computer Security Foundations Symposium (CSF) held as part of the Federated Logic Conference (FLoC) in IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), VOLUME: 2018-July
INDEXADO EM: Scopus WOS DBLP CrossRef: 9 Unpaywall
NO MEU: DBLP | CIÊNCIAVITAE
44
TÍTULO: Indifferentiable Authenticated Encryption
AUTORES: Barbosa, M ; Farshim, P;
PUBLICAÇÃO: 2018, FONTE: 38th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2018, PT I, VOLUME: 10991
INDEXADO EM: Scopus WOS DBLP CrossRef: 21
NO MEU: DBLP | CIÊNCIAVITAE
45
TÍTULO: A Fast and Verified Software Stack for Secure Function Evaluation
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Pereira, V ;
PUBLICAÇÃO: 2017, FONTE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
INDEXADO EM: Scopus WOS DBLP CrossRef: 21 Unpaywall
NO MEU: DBLP | CIÊNCIAVITAE
46
TÍTULO: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
INDEXADO EM: Scopus WOS DBLP CrossRef: 86
NO MEU: DBLP | CIÊNCIAVITAE
47
TÍTULO: Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data. Scalable and Privacy-Preserving Processing of Outsourced Data
AUTORES: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLICAÇÃO: 2017, FONTE: ESORICS (1), VOLUME: 10492 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 16
NO MEU: DBLP | CIÊNCIAVITAE
48
TÍTULO: Performance trade-offs on a secure multi-party relational database  Full Text
AUTORES: Rogerio Pontes ; Mário Pinto; Manuel Barbosa ; Ricardo Vilaça ; Miguel Matos ; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: SAC, VOLUME: Part F128005
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: DBLP
49
TÍTULO: SAFETHINGS: Data Security by Design in the IoT
AUTORES: Barbosa, M ; Ben Mokhtar, S; Felber, P; Maia, F ; Matos, M ; Oliveira, R ; Riviere, E; Schiavoni, V; Voulgaris, S;
PUBLICAÇÃO: 2017, FONTE: 13th European Dependable Computing Conference (EDCC) in 2017 13TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2017)
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: DBLP
50
TÍTULO: Secure Multiparty Computation from SGX  Full Text
AUTORES: Raad Bahmani; Manuel Barbosa ; Ferdinand Brasser; Bernardo Portela ; Ahmad Reza Sadeghi; Guillaume Scerri; Bogdan Warinschi;
PUBLICAÇÃO: 2017, FONTE: Financial Cryptography, VOLUME: 10322 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 52
NO MEU: DBLP | CIÊNCIAVITAE
Página 5 de 10. Total de resultados: 94.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service