Projet VASOC (Vers l'Audit de Sécurité des Objets connectés)

Publications/outils

COnfECt Model learning tool for one component

Mapper aka TFormat Trace analysis and formatting

Assess Model learning tool for IOT systems

CkTail Model learning tool for communicating systems

 

AFADL(2018)

ICTSS (2018)

ICSOFT (2018)

SEKE (2019) reverse engineering of IOT systems

SQJ (2019) journal presenting COnfECt