Terceiro quadrimestre de 2019

Turma: A (noturno, Santo André)

Período letivo: 23/09/2019 a 14/12/2019

Horário e salas: 2^a 19:00-21:00; 5^a 21:00-23:00 (sala S-301-3 – bloco A)

Horário de atendimento: 5^a das 16 às 18, na sala 805 do bloco B

Professor: Jerônimo C. Pellegrini

Sala do professor: S 805 (bloco B)

Email do professor: jeronimo.pellegrini ufabc edu br

REC: TERÇA, 10/03 19:00

Sala S-308-3

Trabalhos - conceitos faltando

Se seu conceito no trabalho ficou faltando, me mande email diendo que já mandou o trabaho, com nome e RA!

Conceitos no SIGAA – OK agora

O sistema lista todo mundo como reprovado por falta, não sei por que motivo. Terei que ver com Prograd e NTI o que aconteceu. Pronto, o sistema foi corrigido!

Conceitos P3 e de ALGUNS trabalhos

P3 corrigida - vejam.

Alguns trabalhos já tem nota 4, e já os incluí na planilha. Os outros ainda não tem nota, porque o prazo é 16/12, e mesmo quem já entregou pode, querendo, mandar nova vresão.

Novidades

13/12 -- P3 corrigida
05/12 -- próximas aulas para atendimento/dúvidas
22/11 -- conceitos da P2 disponíveis
21/11 -- NOVO: um trabalho pode substituir a P3
21/11 -- prova 2 comentada neste site
27/10 -- conceitos da P1 disponíveis
23/09 -- início das aulas

Orientações gerais

PERGUNTE! INTERROMPA A AULA E PEÇA QUE EU EXPLIQUE NOVAMENTE! NÃO DEIXE SUAS DÚVIDAS SE ACUMULAREM!

Não creia que poderá sanar as dúvidas uma semana antes da prova! O conteúdo inclui conceitos abstratos e maneiras diferentes de raciocinar. Isto significa que esforço não basta – você precisa de TEMPO para absorver e digerir as idéias, e tentar condensar esse tempo em uma semana NÃO funciona!

Ementa

Geradores pseudoaleatóreos. Cifras de fluxo. Cifras de bloco simétricas e modos de operação. Resumos criptográficos. Teoria dos Números e criptografia assimétrica. Autenticação de mensagens. Assinaturas digitais. Protocolos criptográficos.

Requisitos

É prudente ter cursado Introdução à Probabilidade e Estatística, Matemática Discreta e Teoria Aritmética dos Números.

Objetivos

A disciplina dá uma visão geral da Criptografia, partindo de seus fundamentos. Esepra-se que o discente desenvolva familiaridade com os conceitos fundamentais (funções de mão única, pseudoaleatoriedade, provas de conhecimento zero) e com as construções básicas da Criptografia (cifras simétricas e assimétricas, resumos, protocolos, etc) e suas propriedades – e que com isso consiga compreender e elaborar demonstrações simples de segurança.

Avaliação

O conceito final da disciplina poderá ser:

• F - Reprovado. O aluno deve cursar novamente a disciplina.
• C - Desempenho mínimo satisfatório, demonstrando capacidade de uso adequado dos conceitos da disciplina, habilidade para enfrentar problemas relativamente simples e prosseguir em estudos avançados.
• B - Bom desempenho, demonstrando boa capacidade de uso dos conceitos da disciplina.
• A - Desempenho excepcional, demonstrando excelente compreensão da disciplina e do uso da matéria.

Faremos três avaliações escritas com duas horas de duração: P₁, P₂ e P₃. Cada avaliação vale exatamente 0, 1, 2 ou 3. A nota final é a soma das notas das provas, com mais um ponto para quem fizer as listas de exercícios (direi mais sobre isto depois).

AS AVALIAÇÕES SERÃO REALIZADAS SEM CONSULTA A QUALQUER MATERIAL!

COLA/PLÁGIO RESULTAM EM F NA DISCIPLINA

As notas serão convertidas em conceito de acordo com a seguinte regra: seja n a soma das notas das provas e do ponto de exercícios. Então o conceito final será:

• n ∈ [0, 5) → F
• n ∈ [5, 7) → C
• n ∈ [7, 9) → B
• n ∈ [9, 10] → A

NOVO: TRABALHO PARA SUBSTITUIR A P3

Quem quiser pode elaborar um trabalho individual para substituir a P3. Entregar até 09/1216/12.

O TRABALHO VALE 4 (MAIS QUE A P3)

Há uma lista de possíveis tópicos, mas me procure antes de escolher um tópico, para evitar repetições. Se tiver alguma idéia fora da lista, me diga!

Datas das avaliações

• P₁: 21/10
• P₂: 18/11
• P₃: 12/12
• SUB: 16/12
• Exame: 19/12

Prova substitutiva

