Research activity

Interprétation abstraite probabiliste de protocoles de communication avec renouvellement

2016-2019 Publications

• 2019
  • A. Ouadjaout, A. Miné : “Quantitative Static Analysis of Communication Protocols using Abstract Markov Chains”, Formal Methods in System Design, (Springer Verlag) (2019)
• 2018
  • A. Miné, A. Ouadjaout, M. Journault : “Design of a Modular Platform for Static Analysis”, The Ninth Workshop on Tools for Automatic Program Analysis (TAPAS'18), Fribourg-en-Brisgau, Germany (2018)
  • M. Journault, A. Miné, A. Ouadjaout : “Modular static analysis of string manipulations in C programs”, SAS 2018, Freiburg im Breisgau, Germany (2018)
  • A. Fromherz, A. Ouadjaout, A. Miné : “Static Value Analysis of Python Programs by Abstract Interpretation”, NFM 2018 - 10^th International Symposium NASA Formal Methods, vol. 10811, Lecture Notes in Computer Science, Newport News, VA, USA, pp. 185-202, (Springer) (2018)
• 2017
  • A. Ouadjaout, A. Miné : “Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains”, 24^th International Symposium on Static Analysis (SAS 2017), vol. 10422, Lecture Notes in Computer Science, New York, NY, USA, pp. 277-298, (Springer) (2017)
  • A. Amira, A. Ouadjaout, A. Derhab, N. Badache : “Sound and Static Analysis of Session Fixation Vulnerabilities in PHP Web Applications”, CODASPY, Scottsdale, Arizona, USA (2017)
• 2016
  • A. Ouadjaout, A. Miné, N. Lasla, N. Badache : “Static analysis by abstract interpretation of functional properties of device drivers in TinyOS”, Journal of Systems and Software, vol. 120, pp. 114-132, (Elsevier) (2016)