Événement
Chargement Évènements

[OSIS] IoT & Embarqué critique

Dans le cadre du Printemps de l'Innovation Open Source (OSIS), Smile et Lip 6 (Sorbonne Université) font le point sur les technologies permettant d'assurer la qualité des logiciels/OS embarqués dans les équipements IoT.

Image par default

Programme

  • 14:00 – State of the art in security for embedded systems and IoT (Pierre Ficheux, Smile)
  • 14:40 – Transparent remote connectivity to short-range IoT devices (Natalya Rozhnova, Nokia)
  • 15:20 – Break
  • 15:40 – Proof of Pointer Programs with Ownership in SPARK (Yannick Moy, AdaCore)
  • 16:20 – WooKey: USB Devices Strike Back (Philippe Trébuchet, ANSSI)
  • 17:00 – Cocktail networking