Reports

• Julio Cesar López Hernández (Professor Associado II)
• Paulo Lício de Geus (Professor Associado I)
• Ricardo Dahab (Professor Associado I)

Students advised by Prof. Julio Cesar López Hernández:

• Roberto Cabral Rabêlo Filho (PhD Student)
• Hansen David González Sastoque (MsC Student)

Students advised by Prof. Paulo Lício de Geus:

• Edmar Roberto Santana de Rezende (PhD Student)
• Marcelo Invert Palma Salas (PhD Student)
• Otávio Augusto Araújo Silva (PhD Student)
• Mayk Fernando Choji (MsC Student)
• Victor Furuse Martins (MsC Student)
• Ana Carolina Requena Barbosa (Junior Research)
• André de Almeida (Junior Research)
• Esdras Rodrigues do Carmo (Junior Research)
• Henrique Noronha Facioli (Junior Research)
• Marcus Danilo Rodrigues (Junior Research)
• Rodrigo Seiji Piubeli Hirao (Junior Research)
• Vitor Falcão da Rocha (Junior Research)

Students advised by Prof. Ricardo Dahab:

• Luiz Claudio Navarro (MsC Student)

• Fabio Rogério Piva

• A. C. Guimarães Jr., D. F. Aranha, and E. Borin Optimizing the decoding process of a post-quantum cryptographic algorithm Simpósio de Sistemas Computacionais de Alto Desempenho (WSCAD), 2017
  
• B. C. D. Ribeiro, E. F. S. Jr, and D. F. Aranha Análise de segurança da distribuição de raízes na ICP-Brasil XVII Simpósio Brasileiro em Segurança da Informação e Sistemas Computacionais (SBSEG), 2017
  
• A. C. Lopes and D. F. Aranha Benchmarking tools for verification of constant-time execution XI Workshop de Trabalhos de Iniciação Científica e de Graduação (WTICG), 2017, Brasília. XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSEG), 2017
  
• T. B. S. Reis, D. F. Aranha, and J. López PRESENT runs fast: efficient and secure implementation in software 19th International Conference on Cryptographic Hardware and Embedded Systems (CHES), 2017
  
• A. C. Lopes and D. F. Aranha Platform-agnostic low-intrusion optical data exfiltration 3rd International Conference on Information Systems Security and Privacy (ICISSP), 2017
  
• L. B. Oliveira, F. M. Q. Pereira, R. Misoczki, D. F. Aranha, F. B. Oliveira, M. N. Lima, and M. S. Wangham O Computador para o Século 21: Desafios de Segurança e Privacidade após 25 anos. Minicursos do XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSEG), 2017, ISBN 9788576694106
  
• A. Faz-Hernandez, H. Fujii, D. F. Aranha, and J. López A Secure and Efficient Implementation of the Quotient Digital Signature Algorithm (qDSA) Security, Privacy, and Applied Cryptography Engineering. SPACE 2017, Springer, Cham, 2017, ISBN 978-3-319-71500-1
  
• E. R. S. de Rezende, G. C. S. Ruppert, T. Carvalho, F. Ramos, and P. L. de Geus Malicious Software Classification using Transfer Learning of ResNet-50 Deep Neural Network ICMLA - IEEE Intl. Conf. On Machine Learning And Applications, 2017
  
• T. Oliveira, J. López, H. Hisil, A. Faz-Hernandez, and F. Rodríguez-Henríquez How to (pre-)compute a ladder Selected Areas in Cryptography – SAC 2017, Springer, 2017, ISBN 978-3-319-72564-2
  
• A. Braga and R. Dahab A Longitudinal and Retrospective Study on How Developers Misuse Cryptography in Online Communities XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg'17), 2017
  
• B. d. S. Melo and P. L. de Geus Robustness Testing of CoAP Server-side Implementations through Black-box Fuzzing Techniques Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 533-540, 2017
  
• M. F. Botacin, V. F. d. Rocha, P. L. de Geus, and A. R. A. Grégio Analysis, Anti-Analysis, Anti-Anti-Analysis: An Overview of the Evasive Malware Scenario Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 250-263, 2017
  
