Data | Título | Autor(es) | Tipo | Acesso |
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 |
2009 | Verifying cryptographic software correctness with respect to reference implementations | Almeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al. | Artigo em ata de conferência | Acesso aberto |