To sort my bibliographie, I follow the ARES nomenclature (in French).

[ACL] Journal

  1. Security Vulnerabilities Test Generation from SysML and Event-B models for EMV cards; N. Ouerdi, M. Azizi, J.-L. Lanet, A. Savary, A. Azizi, M. Ziane | International Journal of Security and Its Applications, Vol. 8 Issue 1, p373-388; 2014

[C-INV] Invited Conference or Workshop

  1. VTG – Vulnerability Test Generator, a Plug-in for Rodin; A. Savary, J.-L. Lanet, M. Frappier, T. Razafindralambo, J. Dolhen | Workshop Deploy; Fontainebleau, France; February 2012 |  PresentationProceeding

[C-ACTI] International Conference with review and proceeding

  1. Model-Based Robustness Testing in Event-B using Mutation; A. Savary, M. Frappier, M. Leuschel, J.-L. Lanet | Software Engineering and Formal Methods, Springer International Publishing, p132-147 | SEFM (Récompense du meilleur article de la conférence); York, United Kingdom, September 2015 | Springer [or Article] Presentation
  2. Detecting Vulnerabilities in Java-Card Bytecode Verifiers using Model-Based Testing; A. Savary, M. Frappier, J.-L. Lanet | Integrated Formal Methods, Springer Berlin Heidelberg, p223-237 | iFM; Turku, Finland; June 2013 | Springer [ou ArticlePresentation

[C-ACTI] International Workshop with review and proceeding

  1. Toolbox for penetration testing based on Rodin and ProB; A. Savary, M. Frappier, J.-L. Lanet | Rodin Workshop 2014; June 2014 |  ArticlePresentation

[C-ACTN] National Conference with review and proceeding

  1. Formula Negator, Outil de négation de formule; A. Savary, M. Frappier, J.-L. Lanet | AFADL; Paris, France; June 2014 | Article, Presentation
  2. Piratons formellement des cartes à puce; A. Savary | Colloque TI; Drummondville, Québec, Canada; April 2013 | Presentation
  3. EMV Card: Generation of abstract test cases based on SysML model; N. Ouerdi, M. Azizi, J.-L. Lanet, M. Ziane, A. Azizi, A. Savary | Third Edition of the National Security Days (JNS3); Rabat, Morocco; April 2013
  4. Génération de tests de vulnérabilité pour vérifieur du typage Java Card; A. Savary, M. Frappier, J.-L. Lanet | SAR-SSI; La Rochelle, France; May 2010 |  ieee xplore [or Article], Presentation

[C-COM] Conference without proceeding

  1. Genericity of a model-based intrusion testing method; A. Savary, M. Lassale, M. Frappier, J.-L. Lanet | SDTA; December 2014 | Presentation
  2. Automatic generation of vulnerability test suite for the Java Card verifier; A. Savary, M. Frappier, J.-L. Lanet | e-smart; Nice, France; September 2011 | PresentationProceeding

[C-AFF] Posters

  1. XLIM Lab VTG: Vulnerability Test Generator; A. Savary, J.-L. Lanet, M. Frappier | Workshop XLIM; Limoges, France; September 2014 | Poster
  2. VTG 2.0: Vulnerability Tests Generator; A. Savary, J.-L. Lanet, M. Frappier | Journées GDR GPL; Paris, France; June 2014 | Poster
  3. Automatic Generation of Vulnerability Test for the Java Card Byte Code Verifier; A. Savary, M. Frappier, J.-L. Lanet | 25 ans Cryptis; Limoges, France; November 2011 | Poster

[AP] Seminar

  1. Specification Mutation and Model-Based Testing with ProB | A. Savary | Deploy Plenary; Düsseldorf, Germany; October 2014
  2. Piratons formellement des cartes à puce ! | A. Savary | Séminaires du CREI (USherbrooke); Sherbrooke, Québec, Canada; November 2012
  3. Génération de tests de vulnérabilité pour vérifieur du typage Java Card; A. Savary | Séminaire Cryptis; May 2011

[PV] Popularization of science

  1. TEDxRueRemusat; May 2014 | Presentation
  2. Animation d’un workshop en sécurité pour les lycéens de l’école d’Arsonval de Brives; March 2014
  3. Le chat et la sourie, ou attaque et contre-mesures en informatique; atelier proposé aux scouts de Sherbrooke; July 2013
  4. Animation d’un workshop en sécurité pour les élèves de l’école Mitchell de Sherbrooke; April 2013
  5. Sensibilisation à la sécurité informatique auprès d’une entreprises informatiques de Drummondville; October 2014