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


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



ICTSS (2018)

ICSOFT (2018)

SEKE (2019) reverse engineering of IOT systems

SQJ (2019) journal presenting COnfECt

Using Model Learning for the Generation of Mock Components (2020)

Verifying the Application of Security Measures in IoT Software Systems with Model Learning (2020)

CkTail: Model Learning of Communicating Systems (2020)

Model generation of component-based systems (2020)