Language-Based Information-Flow Security Richard Mancusi CSCI 297 References Andrei Sabelfeld, Andrew C. Myers. Language-Based Information-Flow Security. IEEE Journal on…