@incollection{nordsec16,
  author="de Ruiter, Joeri",
  editor="Brumley, Billy Bob and R{\"o}ning, Juha",
  title="A Tale of the OpenSSL State Machine: A Large-Scale Black-Box Analysis",
  bookTitle="Secure IT Systems: 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016. Proceedings",
  series = "Lecture Notes in Computer Science",
  year="2016",
  publisher="Springer International Publishing",
  pages="169--184",
  volume="10014",
  isbn="978-3-319-47560-8",
  doi="10.1007/978-3-319-47560-8_11",
}