Curriculum Vitae

Manuel Bernardo Martins Barbosa

Data da última atualização »Last update : 23/11/2013


Manuel Bernardo Martins Barbosa Publicou 7 artigos em revistas especializadas. Recebeu 1 prémio e/ou homenagem. Nas suas actividades profissionais interagiu com 12 colaboradores em co-autorias de trabalhos científicos.


Endereço de acesso a este CV:

http://www.degois.pt/visualizador/curriculum.jsp?key=8426484499020501


Dados pessoais (Personal data)
Nome completo
Full name
Manuel Bernardo Martins Barbosa
Nome em citações bibliográficas
Quoting name
Barbosa, Manuel
Sexo
Gender
Masculino»Male




Graus Académicos (Academic Degrees)
1996 Licenciatura
Licentiate degree

Universidade do Porto, Portugal.





Línguas (Languages)
Compreende
Understandig
Fala
Speaking
Inglês (Bem), Francês (Razoavelmente).

Reading
Inglês (Bem), Francês (Razoavelmente).
Escreve
Writing
Inglês (Bem), Francês (Pouco).




Prémios e títulos (Awards Prizes, and Honours)
1996 Prémio Engenheiro António Almeida, Fundação Eng. António Almeida.




Produção científica, técnica e artística/cultural (Scientific, technical and artistical/cultural production)
Capítulos de livros publicados
Published book chapters
1. Barbosa, Manuel; Farshim, Pooya. 2013. On the Semantic Security of Functional Encryption Schemes.  In Public-Key Cryptography PKC 2013, ed. Kaoru KurosawaGoichiro Hanaoka, 143 - 161. ISBN: 978-3-642-36361-0. Berlin, Heidelberg: Springer Berlin Heidelberg.

Artigos em revistas sem arbitragem científica
Papers in periodics without scientific refereeing
1. Bacelar Almeida, J; Barbosa, M.; Pinto, J.S.; Vieira, B.. 2013. "Formal verification of side-channel countermeasures using self-composition", Science of Computer Programming 78, 7: 796 - 812.
2. Almeida, J.B.; Barbosa, M.; Pinto, J.S.; Vieira, B.. 2010. "Deductive verification of cryptographic software", Innovations in Systems and Software Engineering 6, 3: 203 - 218.
3. Barbosa, M.; Moss, A.; Page, D.. 2009. "Constructive and destructive use of compilers in elliptic curve cryptography", Journal of Cryptology 22, 2: 259 - 281.
4. Barbosa, M.; Moss, A.; Page, D.. 2007. "Compiler assisted elliptic curve cryptography", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4804 , PART 2: 1785 - 18.
5. Barbosa, M.; Cunha, A.; Pinto, J.S.. 2005. "Recursion patterns and time-analysis", ACM SIGPLAN Notices 40, 5: 45 - 54.
6. Farsi, M.; Ratcliff, K.; Barbosa, M.. 1999. "Overview of controller area network", Computing and Control Engineering Journal 10, 3: 113 - 120.
7. Farsi, M.; Ratcliff, K.; Barbosa, M.. 1999. "An introduction to CANonen", Computing and Control Engineering Journal 10, 4: 161 - 168.








Indicadores de produção (Production indicators)

Total
Produção científica
Scientific production
8

Livros e capítulos
Books and book chapters
1
Capítulos de livros publicados
Published book chapters
1
Artigos científicos em revistas
Papers in periodics
7
Sem arbitragem científica
Without scientific refereeing
7


Visualizações do curriculum [ 1012 ]
 
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM em 15-01-2021 às 00:51:09
Plataforma de Curricula DeGóis: http://www.degois.pt/ | Icons by Axialis Team
Co-Autores Relacionados no DeGóis (2)
 Co-authors listed in Degóis