Programming language based approaches to security. Formerly Google Technical Infrastructure.