19. Security Protocols Workshop 2011: Cambridge, UK