Publication List of Sébastien Bardin





Thesis



Articles & talks


Other

  1. A. Djoudi, R. David, J. Feist, S. Bardin and T. Dinh Ta. BINSEC : plate-forme d’analyse de code binaire.  Actes de la 15e conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) 
  2. [talk] S. Bardin. Projet ANR BINSEC : analyse formelle de code binaire pour la sécurité. 15e conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016)
  3. [talk] S. Bardin, R. Bonichon, R. David, A. Djoudi, B. Farinier, J. Feist, L. Mounier, M.-L. Potet, T. Dihn Ta, F. Védrine. BINSEC: Binary-level Semantic Analysis to the Rescue. RMLL security track 2016 
  4. S. Bardin, M. Delahaye, R. David, N. Kosmatov, M. Papadakis, Y. Le Traon, J.-Y. Marion. Détection sûre et quasi-complète d'objectifs de test infaisables. Actes de la 14e conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015). 
  5.   S. De Oliveira, V. Prevosto, S. Bardin. Au temps en emporte le C. Actes des 26e Journées Francophones des Langages Applicatifs (JFLA 2015).
  6.   F. Bobot, S. Bardin, B. Marre. CP meets SMT. Workshop CP meets Verification 2014 (CPCAV 2014)
  7.   S. Bardin, F. Cheynier and N. Kosmatov. Exécution symbolique et critères de test avancés. Actes de la 13e conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2014).  
  8.   S. Bardin, A. Gotlieb: A Combined Approach for Constraints over Finite Domains and Arrays. CoRR abs/1312.0200 (2013)      
  9.   S. Bardin, N. Kosmatov and F. Cheynier. Efficient Leverage of Symbolic ATG Tools to Advanced Coverage Criteria. CoRR abs/1308.4045 (2013) 
  10.   S. Bardin, P. Herrmann and F. Védrine. Refinement-based CFG reconstruction from executable code.  GDR-GPL meeting, June, 2011.
  11.   S. Bardin, B. Botella, F. Dadeau, F. Charreteur, A. Gotlieb, B. Marre, C. Michel, M. Rueher and N. Williams. Constraint-based Software Testing.  GDR-GPL meeting, January, 2009.
  12.   S. Bardin, A. Finkel, J. Leroux, L. Petrucci and L. Worobel.  FAST: Users'Manual. Technical Report LSV-10, July 2003. Ens Cachan. 

Back