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