LA RECHERCHE A L’ESME

^{Energie et technologies numériques,
les ingénieurs de l’innovation
responsable}

- L’intégrité scientifique à l’ESME
- Innovation responsable et démarche RSE
Partenariats
Actualités
Nous rejoindre

Formal Verification for Security and Attacks in IoT Network Layer,

Accueil » Formal Verification for Security and Attacks in IoT Network Layer,

Aude Herry

26 mai 2026

Précédent : A Combined Incremental Learning Algorithm for Human-Robot Collaboration,

Suivant : A Correct by Construction Approach to Functional Scalability of IoT Service Compositions using Event-B,

LA RECHERCHE A L’ESME

^{Energie et technologies numériques,
les ingénieurs de l’innovation
responsable}

ESME

Fondée en 1905, habilitée par la CTI, membre de la CGE et de l’UGEI, certifiée ISO 9001:2015, l’ESME forme des ingénieurs pluridisciplinaires capables de donner sens aux innovations et d’accompagner les transformations énergétique et numérique des entreprises et des organisations. Son projet pédagogique basé sur les compétences de l’innovation responsable, auxquelles s’ajoute un parcours personnalisable, vise à accompagner les étudiants vers l’autonomie et la prise de responsabilité. L’école est présente à Paris, Bordeaux, Lille et Lyon.

Contact

ESME Research Lab
38 rue Molière 94200
Ivry-sur-Seine

[email protected]

Retrouvez toute l’actualité de l’ESME Sudria

Facebook
Twitter
LinkedIn
YouTube
TikTok
Instagram
RSS Feed

Mentions Légales

Site ESME