I am PHD student at Kansas State University. My goal is to enable developers build secure software. I have an interest in formal methods, software verification and model driven development. I am currently working on a methodology to build secure android apps.
©