Verifying Cryptographic Software Correctness with Respect to Reference Implementations.

Jos Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Brbara Vieira

Browse the full FMICS paper archive.