CyLab Seminar: Enforcing Information Flow Properties on Android

Time: December 3, 2012 - 12:00 PM - 1:00 PM

Location: DEC@CIC, Carnegie Mellon University, Pittsburgh

Description:

CyLab is pleased to host Limin Jia, CyLab research systems scientist. The talk is titled "Enforcing Information Flow Properties on Android."

The CyLab seminar takes place every Monday at noon during the semester, typically in the INI Distributed Education Center classroom at the Collaborative Innovation Center (DEC@CIC). Free pizza is provided for lunch.

Speaker: Limin Jia

Speaker Bio: Limin Jia is a Research Systems Scientist at CyLab at Carnegie Mellon University. Her research interests include programming languages, language-based security, type systems, logic, and program verification.