Jump to Content

Secure Communications Processing for Distributed Languages

Cédric Fournet
Georges Gonthier
IEEE Symposium on Security and Privacy (1999), pp. 74-88

Abstract

Research Areas