Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/127089
Author(s): Vítor Manuel Parreira Pereira
Title: Integrated Verification of Cryptographic Security Proofs and Implementations
Issue Date: 2020-04-29
Subject: Ciências da computação e da informação
Computer and information sciences
Scientific areas: Ciências exactas e naturais::Ciências da computação e da informação
Natural sciences::Computer and information sciences
TID identifier: 101528477
URI: https://hdl.handle.net/10216/127089
Document Type: Tese
Rights: openAccess
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


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