If you made any changes in Pure these will be visible here soon.

Personal profile

Personal profile

Prior to joining the CDT, Lenka completed a BSc (Hons) in Computer Science & Mathematics at the University of Edinburgh. Lenka's research focuses on the security analysis of cryptographic messaging protocols, both from a theoretical viewpoint of provable security as well as from the applied viewpoint of studying real implementations and finding practical attacks. Recent projects include a study of Bridgefy, a mesh messaging app, and a detailed analysis of Telegram.