Manuel Barbosa Andrew Moss Dan Page Nuno F. Rodrigues Paulo F. Silva 0001 Type Checking Cryptography Implementations. 316-334 2011 FSEN https://doi.org/10.1007/978-3-642-29320-7_21 conf/fsen/2011 db/conf/fsen/fsen2011.html#BarbosaMPRS11