Percorrer por assunto Cryptographic algorithms
Mostrar 1-4 de um total de 4 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
4-Abr-2014 | Cryptographic library support for a certified compiler | Fernandes, Nuno Filipe Trovisco | Dissertação de mestrado | Acesso aberto |
2010 | Deductive verification of cryptographic software | Almeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al. | Artigo | Acesso aberto |
2011 | Formal verification of side channel countermeasures using self-composition | Almeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al. | Artigo | Acesso aberto |
2013 | Formal verification of side-channel countermeasures using self-composition | Almeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al. | Artigo | Acesso aberto |