José Carlos Bacelar Ferreira Junqueira de Almeida


AuthID: R-000-85N

Confirmed Publications: 41



21
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
22
TITLE: Formalization of the Pumping Lemma for Context-Free Languages PDF
AUTHORS: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2016, SOURCE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, ISSUE: 2
INDEXED IN: Scopus WOS DBLP arXiv
IN MY: DBLP
23
TITLE: On the Formalization of Some Results of Context-Free Language Theory
AUTHORS: Ramos, MVM; de Queiroz, RJGB; Moreira, N ; Almeida, JCB ;
PUBLISHED: 2016, SOURCE: 23rd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, VOLUME: 9803
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP
24
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
25
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
26
TITLE: CAOVerif: An open-source deductive verification platform for cryptographic software implementations
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
27
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
28
29
TITLE: Formal verification of side-channel countermeasures using self-composition
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: 34
IN MY: DBLP
30
TITLE: Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. verifiable compilation of efficient zero-knowledge protocols
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: CCS
INDEXED IN: Scopus DBLP CrossRef: 15
IN MY: DBLP
Page 3 of 5. Total results: 41.

footer slogan

Useful Links

Get Help

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