Programa

Sistemas de Elevada Confiabilidade

Mestrado Bolonha em Engenharia Informática e de Computadores - Taguspark

Mestrado Bolonha em Engenharia de Telecomunicações e Informática

Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda

Programa

1) Fundamentos de confiabilidade a) Taxonomia b) Fiabilidade, disponibilidade, capacidade de manutenção, segurança c) Modelo de faltas e cobertura d) Redundância espacial, temporal e de valor. Codificação. e) Processamento de erros. Recuperação para a frente e para trás. f) Deteção de falhas e diagnóstico. 2) Segurança e fundamentos de criptografia a) História e términologia de base em segurança e criptografia b) Serviços criptográficos básicos: confidencialidade, integridade, autenticação, não repúdio, gestão de chaves 3) Tolerância a faltas Bizantinas a) Eleição de líder Bizantina b) Difusão Bizantina c) Memória Bizantina d) Consenso Bizantino 4) Fundamentos de "Blockchain" a) Registos distribuídos b) Prova de trabalho, prova de empenho, etc c) Sistemas Blockchain: Bitcoin, Ethereum d) Aplicações: criptomoedas, contratos inteligentes 5) Computação confiável a. Suportes hardware para computação segura e confiável i. Smartcards ii. Trusted Platform Mdule iii. Intel SGX