Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Deductive Verification of Cryptographic Software

Publicações

Deductive Verification of Cryptographic Software

Título
Deductive Verification of Cryptographic Software
Tipo
Artigo em Livro de Atas de Conferência Internacional
Ano
2009
Autores
Barbosa, M
(Autor)
Outra
Ver página pessoal Enviar mensagem Pesquisar Publicações do Participante Ver página do Authenticus Sem ORCID
Almeida, JB
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Ver página do Authenticus Sem ORCID
Pinto, JS
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Ver página do Authenticus Sem ORCID
Vieira, B
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Outras Informações
ID Authenticus: P-00A-8VH
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas

Dos mesmos autores

Deductive verification of cryptographic software (2010)
Artigo em Revista Científica Internacional
Almeida, JB; Barbosa, M; Pinto, JS; Vieira, B
CAOVerif: An open-source deductive verification platform for cryptographic software implementations (2014)
Artigo em Revista Científica Internacional
Almeida, JB; Barbosa, M; Filliatre, JC; Pinto, JS; Vieira, B
Verifying Cryptographic Software Correctness with Respect to Reference Implementations (2009)
Artigo em Livro de Atas de Conferência Internacional
Almeida, JB; Barbosa, M; Pinto, JS; Vieira, B
Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-09-23 às 03:22:31 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico