Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

1 Résultat
Structure: Internal structure identifier : 538501

Combining static and dynamic analyses for vulnerability detection: Illustration on heartbleed

B. Kiss , N. Kosmatov , D. Pariente , A. Puccetti
Hardware and Software: Verification and Testing. HVC 2015. Lecture Notes in Computer Science, Nov 2015, Haifa, Israel. pp.39-50, ⟨10.1007/978-3-319-26287-1_3⟩
Conference papers cea-01834981v1