S e c u r i t y - O r i e n t e d L a n g u a g e s
The SOL group at the University of Pennsylvania develops programming-language technology for improving software security. Specifically, we've been working on programming languages that allow programmers to specify advanced information-flow and access control security policies on data manipulated by the software.
Personnel:
Steve Zdancewic, Associate Professor Limin Jia, Post Doc. Karl Mazurak, Ph.D. Student Jeff Vaughan, Ph.D. Student Jianzhou Zhao, Ph.D. Student Luke Zarko, Undergraduate Student
Alumni:
Stephen Tse, Ph.D. Student (Now at Google) Peng Li, Ph.D. Student (Now at Google) Joey Schorr, Masters Student (Now at Google)
This research has been supported in part by the following grants. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation. - NSF CCR-0311204: Dynamic Security Policies - NSF CNS-0346939: CAREER: Language-based Distributed System Security - NSF CNS-0524059: Resource-guided Implementation of Secure Embedded Software - NSF CCF-0524035: Flexible, Decentralized Infomation-flow Control for Dynamic Environments - NSF CCF-0716469: Manifest Security - ONR: TIME-DC