José Bacelar Almeida Manuel Barbosa Jorge Sousa Pinto Bárbara Vieira Verifying Cryptographic Software Correctness with Respect to Reference Implementations. 37-52 2009 FMICS http://dx.doi.org/10.1007/978-3-642-04570-7_5 conf/fmics/2009 db/conf/fmics/fmics2009.html#AlmeidaBPV09