Leonardo Barbosa e Oliveira


Associate  Professor 


PhD, Unicamp, Brasil, 2008

  leonardo.barbosa@dcc.ufmg.br   www
 ICEx/DCC, room 6330, +55 (31) 3409-5860
Research areas

Information extracted from Lattes platform


Last update: 2017/08/31

Degrees

Ph.D. Ciência da Computação na Universidade Estadual de Campinas em 2008
M.Sc. Ciências da Computação na Universidade Federal de Minas Gerais em 2005
B.Sc. Ciência da Computação na Universidade Federal de Minas Gerais em 2002

Current projects

2017 a AtualRNP GT-Cofee - Um esquema de gestão de identidade federada para IoT

Integrantes: Leonardo Barbosa e Oliveira (coordenador).
2016 a AtualFAPEMIG SGS: Smart Grid Seguros

Integrantes: Leonardo Barbosa e Oliveira (coordenador).
2016 a AtualFAPEMIG: Projeto de Redes de Sensores Sem Fio Terrestres e Aquáticas | Tecnologias para a Recuperação da Bacia do Rio Doce

Integrantes: Loureiro, Antonio A.F. (coordenador), Leonardo Barbosa e Oliveira.
2015 a AtualFAPEMIG/INRIA/CNRS: PROSPIEL: Profiling and Specialization for Locality

Integrantes: Fernando Magno Quintão Pereira (coordenador), Leonardo Barbosa e Oliveira.
2013 a AtualCNPq SENUREVE: Serviços na Nuvem para Redes Veiculares

Integrantes: Loureiro, Antonio A.F. (coordenador), Leonardo Barbosa e Oliveira.
2013 a AtualCNPq REIS : Redes Elétricas Inteligentes Seguras

Integrantes: Loureiro, Antonio A.F. (coordenador), Leonardo Barbosa e Oliveira.
2012 a AtualIntel eCoSoC - Energy-Efficient Instrumentation to Secure Systems-on-a-Chip Devices

Integrantes: Leonardo Barbosa e Oliveira (coordenador), Hao Chi Wong, Fernando Pereira.

Current applied research projects

2015 a AtualINAES/FAEMG: IS@Digital: Indicadores de Sustentabilidade Ambiente Digital

Integrantes: Adriano César Machado Pereira (coordenador), Leonardo Barbosa e Oliveira.
See all projects in Lattes

Recent publications

Articles in journals


Papers in conferences

