Research Output per year
Research Output per year
Dr
Research output per year
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.
Programming language concept, software reliability, information security and cryptography.
Research output: Contribution to conference › Paper › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to conference › Paper › peer-review
Research output: Contribution to conference › Paper › peer-review