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)
• Otavio Augusto Araujo Silva (PhD Student)
• Otávio Augusto Araújo Silva (PhD Student)
• Cicero Silva Luiz Junior (MsC Student)
• Mayk Fernando Choji (MsC Student)
• Victor Furuse Martins (MsC Student)
• Esdras Rodrigues do Carmo (Junior Research)
• Henrique Noronha Facioli (Junior Research)
• Vitor Falcão da Rocha (Junior Research)

Students advised by Prof. Ricardo Dahab:

• Jheyne Nayara Ortiz (MsC Student)
• Luiz Claudio Navarro (MsC Student)

• André Ricardo Abed Grégio
• Fabio Rogério Piva

• H. V. L. Pereira and D. F. Aranha Uma versão não-iterativa do k-NN sobre dados cifrados XVI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSEG), 2016
  
• R. J. Cruz and D. F. Aranha Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais XVI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSEG), 2016
  
• A. L. M. Neto, A. L. Fernandes, I. Cunha, M. N. Lima, I. O. Nunes, N. Gentille, L. A. Cotta, A. A. F. Loureiro, et al. AdC: um Mecanismo de Controle de Acesso para o Ciclo de Vida das Coisas Inteligentes XVI Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais, 2016
  
• A. L. M. Neto, A. L. Fernandes, I. Cunha, M. N. Lima, I. O. Nunes, N. Gentille, L. A. Cotta, A. A. F. Loureiro, et al. AoT: Authentication and Access Control for the Entire IoT Device Life-Cycle 14th ACM Conference on Embedded Networked Sensor Systems (Sensys), 2016
  
• R. Surita, M. L. Cortes, D. F. Aranha, and G. Araujo Cylindrical Reconvergence Physical Unclonable Function Euromicro Symposium on Digital Systems Design - Special Session on Architectures and Hardware for Security Applications (DSD), 2016
  
• L. Z. Ladeira, E. N. Nascimento, J. P. F. Ventura, R. Dahab, D. F. Aranha, and J. López Canais laterais em criptografia simétrica e de curvas elípticas: ataques e contramedidas Minicursos do XVI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSEG), 2016, ISBN 9788576693048
  
• D. F. Aranha, L. D. Perez, A. Mrabet, and P. Schwabe Software implementation of pairings Guide to Pairing-Based Cryptography, CRC Press, 2016, ISBN 9781498729505
  
• O. A. Silva, A. Grégio, and P. L. de Geus Proteção de dados sensíveis através do isolamento de processos arbitrários em sistemas operacionais baseados no Linu {XXXIV} Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, {SBRC} 2016, 2016
  
• B. R. Silva, F. M. Q. Pereira, and D. F. Aranha Sparse Representation of Implicit Flows with Applications to Side-Channel Detection 25th International Conference on Compiler Construction (CC 2016), 2016
  
• V. M. Afonso Improving Android Security with Malware Detection and Automatic Security Policy Generation 2016
  
• P. G. M. R. Alves and D. F. Aranha A framework for searching encrypted databases Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2016
  
• P. G. M. R. Alves and D. F. Aranha Computação sobre dados cifrados em GPGPUs CTDSeg - IV Concurso de Teses e Dissertações em Segurança, 2016
  
• J. N. Ortiz, R. Dahab, and D. F. Aranha Amostragem Gaussiana aplicada à Criptografia Baseada em Reticulados CTDSeg - IV Concurso de Teses e Dissertações em Segurança, 2016
  
• C. S. L. Junior, P. L. de Geus, and A. R. A. Grégio Análise de Malware .NET para Identificação de Comportamentos Similares Workshop de Forense Computacional, Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 1-10, 2016
  
• M. F. Botacin, P. L. de Geus, and A. R. A. Grégio Análise Transparente de Malware com Suporte por Hardware Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 1-14, 2016
  
• M. F. Botacin, P. L. de Geus, and A. R. A. Grégio Detecção de ataques por ROP em tempo real assistida por hardware Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 1-14, 2016
  
• M. F. Botacin, P. L. de Geus, and A. R. A. Grégio VoiDbg: Projeto e Implementação de um Debugger Transparente para Inspeção de Aplicações Protegidas Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 1-14, 2016
  
• A. Faz-Hernandez and J. López Speeding up Elliptic Curve Cryptography on the P-384 Curve XVI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (3rd Best Paper Award), Sociedade Brasileira de Computação – SBC, 2016
  
• O. A. A. Silva Proteção de dados sensíveis através do isolamento de processos arbitrários em sistemas operacionais baseados no Linux 2016
  
