"Language-Based Security"

Greg Morrisett
Andrei Sabelfeld
J. Funct. Program., 15(2005), pp. 129

Abstract

Research Areas