CSE professor Mohsen Lesani received the DARPA YFA (Young Faculty Award) for the project "Information and Vulnerability Flow Type Systems''. This project defines and implements a type theory to derive the abstract machines that programs inadvertently expose to attackers.