HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Theses

Decision procedures for vulnerability analysis

Abstract : Formal methods have repeatedly demonstrated their relevance in search and analysis of bugs. If current methods are well suited to critical code analysis where mistakes are not a possible option, they are less interested on non-critical programs. Indeed, on such programs bugs are too numerous and only the most serious are corrected, a practice that does not fit well with today's tools.The aim of this thesis is therefore to allow such a gradation in the context of formal methods, which involves developing new decision procedures tailored to vulnerability analysis.
Document type :
Theses
Complete list of metadata

Cited literature [186 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02988031
Contributor : Abes Star :  Contact
Submitted on : Wednesday, November 4, 2020 - 2:06:09 PM
Last modification on : Friday, March 25, 2022 - 9:43:49 AM
Long-term archiving on: : Friday, February 5, 2021 - 6:29:57 PM

File

FARINIER_2020_archivage.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02988031, version 1

Collections

Citation

Benjamin Farinier. Decision procedures for vulnerability analysis. Performance [cs.PF]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM013⟩. ⟨tel-02988031⟩

Share

Metrics

Record views

228

Files downloads

170