Ponsard Christophe, Denis Darquennes, Towards Formal Security Verification of Over-The-Air Update Protocol : Requirements, Survey and UpKit Case Study, in Proc 5th International Workshop on (...)
Solutions d'intelligence embarquée par drones, via des programmes élaborés en interne sur mesure. Secteurs d'activité: services secrets, détection des menaces terroristes, surveillance de personnes, contrôles (...)
AW Europe est un producteur de système de navigation pour voitures et de pièces automobiles. MobiLearn permet notamment l'interconnexion des caméras installées sur les véhicules
Alstom développe et commercialise des systèmes intégrés qui fournissent les bases durables de l'avenir des transports notamment au travers de solutions de signalisation et de mobilité (...)
Conception, monitoring et gestion des systèmes d'information et de la sécurité informatique. Audits et conseil, déploiement automatique des infrastructures informatiques, gestion des changements au sein de (...)
Spécialisée dans la recherche en circuits et systèmes électroniques depuis les processus CMOS nanométriques jusqu'aux circuits intégrés analogiques/digitaux/RF et leur utilisation dans des applications biomédicales et IoT, (...)
