Jump to Content

Authentication Primitives and Their Compilation

Cédric Fournet
Georges Gonthier
POPL (2000), pp. 302-315

Abstract

Research Areas