Typechecking Higher-Order Security Libraries.

Karthikeyan Bhargavan, Cdric Fournet, Nataliya Guts

Browse the full APLAS paper archive.