Formal Verification of PKCS#1 Signature Parser Using Frama-C.

Martin Hna, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles

Browse the full IFM paper archive.