BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Academic documents

Document subtype
Master's dissertation

Title
Removal of vulnerabilities in binary code by program model checking and concolic execution

Participants in the publication
Ferreirinha, Luís Pedro Félix (Author)
Unidade de I&D e Inovação
 LASIGE
 Medeiros, Ibéria Vitória de Sousa (Adviser)
Dep. Informática
 LASIGE
Date of Submisson/Request
2024
Date of Publication
2024

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Publication Identifiers

Document Identifiers
URL - https://repositorio.ulisboa.pt/handle/10400.5/95544


Export

APA
Ferreirinha, Luís Pedro Félix, (2024). Removal of vulnerabilities in binary code by program model checking and concolic execution. https://repositorio.ulisboa.pt/handle/10400.5/95544 Medeiros, Ibéria Vitória de Sousa,

IEEE
Ferreirinha, Luís Pedro Félix, "Removal of vulnerabilities in binary code by program model checking and concolic execution", 2024.

BIBTEX
@MastersThesis{62198, author = {Ferreirinha, Luís Pedro Félix}, title = {Removal of vulnerabilities in binary code by program model checking and concolic execution}, school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA}, year = {2024}, OPTtype = {Documentos Académicos} }