Secrecy Types for Asymmetric Communication

Bruno Blanchet
FoSSaCS(2001), pp. 25-41

Abstract

Research Areas