Surrey Computing will be hosting a one-day meeting on November 29th on Cryptography and Security. The meeting is one in a series run within the the EPSRC CryptoForma network which aims to build an expanding network in computer science and mathematics to support the development of formal notations, methods and techniques for modelling and analysing modern cryptographic protocols. This work increases security and confidence in such protocols and their applications (e.g. in e-commerce and voting), to the benefit of protocol designers, businesses, governments, and application users.