Wei Xu;R. Sekar;I. V. Ramakrishnan;V. N. Venkatakrishnan
Stony Brook University;Stony Brook University;Stony Brook University;University of Illinois at Chicago
Language-based information-flow security
IEEE Journal on Selected Areas in Communications