Publications of Vianney Darmaillacq

Load the BibTeX file

Academic Journals

1. V. Darmaillacq, J-.C. Fernandez, R. Groz, L. Mounier, J-.L. Richier. Tester la conformité d'un réseau à une politique de sécurité. Revue de l'Electricité et de l'Electronique, 6/7:33-43, 2006.

International Conferences

1. Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier. Test Generation for Network Security Rules. In Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko (eds.), Lecture Notes in Computer Science, Volume 3964, Pages 341-356, 2006.
2. V. Darmaillacq, J-.C. Fernandez, R. Groz, L. Mounier, and J.-L. Richier. Test Generation for Network Security Rules. In 18th IFIP International Conference on Testing Communicating Systems (TestCom 2006), LNCS 3964, Pages 25-27, New York City, USA, May 2006.

National conferences or workshops

1. Vianney Darmaillacq, Jean-Luc Richier, Roland Groz. Test generation and execution for security rules in temporal logic. In First International Workshop on Security Testing, a satellite event of ICST 2008, April 9-11, 2008, Lillehammer, Norway, April 2008.
2. Vianney Darmaillacq. Security policy testing using vulnerability exploit chaining. In First International Workshop on Security Testing, a satellite event of ICST 2008, April 9-11, 2008, Lillehammer, Norway, April 2008.
3. Nicolas Stouls, Vianney Darmaillacq. Développement formel d'un moniteur détectant les violations de politiques de sécurité de réseaux. In Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 179-193, ENST, Paris, March 2006.
4. V. Darmaillacq, J-C. Fernandez, R. Groz, L. Mounier, J.-L. Richier. Éléments de modélisation pour le test de politiques de sécurité. In Colloque sur les RIsques et la Sécurité d'Internet et des Systèmes, CRiSIS, Bourges, October 2005.

Other communications

1. N. Stouls, V. Darmaillacq. Formalisation et implantation de politiques de sécurité de réseaux. Majecstic 2005, Rennes, November 2005.

Thesis and habilitations

1. Vianney Darmaillacq. Génération de tests pour les systèmes répartis. PhD Thesis Université Joseph Fourier, Grenoble, France, December 2007.