Bonjour Jérémy, Jeremy Dubreil <[EMAIL PROTECTED]> writes:
> Je suis actuellement en thèse à l'IRISA (project VerTeCs pour ceux qui > connaissent) et je m'interesse aux preuves formelles de programmes dans > le domaine de la sécurité. Je partirai probablement de la problématique > du vote éléctronique (si ce n'est pour ma thèse, au moins pour le projet > de recherche POLITESS auquel je participe) comme cas d'étude. Très intéressant, même si en ce qui concerne demexp on est encore très loin de ne serait-ce que spécifier les parties sécurité. Et nos contraintes de sécurité seront probablement *très* spécifiques. En rapport lointain avec votre projet POLITESS, nous avons un contact avec l'ENST Bretagne, à Rennes (Ahmed Bouabdallah, Nora et Frédéric Cuypens). Le projet demexp à participé à l'encadrement de deux étudiantes en master sur le vote électronique (cf. notre wiki pour le rapport). Nous (et en particulier je) sommes preneurs de toute info permettant d'implémenter un système sécurisé proprement (de la conception du code à la mise en place des serveurs). > Je n'ai pas vu sur le Wiki si vous organisez de temps en temps des > réunions de travail sur demexp. Nous faisions une réunion environ tous les quinze jours, sur Rennes (on tient un peu moins régulièrement le rythme ces derniers temps). On doit faire une réunion la semaine prochaine. On fera une annonce sur cette liste quelques jours à l'avance. À bientôt, Amicalement, david -- pub 1024D/A3AD7A2A 2004-10-03 David MENTRE <[EMAIL PROTECTED]> 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A -- Liste de discussion demexp-fr. Pour se désinscrire, cliquer sur le lien ci-après. mailto:[EMAIL PROTECTED]
