Source |
ANSSI Publi |
Identifiant |
747470 |
Date de publication |
2018-07-16 14:34:05 (vue: 2018-07-22 02:00:16) |
Titre |
Vérification modulaires de programmes avec effets en Coq |
Texte |
Les architectures matérielles modernes (x86, ARM, etc.) sont de plus en plus complexes. Leur surface d'attaque a augmenté en conséquences. Bien que les composants de ces systèmes sont conçus et parfois même vérifiés avec attention, leur composition est généralement regardée avec moins d'attention. Nous nous intéressons aux attaques tirant parti d'incohérences au niveau des spécifications […] |
Envoyé |
Oui |
Condensat |
architectures arm attaque attaques attention augmenté aux avec bien ces complexes composants composition conséquences conçus coq des effets est etc généralement incohérences intéressons les leur matérielles modernes modulaires moins même niveau nous parfois parti plus programmes que regardée sont spécifications surface systèmes tirant vérification vérifiés x86 |
Tags |
|
Stories |
|
Notes |
|
Move |
|