The Security and Privacy group in the School of Informatics represents a broad group of researchers ranging from cryptography and formal verification to human factors and social aspects. The group's interdisciplinary work pools expertise from many people from both within Informatics and from other departments in the University as well as industry and external collaborators.