Nate Foster and Gun Sirer were awarded a grant from the NSF for their project "High Level Language Support for Trustworthy Networks."