Funding:
*
NSF Career: A Formally Verified Environment For The Production Of Secure Software
*
NSF ITR: Secure Electronic Transactions
with Elsa Gunter and Arnold Urken
*
NSF-REU Undergraduate Internships
Research Projects:
*
Concurrent C Minor project
* The
Mobile Access Control
project.
*
NSF Career: A Formally Verified Environment For The Production Of Secure Software