Manuel Bernardo Martins Barbosa
|
|
Data da última atualização
»Last update
:
23/11/2013 |
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). |
Lê
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)
Produção científica
Scientific production |
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 |
|
