Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Confirmed Publications: 94



61
62
TITLE: Formal verification of side-channel countermeasures using self-composition  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 7
INDEXED IN: Scopus WOS DBLP CrossRef: 33
IN MY: DBLP | CIÊNCIAVITAE
63
TITLE: On the Relationship between Functional Encryption, Obfuscation, and Fully Homomorphic Encryption
AUTHORS: Joël Alwen; Manuel Barbosa ; Pooya Farshim; Rosario Gennaro; Dov D Gordon; Stefano Tessaro; David A Wilson;
PUBLISHED: 2013, SOURCE: IMACC, VOLUME: 8308 LNCS
INDEXED IN: Scopus DBLP
IN MY: DBLP | CIÊNCIAVITAE
64
TITLE: On the Semantic Security of Functional Encryption Schemes
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2013, SOURCE: 16th International Conference on Practice and Theory in Public-Key Cryptography (PKC) in PUBLIC-KEY CRYPTOGRAPHY - PKC 2013, VOLUME: 7778
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: DBLP | CIÊNCIAVITAE
65
TITLE: Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2012, SOURCE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178
INDEXED IN: Scopus WOS DBLP CrossRef: 43
IN MY: DBLP | CIÊNCIAVITAE
66
67
TITLE: Generically extending anonymization algorithms to deal with successive queries
AUTHORS: Manuel Barbosa ; Alexandre Pinto; Bruno Gomes;
PUBLISHED: 2012, SOURCE: CIKM
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: DBLP | CIÊNCIAVITAE
68
TITLE: On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: ACNS, VOLUME: 7341 LNCS
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: DBLP | CIÊNCIAVITAE
69
TITLE: Practical Realisation and Elimination of an ECC-Related Software Bug Attack
AUTHORS: Brumley, BB; Barbosa, M ; Page, D; Vercauteren, F;
PUBLISHED: 2012, SOURCE: 12th Cryptographers' Track - RSA Conference in TOPICS IN CRYPTOLOGY - CT-RSA 2012, VOLUME: 7178
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: DBLP | CIÊNCIAVITAE
70
TITLE: Semantically Secure Functional Encryption, Revisited
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2012
INDEXED IN: DBLP
IN MY: DBLP
Page 7 of 10. Total results: 94.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service