Tesi etd-06192011-191011 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea specialistica
Autore
BRESCIANI, RICCARDO
URN
etd-06192011-191011
Titolo
Static Analysis of Circuits for Security
Dipartimento
INGEGNERIA
Corso di studi
INGEGNERIA ELETTRONICA
Relatori
relatore Prof. Fanucci, Luca
Parole chiave
- sicurezza
- verifica formale
- VHDL
Data inizio appello
22/07/2011
Consultabilità
Completa
Riassunto
The purpose of the present work is to define a methodology to analyze a system description given in VHDL code and test its security properties. In particular the analysis is aimed at ensuring that a malicious user cannot make a circuit output the secret data it contains.
File
| Nome file | Dimensione |
|---|---|
| Static_A...urity.pdf | 2.43 Mb |
| Static_A...72011.pdf | 2.95 Mb |
| Static_A...ndout.pdf | 1.77 Mb |
| Static_A...t_2x1.pdf | 1.76 Mb |
| Static_A...t_4x1.pdf | 1.75 Mb |
| Static_A...72011.pdf | 2.51 Mb |
| Static_A...ndout.pdf | 2.13 Mb |
Contatta l’autore |
|