Barbosa, M., Pinto, J., Filliatre, J.-C., & Vieira, B. (2010). A Deductive Verification Platform for Cryptographic Software. Electronic Communications of the EASST, 33. https://doi.org/10.14279/tuj.eceasst.33.461