The people in Chalmers does interesting stuff on software security, specifically language related. Links to interesting material can be found here.