• D. F. Aranha, H. Ribeiro, and A. L. O. Paraense Crowdsourced integrity verification of election results: an experience from Brazilian elections Annales des Telecommunications, 71, 287-297, 2016
  
• A. Braga and R. Dahab Mining Cryptography Misuse in Online Forums Software Quality, Reliability and Security Companion (QRS-C), 2016 IEEE International Conference on, 2016
  
• A. M. Braga and R. Dahab Towards a Methodology for the Development of Secure Cryptographic Software Software Security and Assurance (ICSSA), 2016 International Conference on, 2016
  
• J. N. Ortiz, R. Dahab, and D. F. Aranha Amostragem Gaussiana na Criptografia Baseada em Reticulados Anais do XXXVI Congresso da Sociedade Brasileira de Computação - I ETC, 2016
  
• P. G. M. R. Alves and D. F. Aranha Computação sobre dados cifrados em GPGPUs Anais do XXXVI congresso da sociedade brasileira de computação - I ETC, 2016
  
• P. G. M. R. Alves and D. F. Aranha Computação sobre dados cifrados em GPGPUs UNICAMP, Institute of Computing, 2016
  
• J. N. Ortiz, R. Dahab, and D. F. Aranha Amostragem Gaussiana aplicada à Criptografia Baseada em Reticulados 2016
  
• A. R. A. Grégio, R. Bonacin, A. C. de Marchi, O. Nabuco, and P. L. de Geus An Ontology of Suspicious Software Behavior Applied Ontology, 11(1), 29-49, 2016
  
• V. M. Afonso, A. Bianchi, Y. Fratantonio, A. Doupé, M. Polino, P. L. de Geus, C. Kruegel, and G. Vigna Going Native: Using a Large-Scale Analysis of Android Apps to Create a Practical Native-Code Sandboxing Policy Proceedings of the Symposium on Network and Distributed System Security (NDSS), 2016
  
• R. Cabral and J. L\'opez Fast Software Implementation of QUARK on a 32-Bit Architecture Lightweight Cryptography for Security and Privacy: 4th International Workshop, LightSec 2015, Bochum, Germany, September 10--11, 2015, Revised Selected Papers, Springer International Publishing, 2016, ISBN 978-3-319-29078-2
  

• July 15, 2016 Obtenção da Subvenciones FRIDA-Internet Society para to Marcelo Invert Palma Salas, Paulo Lício de Geus
  

  O presente 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).

• Aug. 3, 2016 Google Research Awards for Latin America to Google Research Awards for Latin America
  

  Prêmio concedido a Hilder Vitor Lima Pereira e Diego F. Aranha na forma de financiamento do projeto de pesquisa "Criptografia Homomórfica eficiente para computação na nuvem preservando a privacidade".

• Aug. 19, 2016 Second place for the best paper award at CHES-2016 to Julio López
  

  Second place for the best paper award at the 18 International Conference on Cryptographic Hardware and Embedded Systems.

• Aug. 24, 2016 Best Student Paper Award to Alexandre Braga and Ricardo Dahab
  

  Alexandre Braga and Ricardo Dahab won the Best Student Paper Award in the 2nd International Conference on Software Security (ICSSA 2016) with the work titled "Towards a Methodology for the Development of Secure Cryptographic Software".

• Nov. 9, 2016 Terceiro Melhor Artigo no SBSeg 2016 to Armando Faz Hernández and Julio López
  

  Menção honrosa concedida ao artigo intitulado "Speeding up Elliptic Curve Cryptography on the P-384 Curve", de autoria de Armando Faz Hernández e Julio López como terceiro melhor artigo publicado nos anais do XVI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais - SBSeg2016. [ http://sbseg2016.ic.uff.br/pt/trabalhos-premiados.php ]

• Nov. 9, 2016 Segundo Melhor Artigo no SBSeg 2016 to Pedro Geraldo M. R. Alves and Diego F. Aranha
  

  Menção honrosa concedida ao artigo intitulado "A framework for searching encrypted databases", de autoria de Pedro Geraldo M. R. Alves e Diego F. Aranha como segundo melhor artigo publicado nos anais do XVI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais - SBSeg2016. [ http://sbseg2016.ic.uff.br/pt/trabalhos-premiados.php ]

• 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.
• SICA: Energy-Efficient Security for SoC devices
  • Coordinator(s):   Julio Lopez
  • Validity:               2012 - 2016
  • Description:       Intel Labs announced the formation of the Intel Strategic Research Alliance (ISRA) for Energy-Efficient Security for SoC devices in Brazil. The focus of this research is to explore the implications of power constraints on the design and implementation of security in SoC devices. Security solutions (e.g. data encryption) significantly increase the processing requirements of the device and have become more computationally demanding.
• 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).