Joeri de Ruiter. A Tale of the OpenSSL State Machine: A Large-Scale Black-Box Analysis. In Billy Bob Brumley, Juha Röning, editors, Secure IT Systems - 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016, Proceedings. Volume 10014 of Lecture Notes in Computer Science, pages 169-184, 2016. [doi]
Abstract is missing.