• M. F. Choji and P. L. de Geus Análise de Séries Temporais Multivariadas para Detecção de Intrusão em Nuvens Computacionais Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 112-125, 2017
  
• L. C. d. Santos and J. López Pipeline Oriented Implementation of NORX for ARM Processors XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais: SBSEG 2017: Anais, Sociedade Brasileira de Computação - SBC, SBC, 2017, ISBN 978-85-7669-422-96
  
• A. Braga, R. Dahab, N. Antunes, N. Laranjeiro, and M. Vieira Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE), 170-181, 2017
  
• M. F. Botacin, V. F. d. Rocha, P. L. de Geus, and A. R. A. Grégio Hardware-Assisted Malware Analysis 2017
  
• H. Fujii and D. F. Aranha Curve25519 for the Cortex-M4 and beyond Latincrypt 2017, 2017
  
• M. I. P. Salas and P. L. de Geus TorBot: Protecting the Tor Network against Malicious Traffic LACSEC 27, 2017
  
• J. Maitin-Shepard, M. Tibouchi, and D. F. Aranha Elliptic Curve Multiset Hash The Computer Journal, 60(4), 476-490, 2017
  

• Nov. 24, 2017 Google Women in Tech Travel and Conference Grant to Google Women in Tech Travel and Conference Grant
  

  Prêmio concedido a Jheyne N. Ortiz na forma de apoio financeiro para participação no simpósio Real World Crypto 2018, em Zurique, Suíça.

• BAMTA: Behavioral Analyzer for Mobile Threatening Apps
  • Coordinator(s):   Paulo Lício de Geus
  • Validity:               2013 - Current
  • Description:       Samsung sponsored. BAMTA dynamically analyzes Android applications, obtaining their network traffic, API function calls and system calls traces, and producing reports about their exhibited behavior.
• BehEMOT: Behavior Evaluation from Malware Observation Tool
  • Coordinator(s):   Paulo Lício de Geus, André Ricardo Abed Grégio
  • Validity:               2010 - Current
  • Description:       A tool to analyze malware behavior in a non-intrusive and effective way that extends the analysis possibilities to cover malware samples that bypass current approaches, also fixing some issues with them and filling a gap in the field.
• FORTE: Forense digital tempestiva e eficiente
  • Coordinator(s):   Ricardo Dahab
  • Validity:               2014 - Current
  • Description:       Este projeto objetiva o desenvolvimento de pesquisas e capacitação na área de forense computacional, de forma a enfrentar os desafios causados pelo explosivo crescimento do uso de recursos computacionais em todos os setores da sociedade. Esse crescimento se dá, por um lado, pela farta disponibilidade de dispositivos, especialmente os móveis como telefones e tablets para uso pessoal, bem como os de uso profissional e aqueles embarcados e ubíquos na chamada Internet das Coisas.
• PUF-SoC: Physical Unclonable Functions for SoC Devices
  • Coordinator(s):   Diego de Freitas Aranha
  • Validity:               2014 - Current
  • Description:       Supported by Intel.
• : Secure Execution of Cryptographic Algorithms
  • Coordinator(s):   Julio Lopez
  • Validity:               2015 - 2018
  • Description:       O Internet das Coisas (loT) permite a interconexão de dispositivos embarcados que manipulam dados e realizam tarefas críticas. Este projeto de pesquisa propõe o projeto simultâneo de funcionalidades em hardware e software criptográfico que atuem em conjunto para a proteção de sistemas em um ambiente loT. O objetivo é projetar e implementar esquemas criptográficos para dispositivos loT e outras plataformas, integrando-os com resistência a ataques de canais laterals.
• TorBot: Tor Protection against malicious traffic
  • Coordinator(s):   Paulo Lício de Geus, Marcelo Invert Palma Salas
  • Validity:               2015 - 2018
  • Description:       O projeto propõe projetar e implementar uma solução ao crescente tráfego de código malicioso sobre esta rede, pesquisando técnicas forenses e métodos para proteger a rede Tor do tráfego malicioso, preservando a privacidade e anonimato do tráfego não malicioso (benigno).