Structural Complexity Theory, Digital Forensics, Cryptography and Computer Security
I am interested in showing that sets of problems, as defined by complexity classes, are computationally distinct. Specifically I have focused on the separation of exponential time classes from classes of problems which take less then exponential time to compute.
In digital forensics, my interest is in the investigation of properties and fundamental concepts common to the different technical areas that touch on digital forensics. In addition, I am interested in the development of educational programs for both technical and law enforcement personnel.
I also have an interest in the verification of cryptographic protocols and, specifically study the security of proposed protocols for IP level security and Mobile-IP security mechanisms. This work is done in conjunction with the PSU Secure Mobile Networking Project
Last modified: 10/05