Chenyi Zhang

SaToSS home

• Publications
• Contact

I was a postdoc in the Security and Trust of Software Systems (SaToSS) research group headed by Prof. Sjouke Mauw. My research mostly focuses on how to apply Formal Methods in the area of Computer Security. I am also interested in the fundamental issues in Theoretical Computer Science, such as Program Semantics, Model Checking, and Computational Complexity.

Research Topics.

• Formal Methods on Information Flow Security
• Security Protocol Verification
• Process Algebra
• Static Program Analysis