- Sala
de aula: 351, IC-3, quinta e sexta-feiras, 16 e 17/1/2020
(13:30-18:30h); segunda a sexta-feira, 20 a 24/1/2020, 13:30-17:30h.
Objetivos
O objetivo deste curso é o estudo dos
principais conceitos, métodos e resultados que têm um papel central nas
técnicas criptográficas pós-quânticas modernas baseadas na Teoria dos
Códigos Corretores de Erros.
Ementa
Revisão de conceitos matemáticos
básicos: corpos finitos, espaços vetoriais sobre corpos finitos.
Detalhamento de limites fundamentais e de alguns métodos de
codificação: códigos de Hamming, BCH, Goppa, cíclicos, quase cíclicos,
LDPC (low density parity check), e MDPC (medium density parity check).
Métodos de decodificação fundamentais em criptossistemas baseados em
códigos: algoritmos de bit flipping e soma-produto. Aplicação dos
conceitos vistos nos métodos criptográficos baseados em códigos
inscritos no concurso de padronização do NIST (National Institute of
Standards and Technology) de criptografia pós-quântica, em andamento.
Slides do professor usados no curso
- Introdução ao curso
- Finite Fields I
- Introducão à Teoria de Códigos I
- Introducão à Teoria de Códigos II
- Introducão à Teoria de Códigos III
- Finite Fields II
- Introducão à Teoria de Códigos IV
Materiais adicionais usados nas aulas
- Textos, vídeos e slides
- Tópicos de Corpos Finitos com Aplicações em Criptografia e
Teoria dos Códigos. Ariane Masuda e Daniel Panario. IMPA Mathematical
Publications, 26th Brazilian Mathematics Colloquium, Instituto Nacional
de Matemática Pura e Aplicada (IMPA), Rio de Janeiro, 152 pages, 2007. Clique aqui para pdf.
- Introducing Low-Density Parity-Check Codes. Sarah Johnson. ACoRN Spring School, 2006. Clique aqui para pdf.
- Artigos
Outras referências
Material de avaliação
This page is maintained by Prof. R. Dahab
|