Android Security

Jehuty

我现在在选honours project，这是我的其中一个选择

Android SecurityProject Code: CECS_637

This project is available at the following levels:
CS single semester, Engn4200, Engn R&D, Honours, Summer Scholar, Masters, PhD

Keywords:

Android, Security, Runtime Verification, Temporal Logic, Model Checking, Formal Languages, Automata Theory

Supervisorr Andreas Bauer

Outline:

Android is a widely used mobile operating system developed by Google and is based upon a modified version of the Linux kernel.

The purpose of this open-ended project is to evaluate and improve the current security model of Android phones by means of using methods ofruntime verification.

Within the scope of this project, I now have several topics on offer. Depending on the skills and interest of the applicant, these range from very practical (e.g., making security-relevant modifications to the Android OS) to very theoretical (e.g., defining a formal logic to express typical Android-specific security policies).

If you are interested in this area and in working with me, I suggest you get in touch. Projects are offered on all levels, i.e., summer scholarships, Honour's, Master's and even PhD.

我应该拿吗？