End-to-end security validation of IoT systems based on digital twins of end-devices. - Laurent Maillet-Contoz; Emmanuel Michel; Mario Diaz-Nava; Paul-Emmanuel Brun; Kevin Leprêtre; Guillemette Massot (GIoTS, 2020)