permission systems / intra-application communications / reactive systems / information-flow systems / isolation between applications / Internet permission / web browsers / buggy applications / mobile devices / mobile operating systems / information-flow type systems / android.permission.INTERNET / to their applications / legacy applications / distributed systems / malware targeting mobile devices / Internet Private applications / /
OperatingSystem
Linux / Android / /
Organization
Carnegie Mellon University / Pittsburgh / /
Person
Android / /
Position
secret-file manager / manager for secret files / editor / activity manager / file manager / the editor / editor and the file manager / general-purpose text editor / manager / its static integrity label / model / manager for files Email managing files / secret files Editor / faithful process-calculus model / Motivating Scenario File manager / representative / file manager / label manager / programming model / manager application / programmer / /
ProgrammingLanguage
Java / /
Technology
Virtual Machine / Java / Linux / API / smartphones / simulation / Android / operating system / operating systems / mobile devices / /
Run-Time Enforcement of Information-Flow Properties on Android (Extended Abstract) Limin Jia1 , Jassim Aljuraidan1 , Elli Fragkaki1 , Lujo Bauer1 , Michael Stroucken1 , Kazuhide Fukushima2 , Shinsaku Kiyomoto2 , and Yuta