|
|
||
Research Interests: I'm a second-year graduate student pursuing a PhD in computer science at the University of Wisconsin, advised by Professor Somesh Jha. My main academic interests lie in problems related to computer security and privacy. Recently, I have been exploring methods for inferring concise formal specifications of software behavior from large amounts of raw information, such as the product of program analysis or execution monitoring. This project began as part of my summer internship at the IBM Watson Research Center, where I had the good fortune to collaborate with a number of great researchers. This work has yielded a few interesting results, which we discussed in a recent paper. Check back in a few weeks for more details on this work. I have also taken an interest in the forensic analysis of network intrusions. In a recent project with a few collaborators, we began to develop a logic for reasoning about system and network intrusions in terms of the artifacts left behind in event logs and the causal relationships between them. We are currently developing a programming language that utilizes this logic to provide intrusion analysis and querying facilities to system administrators faced with the task of puzzling out the details of an intrusion, and hope to release the software soon. This project is still in its infancy, so check back periodically for more updates. |
