Jump to Content

Computer-Assisted Verification of a Protocol for Certified Email

Bruno Blanchet
SAS (2003), pp. 316-335

Abstract

Research Areas