If you want to learn about research in security and program analysis checkout: http://www.reddit.com/r/vrd and http://www.reddit.com/r/remath .