Browsing by Author "Matyas, Vashek"

DSpace/Manakin Repository

Browsing by Author "Matyas, Vashek"

Sort by: Order: Results:

  • Challenging RSA cryptosystem implementations 
    Nemec, Matus <1992> (Università Ca' Foscari Venezia, 2020-03-12)
    In questo lavoro di tesi abbiamo studiato le proprietà di sicurezza delle implementazioni del cifrario RSA. Nella prima parte, analizziamo i metodi per la generazioni di chiavi RSA di diverse librerie crittografiche. ...
  • String analysis for software verification 
    Olliaro, Martina <1991> (Università Ca' Foscari Venezia, 2021-03-24)
    This thesis aims to investigate string manipulation with security implications in different programming languages and to improve the state-of-the-art by applying the abstract interpretation theory to string analysis. ...