Projecto Integrador - Sumários (2º Sem.)
MI-CSSI (2008/2009)
- 03/03/2009, 14:00 - 16:00
- 10/03/2009, 14:00 - 16:00
- 17/03/2009, 14:00 - 16:00
- 24/03/2009, 14:00 - 16:00
- 31/03/2009, 14:00 - 16:00
- 21/04/2009, 14:00 - 16:00
- 28/04/2009, 14:00 - 16:00
- 05/05/2009, 14:00 - 16:00
- 12/05/2009, 14:00 - 16:00
- 19/05/2009, 14:00 - 16:00
- 26/05/2009, 14:00 - 16:00
- 02/06/2009, 14:00 - 16:00
- 09/06/2009, 14:00 - 16:00
- 16/06/2009, 09:00 - 13:00, 14:00 - 20:00
- 23/06/2009, 09:00 - 13:00, 14:00 - 20:00
- 14/07/2009, 14:00 - 19:00
03/03/2009, 14:00 - 16:00
Apresentação dos projectos do 2º semestre:
- Sistema de Armazenamento Seguro
- Desenvolvimento de um compilador de alto nível para software criptográfico
- Provas de Segurança em Coq
- Implementação eficiente de propostas ao SHA-3
- Especificar e Verificar propriedades de segurança em software …
- Implementação de Algorítmos de Anonimização
- Modelo de um computador Quântico em Haskell
- Implementação de Esquemas Criptográficos Pós-Quanticos
- Explorar o CryptoVerif em provas de Conhecimento Zero
10/03/2009, 14:00 - 16:00
Escolha/atribuição dos projectos aos grupos de trabalho.
17/03/2009, 14:00 - 16:00
Acompanhamento dos projectos.
24/03/2009, 14:00 - 16:00
Acompanhamento dos projectos.
31/03/2009, 14:00 - 16:00
Acompanhamento dos projectos.
21/04/2009, 14:00 - 16:00
Acompanhamento dos projectos.
28/04/2009, 14:00 - 16:00
Acompanhamento dos projectos.
05/05/2009, 14:00 - 16:00
Acompanhamento dos projectos.
12/05/2009, 14:00 - 16:00
Tolerância de ponto (enterro da gata)
19/05/2009, 14:00 - 16:00
Acompanhamento dos projectos.
26/05/2009, 14:00 - 16:00
Acompanhamento dos projectos.
02/06/2009, 14:00 - 16:00
Acompanhamento dos projectos.
09/06/2009, 14:00 - 16:00
Acompanhamento dos projectos.
16/06/2009, 09:00 - 13:00, 14:00 - 20:00
Acompanhamento dos projectos.
23/06/2009, 09:00 - 13:00, 14:00 - 20:00
Acompanhamento dos projectos.
14/07/2009, 14:00 - 19:00
Apresentações dos projectos do 2º semestre.