Thesis Topic Details

Topic ID:
3491
Title:
Building Provably Secure Application
Supervisor:
Liming Zhu
Research Area:
Software Engineering, Security
Associated Staff
Assessor:
Xiwei Xu
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE SE
Group Suitable:
Yes
Industrial:
No
Pre-requisites:
--
Description:
Ever wonder whether a secure application is really secure? Have you heard about sensitive information being leaked even with softwares that you probably use (Skype's users password being leaked). Join a group of researchers and students in building secure applications with assurances about its security properties. More specifically, you will be architecting the design of secure applications that will be built on top of a secure platform, adhering to capability-based security model. Capability-based security model is utilized in Android Security amongst other systems. You will be exposed to mobile development security or cloud application security. No security experience is required. For high level info, see here http://ssrg.nicta.com.au/projects/TS/secarch.pml For more details, contact limingz@cse.unsw.edu.au

Essential Requirement: ability of programming in Java, willingness to learn new technologies and interest in security.

Comments:
--
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.