Title: Research Assistant
Company: University of Wisconsin
Department: computer science
Email: mfredrik [at] cs [dot] wisc [dot] edu
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.
Author of 1 resource
- Chen Chen, Cindy Xide Lin, Matt Fredrikson, Mihai Christodorescu, Xifeng Yan, Jiawei Han, "Mining Graph Patterns Efficiently via Randomized Summaries", InProceedings, 2009 Int. Conf. on Very Large Data Bases, August 21, 2009, 382 downloads.