Sumários
T22
3 maio 2016, 15:00 • Paulo Alexandre Carreira Mateus
Provas de conhecimento nulo. Exemplo baseado no problema do isomorfismo de grafos. Técnica da simulação da interação. Prova de protocolo de conhecimento nulo.
T21
28 abril 2016, 13:00 • Paulo Alexandre Carreira Mateus
Funções de dispersão. Funções fortemente e fracamente livres de colisões. Existência de funções de dispersão e implicações no problema P=NP. Ataque do aniversário. Problemas com a as funções de hash actuais.
AT16Q - Alameda
28 abril 2016, 10:30 • Paulo Alexandre Carreira Mateus
Quantum program for the inverse of a unitary transformation. Rotation gates. Control of a unitary transformation. Quantum Fourier Transform. Order finding problem. Reduction of factoring to order finding.
T16 - Alameda
27 abril 2016, 09:00 • Filipe Manuel Rodrigues Casal
Hash functions and security properties. Birthday attack. Applications of hash functions: commitment, file integrity, password verification, proof-of-work. Commonly used hashing algorithms. RSA partial knowledge attacks -- parity and half oracles.
T20
26 abril 2016, 15:00 • Paulo Alexandre Carreira Mateus
Assinatura digital. Transformação de um sistema criptográfico num sistema de assinatura digital. Exemplo do RSA. Protocolo DSS. Correção. Ataques ao DSS.