1. Repositório Aberto da Universidade do Porto
  2. FCUP - Faculdade de Ciências
  3. FCUP - Tese
Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/127089
Full metadata record
DC FieldValueLanguage
dc.creatorVítor Manuel Parreira Pereira
dc.date.accessioned2026-01-12T10:22:53Z-
dc.date.available2026-01-12T10:22:53Z-
dc.date.issued2020-04-29
dc.date.submitted2020-05-14
dc.identifier.othersigarra:397307
dc.identifier.urihttps://hdl.handle.net/10216/127089-
dc.language.isoeng
dc.rightsopenAccess
dc.subjectCiências da computação e da informação
dc.subjectComputer and information sciences
dc.titleIntegrated Verification of Cryptographic Security Proofs and Implementations
dc.typeTese
dc.contributor.uportoFaculdade de Ciências
dc.identifier.doi10.34626/wfm1-3g93
dc.identifier.tid101528477
dc.subject.fosCiências exactas e naturais::Ciências da computação e da informação
dc.subject.fosNatural sciences::Computer and information sciences
thesis.degree.disciplinePrograma Doutoral em Informática
thesis.degree.grantorFaculdade de Ciências
thesis.degree.grantorUniversidade do Porto
thesis.degree.level2
Appears in Collections:FCUP - Tese

Files in This Item:
File Description SizeFormat 
397307.pdfIntegrated Verification of Cryptographic Security Proofs and Implementations3.4 MBAdobe PDFThumbnail
View/Open
Show simple item record Recommend this item Display Statistics


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.