The Computer for the 21st Century: Security & Privacy Challenges After 25 Years
2017. ICCCN - The 26th International Conference on Computer Communications and Networks.
DistViewer: Uma Ferramenta para Visualizar e Analisar o Código de Sistemas Distribuídos sob uma Nova Perspectiva
2017. SBRC - Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos.
SIoT: Secure Internet of Things Through Distributed System Analysis
2017. IFIP/IEEE International Symposium on Integrated Network Management.
NomadiKey: User Authentication for Smart Devices based on Nomadic Keys
2017. CTIC - Concurso de Trabalhos de Iniciação Científica - CSBC.
Proof-Carrying Sensing: Towards a Real-World Authentication Scheme to Cyber-Physical-Human Systems
2017. ACM Conference on Embedded Networked Sensor Systems (SenSys'17).
AoT: Authentication and Access Control for the Entire IoT Device Life-Cycle
2016. Sensys: The ACM Conference on Embedded Networked Sensor Systems.
AdC: um Mecanismo de Controle de Acesso para o Ciclo de Vida das Coisas Inteligentes
2016. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg).
Symbolic Range Analysis of Pointers
2016. The International Symposium on Code Generation and Optimization (CGO'16).
CoFee: Uma Federação de Identidade para IoT
2016. Workshop de Gestão de Identidades Digitais.
High Performance Moves Recognition and Sequence Segmentation Based on Key Poses Filtering
2016. IEEE Winter Conference on Applications of Computer Vision (WACV'16).
NomadiKey: User Authentication for Smart Devices based on Nomadic Keys
2016. IEEE Communication and Information Systems Security Symposium (ICC' 16).
SMOV: Array Bound-Check and Access in a Single Instruction
2016. Consumer Communications & Networking Conference (CCNC'16).
Securing Networked Embedded Systems through Distributed Systems Analysis
2016. IFIP/IEEE International Symposium on Integrated Network Management.
Securing Networked Embedded Systems through Distributed Systems Analysis
2016. Concursos de Teses e Dissertações em Segurança.
Teclanômade: Uma solução de autenticação para usuários de dispositivos inteligentes baseada em Teclados Nômades
2015. Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg'15).
SIoT - Securing the Internet of Things through Distributed System Analysis
2015. The 14th ACM/IEEE Conference on Information Processing in Sensor Networks (IPSN'15).
Siot Defendendo a Internet das Coisas contra Exploits
2014. Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC'14).
Validation of Memory Accesses Through Symbolic Analyses
2014. ACM SIGPLAN International Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA).
Implementação em Hardware de Instrução Segura de Acesso à Memória - Caso MIPS 16 bit
2014. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg).
Prevenção de Ataques em Sistemas Distribuídos via Análise de Intervalos
2014. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg'14).
Flow Tracking: Uma ferramenta para detecção de vazamento de informações
2013. Salão de Ferramentas do Congresso Brasileiro de Software: Teoria e Prática (CBSoft).
ArAnot - An Array Annotator for C Programs
2013. Salão de Ferramentas do Congresso Brasileiro de Software: Teoria e Prática (CBSoft).
Uma Nova Abordagem para Acesso ao Meio em Redes de Sensores Sem Fio
2013. XXXI Simpósio Brasileiro de Redes de Computadores e Sistemas DIstribuídos (SBRC 2013).
Uma Representação Intermediária para a Detecção de Vazamentos Implícitos de Informação
2013. XIII Brazilian Symposium on Information and Computer Systems Security (SBSeg 2013).
Detecção Automática de Vulnerabilidades em Código Protegido por Canários
2013. XIII Brazilian Symposium on Information and Computer Systems Security (SBSeg 2013).
Caracterização dos programas de pós-graduação em Bioinformática no Brasil
2013. Brazilian Workshop on Social Network Analysis and Mining (BraSNAM 2013).
Avaliação Energética de Ferramentas de Segurança de Software em Sistemas Embarcados
2013. Brazilian Symposium on Information and Computer Systems Security (SBSeg'13).
End-to-End Authentication in Under-Water Sensor Networks
2013. IEEE symposium on Computers and Communications (ISCC'13).
Verificação Estática de Acessos a Arranjos em C
2013. XIII Brazilian Symposium on Information and Computer Systems Security (SBSeg 2013).
An Identity-Based MAC Protocol for Wireless Sensor Networks
2013. IEEE symposium on Computers and Communications.
MAC Protocols for Wireless Sensor Networks over Radio-over-Fiber Links
2012. IEEE International Conference on Communications (ICC'12).
Dinâmica das Relações de Coautoria nos Programas de Pós-Graduação em Computação no Brasil
2012. CSBC 2012 - Brazilian Workshop on Social Network Analysis and Mining (CSBC BraSNAM).
Protocolos MAC para Integração de Redes de Sensores sem Fio baseado em Rádio-sobre-Fibra
2012. Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC'12).
Perfil de Produção Bibliográfica dos Programas Brasileiros de Pós-Graduação em Ciência da Computação
2012. 3º Encontro Brasileiro de Bibliometria e Cientometria - EBBC.
TinyPBC: Pairings for Authenticated Identity-Based Non-Interactive Key Distribution in Sensor Networks
2008. 5th International Conference on Networked Sensing Systems (INSS'08).

Extended abstracts in conferences

IS@ Digital: Uma Ferramenta para Gestão da Sustentabilidade em Agroecossistemas
2016. XXII Simpósio Brasileiro de Sistemas Multimídia e Web: Workshops e Sessão de Pôsteres. Workshop de Ferramentas e Aplicações.
Uma avaliação de toolkits para criptografia baseada em emparelhamento bilinear
2015. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg'15).
Criptografia Baseada em Identidade: Uma Análise Comparativa sob a Perspectiva da Internet das Coisas
2015. : Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg'15).
S-MOVL: Protegendo Sistemas Computacionais contra Ataques de Violação de Memória por meio de Instruções em Hardwar
2014. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg'14).
Avaliando Protocolos de Criptografia Baseada em Emparelhamentos em Redes de Sensores Sem Fio
2007. The Brazilian Symposium of Information Security and Computer Systems (SBSeg).

Abstracts in conferences

GT-Cofee - Um esquema de gestão de identidade federada para IoT
2017. WRNP - Workshop RNP.
Uma Survey em Autenticação de Usuários em Smart Devices: Defesas e Ataques
2015. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais.
Efficient implementation of elliptic curves on sensor nodes
2009. Conference on Hyperelliptic curves, discrete Logarithms, Encryption, etc..
NanoPBC: Implementing Cryptographic Pairings on an 8-bit Platform
2009. Conference on Hyperelliptic curves, discrete Logarithms, Encryption, etc..

See all publications in Lattes

Current students

MS

Antonio Franco. Segurança para Internet do Futuro. Início: 2017. Universidade Federal de Minas Gerais (Orientador principal)
Evandro Caldeira. Modelagem, Caracterização e Desenvolvimento de Técnicas de Mineração de Dados para Aplicações da Web 2.0.. Início: 2015. Universidade Federal de Minas Gerais (Co orientador)
Maria Luiza Santos. Context-Aware-based Alarm. Início: 2015. Universidade Federal de Minas Gerais (Orientador principal)
Gustavo Vieira. Análise de Dados. Início: 2015. Universidade Federal de Minas Gerais (Orientador principal)
Frederico Martins Biber Sampaio. Segurança de Software em Sistemas Distribuídos. Início: 2013. Universidade Federal de Minas Gerais (Orientador principal)

PhD

Artur Souza. Authentication em V2X. Início: 2017. Universidade Federal de Minas Gerais (Orientador principal)
Antonio Lemos Maia. Authentication of Things. Início: 2015. Universidade Federal de Minas Gerais (Orientador principal)

See all students in Lattes