José Carlos Bacelar Ferreira Junqueira de Almeida
|
|
Data da última atualização
»Last update
:
29/11/2013 |
Dados pessoais (Personal data)
Nome completo
Full name |
José Carlos Bacelar Ferreira Junqueira de Almeida |
Nome em citações bibliográficas
Quoting name |
Almeida, José Bacelar |
Categoria profissional
Position |
Professor Auxiliar |
Domínio científico de atuação
Scientific domain |
Engenharia e Tecnologia-Engenharia Electrotécnica, Electrónica e Informática.
|
Endereço profissional
Professional address |
Universidade do Minho Escola de Engenharia Departamento de Informática Campus de Gualtar Gualtar 4710-057 Braga Portugal Telefone: (+351)253604430 Fax: (+351)253604471 Correio electrónico: jba@di.uminho.pt Homepage: http://haslab.uminho.pt/jba |
Sexo
Gender |
Masculino»Male |
Graus Académicos
(Academic Degrees)
2003 |
Doutoramento Phd |
Ciências da Computação.
Universidade do Minho,
Portugal.
|
1994 |
Mestrado Master degree |
Mestrado em Informática
(2 anos » years)
.
Universidade do Minho,
Portugal.
|
1991 |
Licenciatura Licentiate degree |
Engenharia Eletrotécnica e de Computadores
(5 anos » years)
.
Universidade do Porto,
Portugal.
|
Vínculos profissionais
(Professional Positions)
Jun/2008-Actual |
Professor Auxiliar |
Jun/2003-Jun/2008 |
Professor Auxiliar |
Fev/1994-Jun/2003 |
Assistente |
Dez/1992-Fev/1994 |
Assistente Estagiário |
Fundação para a Ciência e a Tecnologia |
Out/1991-Nov/1992 |
Outra Situação |
Projetos de Investigação (Research projects)
Participação como Investigador Participation as Researcher |
2010-2013 SMART - Secure Memories and Applications Related Technologies-SMART - Secure Memories and Applications Related Technologies |
Referência do projeto»Project reference: ENIAC/2224/2009.
|
2008-2011 RESCUE - REliable and Safe Code execUtion for Embedded systems-RESCUE - REliable and Safe Code execUtion for Embedded systems |
Referência do projeto»Project reference: PTDC/EIA/65862/2006.
|
2008-2010 CACE - Computer Aided Cryptography Engineering-CACE - Computer Aided Cryptography Engineering |
Referência do projeto»Project reference: FP7-ICT-STREP-216499. FP7 ICT STREP
|
2003-2007 PURe - Program Understanding and Re-engineering: Calculi and Applications-PURe - Program Understanding and Re-engineering: Calculi and Applications |
Referência do projeto»Project reference: POSI/ICHS/44304/2002.
|
Línguas (Languages)
Compreende Understandig |
Português (Bem), Inglês (Bem), Francês (Razoavelmente), Espanhol (Razoavelmente). |
Fala Speaking |
Português (Bem), Inglês (Bem), Francês (Pouco), Espanhol (Razoavelmente). |
Lê Reading |
Português (Bem), Inglês (Bem), Francês (Razoavelmente), Espanhol (Razoavelmente). |
Escreve Writing |
Português (Bem), Inglês (Bem), Francês (Pouco), Espanhol (Pouco). |
Prémios e títulos (Awards Prizes, and Honours)
2009 |
Best Software Science paper presented at the FMICS'09,
The European Association of Software Science and Technology (EASST).
|
Produção científica, técnica e artística/cultural
(Scientific, technical and artistical/cultural
production)
Livros publicados/organizados ou edições Published/organized books or Editions |
1. |
Bacelar Almeida, J; Frade, Maria J; Pinto, Jorge S; Sousa, Simão M. 2011. Rigorous Software Development. ed. 1, ISBN: 978-0-85729-017-5. London: Springer.
|
|
|
|
Capítulos de livros publicados Published book chapters |
1. |
Almeida, José B; Moreira, Nelma; Pereira, David; Sousa, Simão M. 2011. Partial Derivative Automata Formalized in Coq. In Implementation and Application of Automata, ed. Michael DomaratzkiKai Salomaa, 59 - 68. ISBN: 978-3-642-18097-2. Berlin, Heidelberg: Springer Berlin Heidelberg.
|
|
|
|
2. |
Almeida, José B; Bangerter, Endre; Barbosa, Manuel; Krenn, Stephan; Sadeghi, Ahmad-Reza; Schneider, Thomas. 2010. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on S-Protocols. In Computer Security – ESORICS 2010, ed. Dimitris GritzalisBart PreneelMarianthi Theoharidou, 151 - 167. ISBN: 978-3-642-15496-6. Berlin, Heidelberg: Springer Berlin Heidelberg.
|
|
|
|
3. |
Almeida, José B; Barbosa, Manuel; Pinto, Jorge S; Vieira, Bárbara. 2009. Verifying Cryptographic Software Correctness with Respect to Reference Implementations. In Formal Methods for Industrial Critical Systems, ed. María AlpuenteByron CookChristophe Joubert, 37 - 52. ISBN: 978-3-642-04569-1. Berlin, Heidelberg: Springer Berlin Heidelberg.
|
|
|
|
4. |
Almeida, José B; Almeida, Paulo S; Baquero, Carlos. 2004. Bounded Version Vectors. In Distributed Computing, ed. Rachid Guerraoui, 102 - 116. ISBN: 978-3-540-23306-0. Berlin, Heidelberg: Springer Berlin Heidelberg.
|
|
|
|
Artigos em revistas com arbitragem científica Papers in periodics with scientific refereeing |
1. |
Almeida, José B; Barbosa, Manuel; Pinto, Jorge S; Vieira, Bárbara. 2013. "Formal verification of side-channel countermeasures using self-composition", Science of Computer Programming 78, 7: 796 - 812.
|
|
|
|
2. |
Almeida, José B; Barbosa, Manuel; Filliâtre, J.-C.; Pinto, Jorge S; Vieira, Bárbara. 2012. "CAOVerif: An open-source deductive verification platform for cryptographic software implementations", Science of Computer Programming, in press: - - -. |
|
|
|
3. |
Almeida, José B; Barbosa, Manuel; Pinto, Jorge S; Vieira, Bárbara. 2010. "Deductive verification of cryptographic software", Innovations in Systems and Software Engineering 6, 3: 203 - 218. |
|
|
|
4. |
Almeida, José B; Pinto, Jorge S; Vilaça, Miguel. 2008. "A Tool for Programming with Interaction Nets", Electronic Notes in Theoretical Computer Science 219, C: 83 - 96. |
|
|
|
5. |
Almeida, José B; Pinto, Jorge S; Vilaça, Miguel. 2008. "Token-passing Nets for Functional Languages", Electronic Notes in Theoretical Computer Science 204, C: 181 - 198. |
|
|
|
6. |
Almeida, José B; Pinto, Jorge S; Vilaça, Miguel. 2007. "A Local Graph-rewriting System for Deciding Equality in Sum-product Theories", Electronic Notes in Theoretical Computer Science 176, 1: 139 - 163. |
|
|
|
Trabalhos completos/resumidos em eventos com arbitragem científica Papers in conference proceedings with scientific refereeing |
1. |
Almeida, José B; Barbosa, Manuel; Barthe, Gilles; Dupressoir, François. 2013. "Certified computer-aided cryptography", Trabalho apresentado em ACM SIGSAC conference Computer & Communications Security, In Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13, Berlin, Germany.
|
|
|
|
2. |
Almeida, José B; Barbosa, Manuel; Barthe, Gilles; Davy, Guillaume; Dupressoir, François; Grégoire, Benjamin; Strub, Pierre-Yves. 2013. "Towards an EasyCrypt Formalization of Garbling Schemes", Trabalho apresentado em Workshop on Language Support for Privacy Enhancing Technologies - PETshop 2013, In Proceedings of the Workshop on Language Support for Privacy Enhancing Technologies - PETshop 2013, Berlim. |
|
|
|
3. |
Almeida, José B; Barbosa, Manuel; Bangerter, Endre; Barthe, Gilles; Krenn, Stephan; Zanella Béguelin, S. 2012. "Full proof cryptography", Trabalho apresentado em ACM conference on Computer and Communications Security, In Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12, Raleigh, North Carolina, USA.
|
|
|
|
4. |
Almeida, José B; Barbosa, Manuel; Pinto, Jorge S; Vieira, Bárbara. 2009. "Deductive verification of cryptographic software", Trabalho apresentado em First NASA Formal Methods Symposium, In Proceedings of the First NASA Formal Methods Symposium, NASA Ames Research Center. |
|
|
|
Trabalhos completos/resumidos em eventos sem arbitragem científica Papers in conference proceedings without scientific refereeing |
1. |
Almeida, José B; Mackie, Ian; Pinto, Jorge S; Vilaça, Miguel. 2007. "Encoding iterators in interaction nets", Trabalho apresentado em International Symposium on the Implementation and Application of Functional Languages, In 19th International Symposium on the Implementation and Application of Functional Languages (IFL 2007), Freiburg. |
|
|
|
2. |
Almeida, José B. 1999. "Cryptographic algorithms formalized in Coq", Trabalho apresentado em COQ Workshop, Formal Methods Europe, In Informal proceedings of the COQ Workshop, Tolouse. |
|
|
|
Dados Complementares (Additional data)
Dissertação de Mestrado Master degree dissertation |
1. |
Pedro Vasconcelos Castro Lopes Faria, Remote Electronic Voting: Studying and Improving Helios, 2013. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Orientador). |
2. |
Fernando Guilherme Goncçalves Pequeno de Oliveira e Silva, O impacto da computação quântica na Criptografia moderna, 2013. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Orientador). |
3. |
Ricardo Joaquim Pereira de Macedo, Reforço da Privacidade Através do Controlo da Pegada Digital, 2013. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Orientador). |
4. |
José Miguel Gomes Loureiro, Implementação de funções de hash e cifras de chave pública baseadas em retículos, 2012. Dissertação (Mestrado em Matemática e Computação) - Universidade do Minho (Co-orientador). |
5. |
Henrique Manuel Fernandes de Castro, Formal Verification of Security Proofs, 2010. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Orientador). |
6. |
Rui Miguel da Silva Abreu, Cryptography in Java, 2009. Dissertação (Mestrado em Informática) - Universidade do Minho (Orientador). |
Participação no júri de Graus Académicos Academic Degrees jury participation |
1. |
Almeida, José Bacelar. Participação no júri de Victor Francisco Mendes de Freitas Gomes da Fonte. Causality Tracking in Dynamic Distributed Systems, 2009. Tese (Doutoramento em Informática) - Universidade do Minho. |
2. |
Almeida, José Bacelar. Participação no júri de João Paulo Fernandes. Design, Implementation and Calculation of Circular Programs, 2009. Tese (Doutoramento em Informática) - Universidade do Minho. |
3. |
Almeida, José Bacelar. Participação no júri de José Miguel Pereira Vilaça. Visual Functional Programming - An Approach Based on International Nets, 2009. Tese (Doutoramento em Informática) - Universidade do Minho. |
4. |
Almeida, José Bacelar. Participação no júri de Alberto Manuel Brandão Simões. Extracção de Recursos de Tradução com base em Dicionários Probabilísticos de Tradução, 2008. Tese (Doutoramento em Informática) - Universidade do Minho. |
5. |
Almeida, José Bacelar. Participação no júri de António Luis Pinto Ferreira de Sousa. Partial replication in the database state machine, 2007. Tese (Doutoramento em Informática) - Universidade do Minho. |
Indicadores de produção
(Production indicators)
Produção científica
Scientific production |
Dados complementares
data |
Produção científica Scientific production |
17 |
Livros e capítulos Books and book chapters |
5 |
Livros publicados ou organizados Published or organized books |
1 |
Capítulos de livros publicados Published book chapters |
4 |
Artigos científicos em revistas Papers in periodics |
6 |
Com arbitragem científica With scientific refereeing |
6 |
Trabalhos em eventos Papers in conference proceedings |
6 |
Com arbitragem científica With scientific refereeing |
4 |
Sem arbitragem científica Without scientific refereeing |
2 |
Dados complementares (Additional data) |
16 |
Orientações Orientations |
11 |
Participação no Júri de Graus Académicos Academic Degrees jury participation |
5 |
Visualizações do curriculum [
1364
]
|
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM
em
12-02-2020
às
23:23:06
|
Plataforma de Curricula DeGóis: http://www.degois.pt | Icons by Axialis Team |
|