Joshua Sunshine Contact: sunshine@cs.cmu.edu Projects A Language and Framework for Development of Secure Mobile Applications