William Enck Contact: 3260 Engineering Building II 890 Oval Dr. Raleigh, North Carolina 27695 whenck@ncsu.edu Projects Attaining Least Privilege Through Automatic Partitioning of Hybrid Programs Modeling the risk of user behavior on mobile devices Smart Isolation in Large-Scale Production Computing Infrastructures Reasoning about Accidental and Malicious Misuse via Formal Methods