Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Confirmed Publications: 94



51
TITLE: A Tool-Chain for High-Assurance Cryptographic Software
AUTHORS: Almeida, J ; Barbosa, M ; Pacheco, H ; Pereira, V;
PUBLISHED: 2016, SOURCE: ERCIM NEWS, VOLUME: 2016, ISSUE: 106
INDEXED IN: WOS DBLP
IN MY: DBLP
52
TITLE: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTHORS: Barbosa, M ; Portela, B ; Scerri, G; Warinschi, B;
PUBLISHED: 2016, SOURCE: 1st IEEE European Symposium on Security and Privacy (Euro S&P) in 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY
INDEXED IN: Scopus WOS DBLP CrossRef: 36
IN MY: DBLP | CIÊNCIAVITAE
53
TITLE: Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation
AUTHORS: Arriaga, A; Barbosa, M ; Farshim, P;
PUBLISHED: 2016, SOURCE: 17th International Conference on Cryptology in India (INDOCRYPT) in PROGRESS IN CRYPTOLOGY - INDOCRYPT 2016, VOLUME: 10095
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP | CIÊNCIAVITAE
54
TITLE: Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F;
PUBLISHED: 2016, SOURCE: 23rd International Conference on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION (FSE 2016), VOLUME: 9783
INDEXED IN: Scopus WOS DBLP CrossRef: 26
IN MY: DBLP | CIÊNCIAVITAE
55
TITLE: Verifying Constant-Time Implementations
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Emmi, M;
PUBLISHED: 2016, SOURCE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM
INDEXED IN: WOS DBLP
IN MY: DBLP | CIÊNCIAVITAE
56
TITLE: ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data
AUTHORS: Backes, M; Barbosa, M ; Fiore, D; Reischuk, RM;
PUBLISHED: 2015, SOURCE: IEEE Symposium on Security and Privacy SP in 2015 IEEE SYMPOSIUM ON SECURITY AND PRIVACY SP 2015, VOLUME: 2015-July
INDEXED IN: Scopus WOS DBLP CrossRef: 58
IN MY: DBLP | CIÊNCIAVITAE
57
TITLE: The Related-Key Analysis of Feistel Constructions
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2015, SOURCE: 21st International Workshop on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION, FSE 2014, VOLUME: 8540
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: DBLP | CIÊNCIAVITAE
58
TITLE: CAOVerif: An open-source deductive verification platform for cryptographic software implementations  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Filliatre, JC; Pinto, JS ; Vieira, B;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP | CIÊNCIAVITAE
59
TITLE: Compiling CAO: From Cryptographic Specifications to C Implementations
AUTHORS: Manuel Barbosa ; David Castro; Paulo F Silva ;
PUBLISHED: 2014, SOURCE: POST, VOLUME: 8414 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: DBLP | CIÊNCIAVITAE
60
TITLE: Verified Implementations for Secure and Verifiable Computation
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Guillaume Davy; François Dupressoir; Benjamin Grégoire; Pierre Yves Strub;
PUBLISHED: 2014, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2014
INDEXED IN: DBLP
IN MY: DBLP
Page 6 of 10. Total results: 94.

footer slogan

Useful Links

Get Help

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