Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Deductive Verification of Cryptographic Software
Publication

Publications

Deductive Verification of Cryptographic Software

Title
Deductive Verification of Cryptographic Software
Type
Article in International Conference Proceedings Book
Year
2009
Authors
Barbosa, M
(Author)
Other
View Personal Page Send message Search for Participant Publications View Authenticus page Without ORCID
Almeida, JB
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. View Authenticus page Without ORCID
Pinto, JS
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. View Authenticus page Without ORCID
Vieira, B
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Other information
Authenticus ID: P-00A-8VH
Language: English
Type (Professor's evaluation): Scientific
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Deductive verification of cryptographic software (2010)
Article in International Scientific Journal
Almeida, JB; Barbosa, M; Pinto, JS; Vieira, B
CAOVerif: An open-source deductive verification platform for cryptographic software implementations (2014)
Article in International Scientific Journal
Almeida, JB; Barbosa, M; Filliatre, JC; Pinto, JS; Vieira, B
Verifying Cryptographic Software Correctness with Respect to Reference Implementations (2009)
Article in International Conference Proceedings Book
Almeida, JB; Barbosa, M; Pinto, JS; Vieira, B
Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-21 at 10:00:28 | Privacy Policy | Personal Data Protection Policy | Whistleblowing