L'IoT à la croisée des chemins : Enjeux de sécurité, défis de la vérification et perspectives d'avenir