First Post

This is my first post in the REU blog. I received JeeHyun's tool from his SRDS08 paper this week. So far, I've been able to modify his tool to generate packets that target rule intersections. I've got to work a bit on making the output of the FireMAN tool useful to JeeHyun's tool though. This could be a bit awkward, since they run on different platforms (JeeHyun's tool uses a constraint solver by MS, simple Linux replacement available?), and use different firewall formats. In any event, paper writing is definitely more difficult than I originally anticipated. Now that I have everything I need (and know how it all fits together), hopefully the writing will become easier.