Formalization and verification of a mail server in Coq (2003)

by Reynald Affeldt, Naoki Kobayashi
Venue:International Symposium on Software Security