Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts: Typechecking Higher-Order Security Libraries. APLAS 2010: 47-62