Barbosa MB, Moss A, Page D, Rodrigues N, Silva P.? 2011.??Type Checking Cryptography Implementations.