Stefanos Chaliasos is a PhD candidate at Imperial College London and a Security Researcher at zkSecurity focusing on securing protocols developing and using ZKPs. His main research interests involve Blockchain Security, Software Testing, ZKPs, Program Analysis, and Programming Languages.