Barbosa MB, Moss A, Page D, Rodrigues N, Silva P.? 2011.??Type Checking Cryptography Implementations. Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Revised Selected Papers. 7141:316-334.