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

Personal profile

Summary of Research Interests

Formal method for security, especially on information flow security, language-based security (e.g. type systems guaranteeing security policies such as non-interference), and quantitative verification for security (e.g. measuring security violations and verifying security properties of the systems) by applying information theory, game theory, static analysis, and probabilistic model checking.

Learning and Teaching Interests and Activities

Programming language concept, software reliability, information security and cryptography.


Dive into the research topics where Chunyan Mu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 6 Similar Profiles


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or