Approaches for analyzing security properties of smart objects. (Environnement pour l'analyse de sécurité d'objets communicants)

Florian Lugou. Approaches for analyzing security properties of smart objects. (Environnement pour l'analyse de sécurité d'objets communicants). PhD thesis, University of Côte d'Azur, France, 2018. [doi]

Abstract

Abstract is missing.