As a first step, we are investigating an approach to runtime information flow analysis for managed languages that tracks metadata about data values through the execution of a program. We first considered metadata that propagates labels representing the originating source of each data value, e.g., sensitive data from the address book or GPS of a mobile […]
The Programming Systems Lab
PSL conducts research at the boundary of software engineering and software systems, focusing on software reliability, privacy and security, and social software engineering.
We are always seeking new project students to join us. Students who would like to become involved should review the project literature and descriptions, as well as the specific advertisements.