Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Balázs Kiss, Nikolai Kosmatov, Dillon Pariente, Armand Puccetti. Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed. In Nir Piterman, editor, Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Volume 9434 of Lecture Notes in Computer Science, pages 39-50, Springer, 2015. [doi]

This author has not been identified. Look up 'Balázs Kiss' in GoogleThis author has not been identified. Look up 'Nikolai Kosmatov' in GoogleThis author has not been identified. Look up 'Dillon Pariente' in GoogleThis author has not been identified. Look up 'Armand Puccetti' in Google

runs on WebDSL