Leonardo de Sá Alt
Doutorando em Ciência da Computação pela University of Lugano com interesse em Teoria da Computação, Lógica e Verificação Formal. Mestre e graduado em Ciência da Computação pela Universidade Federal de Uberlândia com interesse em Autômatos Celulares, Teoria da Computação, Linguagens Formais e Teoria dos Autômatos.
Informações coletadas do Lattes em 02/08/2022
Acadêmico
Formação acadêmica
Doutorado em andamento em Computer Science
2013 - Atual
University of Lugano
Orientador: Natasha Sharygina
Bolsista do(a): Swiss National Science Foundation.
Mestrado em Ciência da Computação
2010 - 2013
Universidade Federal de Uberlândia
Gina Maira Barbosa de Oliveira.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Cellular Automata; Reversibilidade.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. Setores de atividade: Atividades profissionais, científicas e técnicas.
Formação complementar
2012 - 2012
Escola de Verão Maratona de Programação. (Carga horária: 160h). , Universidade Estadual de Campinas.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Italiano
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Participação em eventos
4ª Jornada da Computação. 2011. (Simpósio).
Curso de Verão em Bioinformática - USP. 2010. (Simpósio).
3ª Jornada da Computaçao. 2010. (Outra).
Fórum Internacional de Software Livre. 2009. (Congresso).
IX Encontro Interno e XIII Seminário de Iniciação Científica.Um modelo criptográfico baseado em autômatos celulares com texto cifrafo de tamanho variável. 2009. (Seminário).
Encontro Regional de Tecnologia. 2007. (Encontro).
Produções bibliográficas
-
OLIVEIRA, G. M. B. ; MARTINS, L. G. A. ; ALT, L. S. . Deeper Investigating Adequate Secret Key Specifications for a Variable Length Cryptographic Cellular Automata Based Model. In: Alejandro Salcido. (Org.). Cellular Automata - Innovative Modelling for Science and Engineering. : InTech, 2011, v. 1, p. 265-284.
-
OLIVEIRA, G. M. B. ; MARTINS, L. G. A. ; ALT, L. S. ; Ferreira, G. B. . A Cellular Automata-Based Cryptographic Model with a Variable-Length Ciphertext. In: CSC'10 - The 2010 International Conference on Scientific Computing, 2010, Las Vegas. CA-CSC 10: 2nd Cellular Automata, Theory and Applications Workshop, 2010.
-
OLIVEIRA, G. M. B. ; MARTINS, L. G. A. ; Ferreira, G. B. ; ALT, L. S. . Exhaustive Evaluation of Radius 2 Toggle Rules for a Variable-Length Cellular Automata Cryptographic Model. In: The Ninth International Conference on Cellular Automata for Research and Industry (ACRI), 2010, Ascoli Piceno. The Ninth International Conference on Cellular Automata for Research and Industry (ACRI), 2010.
-
OLIVEIRA, G. M. B. ; MARTINS, L. G. A. ; Ferreira, G. B. ; ALT, L. S. . Secret Key Specification for a Variable-Length Cryptographic Cellular Automata-Based Model. In: 11th International Conference on Parallel Problem Solving From Nature, 2010, Krakow. Parallel Problem Solving from Nature PPSN XI, 2010.
-
OLIVEIRA, G. M. B. ; ALT, L. S. ; MARTINS, L. G. A. ; Ferreira, G. B. . Um modelo criptográfico baseado em autômatos celulares com texto cifrafo de tamanho variável. 2009. (Apresentação de Trabalho/Seminário).
Outras produções
ALT, L. S. ; Ferreira, G. B. ; FYNN, E. . libcadl1d. 2010.
ALT, L. S. . Desenvolvimento em Kernel Linux. 2010. (Curso de curta duração ministrado/Extensão).
VELLA, L. C. ; Saramago, R. Q. ; ALT, L. S. . Desenvolvimento de Jogos. 2010. (Curso de curta duração ministrado/Extensão).
Saramago, R. Q. ; ALT, L. S. . Minicurso de NASM / Assembly x86. 2009. (Curso de curta duração ministrado/Extensão).
ALT, L. S. ; LOPES, C. . XPCE - Interface Gráfica em Prolog. 2007. (Desenvolvimento de material didático ou instrucional - Apostila).
Projetos de pesquisa
-
2009 - 2010
Criptografia baseada no cálculo de pré-imagens de Autômatos Celulares, Descrição: Aplicação de regras caóticas de autômatos celulares em criptografia. Uma nova abordagem foi proposta que alterna dois diferentes algoritmos no processo de cifragem: o algoritmo reverso original e uma variação deste algoritmo que utiliza bits extras, usando o segundo método apenas quando o cálculo de pré-imagem não é possível. Embora este método precise adicionar alguns bits ao texto cifrado quando ocorre uma falha na pré-imagem, é esperado na prática que poucas falhas aconteçam e o tamanho do texto cifrado será bem próximo ao do texto original. No método resultante, a cifragem sempre sucede e o tamanho final do texto cifrado não é fixo. O método de cifragem estudado foi implementado e testado. Os resultados mostraram que ele possui uma boa proteção contra criptoanálise diferencial e usando regras adequadas como chaves secretas o tamanho final do texto cifrado é igual ou muito próximo ao do tamanho original. Além do novo método de criptografia baseado em autômatos celulares pesquisa-se também regras adequadas para cifragem (Algoritmo Genético) e o número necessário de pré-imagens para uma cifragem segura (Programação Genética).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leonardo de Sá Alt - Integrante / Gina Maira Barbosa de Oliveira - Coordenador / Luiz Gustavo Almeida Martins - Integrante / Giordano Bruno Ferreira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
-
2008 - 2008
Rede Internacional Virtual de Educação - Desenvolvimento e modelagem matemática de objetos de aprendizagem da matemática, Descrição: Desenvolvimento e modelagem matemática de objetos de aprendizagem da matemática e física para alunos do Ensino Médio da rede de ensino brasileira.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Leonardo de Sá Alt - Integrante / Carlos Roberto Lopes - Coordenador / Thais Alves Barbosa - Integrante., Financiador(es): Ministério da Educação - Bolsa.
Prêmios
2012
23º lugar - Final Brasileira Maratona de Programação (ACM ICPC), Sociedade Brasileira de Computação.
2011
Primeiro Lugar - Maratona de Programaçao (Jornada da Computacao), Faculdade de Computação - Universidade Federal de Uberlandia.
2011
Primeiro Lugar - Maratona de Programação Regional (ACM ICPC), Sociedade Brasileira de Computação.
2011
18º lugar - Final Brasileira Maratona de Programação (ACM ICPC), Sociedade Brasileira de Computação.
2010
Primeiro Lugar - Maratona de Programaçao (Jornada da Computacao), Faculdade de Computacao - Universidade Federal de Uberlandia.
2008
Terceiro Lugar - 9º Concurso 512 Bytes, Centro Universitário do Triângulo - UNITRI.
Histórico profissional
Experiência profissional
2008 - 2010
Universidade Federal de UberlândiaVínculo: Colaborador, Enquadramento Funcional: Aluno de I.C., Carga horária: 20
Atividades
-
05/2009
Extensão universitária , Centro de Ciências Exatas e Tecnologia, .,Atividade de extensão realizada, MSL-TM - Movimento Software Livre - Triângulo Mineiro.
-
03/2008
Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnologia, .,Linhas de pesquisa
2010 - 2010
Cedro FinancesVínculo: Colaborador, Enquadramento Funcional: Desenvolvedor C++, Carga horária: 30
Outras informações:
Tradução do CGB para o S.O. GNU/Linux, desenvolvimento c++ e otimização de código.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Leonardo de Sá Alt e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?