Language and Framework Support for Reviewably-Secure Software Systems. - Adrian Matthew Mettler (2012)