Barbosa, M.; Pinto, J.; Filliatre, J.-C.; Vieira, B. A Deductive Verification Platform for Cryptographic Software. eceasst 2010, 33.