Browsing Tesi di dottorato by Author "Focardi, Riccardo"

DSpace/Manakin Repository

Browsing Tesi di dottorato by Author "Focardi, Riccardo"

Sort by: Order: Results:

  • Analysis and prevention of security threats in web and cryptographic applications 
    Squarcina, Marco <1984> (Università Ca' Foscari Venezia, 2018-03-05)
    In recent years we have faced a multitude of security flaws posing a serious threat to the whole society, ranging from individuals to national critical infrastructures. For this reason, it is of crucial importance to ...
  • Analysis of threats and design flaws in hardware and software cryptographic systems 
    Palmarini, Francesco <1986> (Università Ca' Foscari Venezia, 2019-03-20)
    In the past two decades the use of cryptography in computer systems has constantly increased. Ranging from personal devices to critical infrastructures, cryptography is pervasive and variegated. It is crucial to perform ...
  • Beyond linear chain: a journey through conditional random fields for information extraction from text 
    Marcheggiani, Diego <1983> (Università Ca' Foscari Venezia, 2014-06-12)
    Natural language, spoken and written, is the most important way for humans to communicate information to each other. In the last decades \emph{natural language processing} (NLP) researchers have studied methods aimed at ...
  • 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. ...
  • Disciplined techniques for the analysis and protection of security-critical systems 
    Tempesta, Mauro <1990> (Università Ca' Foscari Venezia, 2019-03-20)
    In the last years most of our daily activities have moved to the digital world, including sensitive operations related to health data management and financial processes. Security flaws in the systems running these critical ...
  • Dynamic typing for security protocols 
    Maffei, Matteo <1978> (Università Ca' Foscari Venezia, 2006-03-21)
  • On cryptographic weaknesses related to elliptic curves 
    Sedláček, Vladimír <1992> (Università Ca' Foscari Venezia, 2022-02-09)
    Thissis esplora la sicurezza dei sistemi crittografici relativi alle curve ellittiche da varie angolazioni. Discutiamo di un modo per sfruttare uno speciale metodo di fattorizzazione basato su curve ellittiche per inserire ...
  • Type-based analysis of security APIs 
    Centenaro, Matteo <1981> (Università Ca' Foscari Venezia, 2011-03-03)
    Una security API è un'interfaccia che regola la comunicazione tra due processi, che vengono eseguiti con diversi livelli di affidabilità, allo scopo di assicurare che sia soddisfatta una determinata proprietà di sicurezza. ...