Somente para os casos previstos em lei e na resolução 181 do CONSEPE!

Caso o aluno perca uma das provas e apresente justificativa, poderá fazer uma substitutiva no final do quadrimestre.

Exame

Para alunos com F (sobre o exame, veja a resolução 182 do CONSEPE). O exame será realizado no próximo quadrimestre.

A nota final será 0.6n + 0.4e, onde n é a nota dos testes e e é a nota do exame.

Exercícios

• Lista 1
• Lista 2
• Lista 3
• Lista 4

Conceitos

Aqui, no arquivo conceitos.txt

Provas comentadas

• P1: feito em aula
• P2

Programa

Este programa está sujeito a mudanças simples. Grandes mudanças não devem acontecer.

1. Visão geral dos problemas abordados pela Criptografia
2. Noções de complexidade de algoritmos
3. Sigilo perfeito e o teorema de Shannon
4. Funções de mão única
5. Geradores pseudoaleatóreos e cifras de fluxo
6. Funções pseudoaleatóreas e cifras de bloco
7. Noções de Criptanálise
8. Resumos criptográficos (hashing)
9. MAC (autenticação de mensagens)
10. Cifras assimétricas
11. Assinaturas digitais
12. Protocolos com dois participantes
13. Provas de conhecimento zero
14. Autenticação de entidades (identificação)
15. Compartilhamento de segredos
16. Encriptação negável
17. Votação eletrônica

O cronograma é flexível. Andaremos mais rápido ou mais devagar dependendo de como a turma estiver acompanhando.

Bibliografia e exemplos de código

VOCÊ NÃO PRECISA COMPRAR NENHUM DESTES LIVROS! Boa parte deles está disponível na biblioteca; as notas de aula, que seguiremos muito de perto, são livres.

Código

• cipher-cryptanalysis.R – em R, licença GNU AGPL v.3
• Elgamal – implementação insegura, mas simples – em C, licença GNU GPL v.3

Bibliografia Principal

Usaremos as notas de aula no primeiro link da lista a seguir. Outros livros poderão ser úteis.

• Notas de Aula
• Boneh, D.; Shoup, V. A Graduate Course in Applied Cryptography – excelente livro, moderno e detalhado.
• Katz/Lindell Introduction to Modern Cryptography – excelente introdução à Cripto Moderna (um pouco pesado) Há uma segunda edição à venda, para quem se interessar.
• Mao, W. Modern Cryptography: theory and practice Prentice Hall, 2004.
• Stinson, D. Cryptography: theory and practice Chapman&Hall, 2006.
• Smart,N. Cryptography: an introduction. Mcgraw-Hill, 2004 (mas também disponível livremente – siga o link no título do livro
• Talbot, J; Welsh, D. Complexity and Cryptography: an introduction Cambridge University Press, 2006.

Bibliografia Secundária

• Baldoni et all Elementary Number Theory, Cryptography and Codes
• R. Pass and A. Shelat: A Course in Cryptography
• Hoffstein, Pipher, Silverman. A Introduction to Mathematical Cryptography
• Victor Shoup. A Computational Introduction to Number Theory and Algebra (livre!)
• Dasgupta, Papadimitriou, Vazirani. Algorithms
• Hopcroft, John E; Ullman, Jeffrey D; Motwani, Rajeev. Introdução à teoria de autômatos, linguagens e computação. Campus, 2003.
• Cormen, Leiserson, Rivest, Stein. Algoritmos - Teoria e Prática Campus, 2002
• Notas de aula de Jonathan Katz
• Notas de aula de Mihir Bellare e Philip Rogaway
• Notas de aula de Goldwasser e Bellare
• Menezes, OOrschot, Vanstone. Handbook of Applied Cryptography CRC Press, 1996.
• Coutinho, S. C. Números Inteiros e Criptografia RSA, IMPA, 2005
• Joan Daemen, Vincent Rijmen. The Design of Rijndael. Springer.
• Dahab, López. Técnicas Criptográficas Modernas
• Rothe, J. Complexity Theory and Cryptology Springer, 2005.
• Mohamed Barakat, Christian Eder, Timo Hanke An Introduction to Cryptography

Embora não exista em nossa biblioteca, quem tiver interesse em continuar estudando Criptografia poderá consultar estes livros:

• Vaudenay, S. A Classical Introduction to Cryptography – uma abordagem um pouco diferente dos outros; dá mais atenção a criptografia simétrica, por exemplo
• Ireland e Rosen. A Classical Introduction to Modern Number Theory – Teoria dos Números, com mais profundidade
• Catalano. Contemporary Cryptology – sobre Cripto Moderna
• Delfs. Introduction to Cryptography: Principles and Applications – também sobre Cripto Moderna
• Goldreich Foundations of Cryptography – 2 volumes; sobre os fundamentos (muito abstrato, denso, pesado – mas excelente)

Links

• Um curso de cripto em Stanford