From yijia.chen at cs.sjtu.edu.cn Mon Apr 22 08:21:21 2013 From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen) Date: Mon, 22 Apr 2013 01:21:21 +0100 Subject: [Logic and Complexity] Fwd: Talk: Dr. Limin Jia From CMU Cylab Message-ID: <40fd41a52c2ddd5095b080ef0c32add7@cs.sjtu.edu.cn> -------- Original Message -------- Subject: Talk: Dr. Limin Jia From CMU Cylab Date: Mon, 22 Apr 2013 08:29:32 +0800 From: Kenny Zhu To: all at cs.sjtu.edu.cn Cc: Limin Jia Dear all, It's my pleasure to welcome Dr. Limin Jia from CMU to visit us and give a talk on secure programming on Android. Dr Jia will stay after the talk to interact with students and faculty who might be interested in her research. Please disseminate this information to your students. Thanks, Kenny *************************************************************************************Talk Title: Run-Time Enforcement of Information-Flow Properties on Android Time: Tuesday, April 23, 2 PM Venue: Room 3-414 Abstract: I will talk about improving Android's permission system to prevent confused-deputy attacks and information leakage. Our system permits Android applications to be concisely annotated with information-flow policies by either the programmers or security analysts. We develop a detailed model of our enforcement system using a process calculus, and use the model to prove noninterference. Our system and model have a number of useful or novel features, including support for Android's single- and multiple-instance components, floating labels, declassification and endorsement capabilities, and support for legacy applications. Our system design fits the Android programming model and runtime cleanly enough that we have developed a fully functional prototype on Android 4.0.4. We have tested our prototype on a Nexus S phone, verifying that it can enforce practically useful policies that can be implemented with minimal modification to off-the-shelf applications. Bio: Limin Jia is a Research Systems Scientist at CyLab at Carnegie Mellon University. She received her Ph.D. in Computer Science from Princeton University. Her research interests include programming languages, language-based security, logic, and program verification. At CyLab, Limin's research focuses on formal aspects of security. She is particularly interested in applying language-based security techniques as well as formal logic to model and verify security properties of software systems. From yijia.chen at cs.sjtu.edu.cn Tue Apr 23 16:06:20 2013 From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen) Date: Tue, 23 Apr 2013 09:06:20 +0100 Subject: [Logic and Complexity] =?utf-8?b?RndkOiDpgLvovpHlraborrLluqc=?= Message-ID: <91188875cf86e33a8209ee705ad31127@cs.sjtu.edu.cn> -------- Original Message -------- Subject: ????? Date: Tue, 23 Apr 2013 15:45:17 +0800 From: hao zhaokuan To: ??? <11300180081 at fudan.edu.cn>, ??? , XIE XiLin , ?? , wangqiuzju , ?? ?? Fei <12210160030 at fudan.edu.cn>, ??? <12210160028 at fudan.edu.cn>, Yijia Chen , Zhu Hong ??? ????????????????Mark Steiner ????????????????6?30??????2401?????????????????????????? ??? ??? -------------- next part -------------- A non-text attachment was scrubbed... Name: steinercv.docx Type: application/vnd.openxmlformats-officedocument.wordprocessingml.document Size: 13817 bytes Desc: not available URL: