Co-design et implémentation d’un noyau minimal orienté par sa preuve, et évolution vers les architectures multi-coeur
Avec la croissance majeure de l’Internet des Objets et du Cloud Computing, la sécurité dans ces systèmes est devenue un problème majeur. Plusieurs attaques ont eu lieu dans les dernières années, mettant en avant la nécessité de garanties de sécurité fortes sur ces systèmes. La plupart du temps, une...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2019LIL1I029/document |