Programme

• Testing micro-kernel syscalls to discover vulnerabilities. Amaury Gauthier, Clément Mazin, Julien Iguchi-Cartigny, Jean-Louis Lanet.
• Évaluation des performances des hyperviseurs pour l'avionique. Maxime Lastera, Eric Alata, Jean Arlat, Yves Deswarte, Bertrand Leconte, David Powell.
• Construire des abstractions par preuve pour générer des tests. P.-C. Bué, J. Julliand, P.-A. Masson.
• Modeling Distributed Real-Time Systems using Adaptive Petri Nets. Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy.
• Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques. Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell.
• Attaques par entrée-sortie et contremesures. Fernand Lone Sang, Vincent Nicomette, Yves Deswarte.
• Attaques physiques à haut niveau pour le test de la sécurité des cartes à puce. P. Berthomé, K. Heydemann, X. Kauffmann-Tourkestansky, J.-F. Lalande.
• Modeling and Detecting Intrusions in ad hoc Network Routing Protocols. Mouhannad Alattar, Françoise Sailhan, Julien Bourgeois.
• Towards a System Architecture for Resilient Computing. Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy.
• On Developing Dependable Positioning. Christophe Pitrey, Françoise Sailhan.