Posted on Sunday July 13, 2008
We recently recieved an NSF REU supplement grant for my existing NSF grant on Testing and Verification of Security Policies.
Bellanov Apilli, an undergraduate student from our NCSU CS department, has recently joined our project team to work on this REU project. Welcome!
(Sorry that my this annoucement of the project comes in later than Bellanov's first post on his progress below. Bellavnov, keep up the good work in keeping your progress posted here along the way!)