Project Name	Description	Percent Completed	Deadline	Action
Criptografia em Redes de Sensores		overdue not started	2008-01-11	[Add Task]
Implementação Eficiente de Métodos Criptográficos		overdue not started	2008-01-11	[Add Task]
Infra-Estrutura de Chaves Públicas: Projeto e Implementação		overdue not started	2008-01-12	[Add Task]
Marcas D'água		overdue not started	2008-12-31	[Add Task]
Protocolos para Computação Distribuída Segura		overdue not started	2008-01-12	[Add Task]
Verificação formal de protocolos de trocas justas utilizando o método de espaços de fitas	Descrição: Os protocolos criptográficos de trocas justas destinam-se a permitir que dois ou mais usuários possam trocar conteúdo eletrônico sem que algum deles possa ter vantagens sobre os demais. A verificação formal de protocolos é um elemento fundamental no projeto de protocolos comprovadamente seguros. O método de espaços de fitas é uma técnica de verificação formal de protocolos baseada em prova de teoremas, inicialmente apenas compatível com protocolos de autenticação e estabelecimento de chaves. A adaptação proposta pelo aluno em \cite{piva06strandfx} permite que o método possa ser aplicado a protocolos de trocas justas. Este trabalho pretende aprofundar o estudo desta e outras técnicas de verificação formal de protocolos de trocas justas, culminando na proposta de diretrizes para projeto de protocolos e de uma nova técnica automatizável para análise dos mesmos.	overdue not started	2008-12-31	[Add Task]