Programme complet Embedded-SEC18

Keynotes


Gérard Berry, professeur au Collège de France, titulaire de la chaire Algorithmes, machines et langages : L'Internet des objets survivra-t-il à ses problèmes de sécurité ?

Dominique Bolignano, fondateur et CEO de Prove & Run : La sécurité de l'Internet des objets, enjeux et perspectives

Andrew Banks, chairman du groupe Misra-C : The MISRA myth busted: Design patterns, safety and security ?

Bertrand Tavernier, VP Software Research & Technologies (KTD), Thales Group : RISC-V : Ouvrir le chemin pour la programmation 2.0 des systèmes "Safe and Secured"

Sécurité matérielle


Adrien Facon, Head of Research & Innovation, Secure-IC : L’Intelligence Artificielle au cœur du silicium, vers un changement de paradigme dans la sécurité des systèmes embarqués

Sebastian Manthey Larsen, Strategic Business Development Manager, Security Solutions, Analog Devices Automotive : Accelerating connectivity and Autonomy by Extending the Secure Edge

Camille Jalier, directeur du développement Hardware, Kalray : Sécurisation d'une architecture manycore

Christophe Tremlet, Executive Business Manager, Micros & Security, Maxim Integrated : Is TPM the best option for embedded security ?

Fabrice Gendreau, responsable EMEA segment sécurité, Microcontrollers and Digital ICs Group, STMicroelectronics : scalable security solutions

Sécurité logicielle (OS, firmware...)


Christophe Pagezy,  CEO de Prove & Run : Architectures et socles d'exécution pour la sécurité des systèmes embarqués

Julien Zeller, CEO de Cynetis Embedded : Focus sur le protocole TLS 1.3

Adrien Grassein, Tech Expert, Smile : Analyse des mécanismes de sécurité apportés par Android

Alexis Duque, R&D and Security Leader, RTone : Sécuriser la connexion Bluetooth Low Energy de son objet connecté

Frédéric Maraval, Product Manager Embedded System & SW Quality, ISIT : Réduire les vulnérabilités d’un logiciel embarqué via l’analyse statique avancée

Laurent Hausermann, cofondateur de Sentryo : Cybersecurité Industrielle: une architecture Edge pour surveiller les réseaux Industrial IoT

Sécurité des applications embarquées


Frédéric Maraval, Product Manager Embedded System & SW Quality, ISIT : Rendre un code plus “secure” via la mise en œuvre d’un process Qualité Logicielle qui va de la traçabilité des exigences au test automatisé du logiciel

Aurelien Jacquiot, technical lead, Witekio : The Future of Security for IoT Devices, how new technologies like blockchain or Unikernel will likely break into the IoT world.

Nga Nguyen, Saoussen Mili et Rachid Chelouah, Laboratoire Quartz, EISTI : Modélisation et vérification des systèmes embarqués communicants pour une prise en compte de la connectivité dans l’analyse de sécurité contre les cyber-attaques dès la phase de conception.

Emmanuel Gaudin, CEO et fondateur de Pragmadev : Techniques de vérification de systèmes événementiels, impact sur la sécurisation des logiciels

Yves Meyer, expert avionique, Sysgo : Le couple sûreté – sécurité pour les logiciels embarqués dans l’avionique