Projects per year
Fingerprint
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.
- 1 Similar Profiles
Projects
- 1 Active
-
Quantified Information Flow Control in Cloud Computing Systems
The Defence Science and Tecnology Laboratory (dstl)
31/08/22 → 29/09/23
Project: Research
-
Integrating Information Flow Analysis in Unifying Theories of Programming
Mu, C. & Li, G., 12 Jan 2022, 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, p. 67-76Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile43 Downloads (Pure) -
Verifying Opacity Properties in Security Systems
Mu, C. & Clark, D., 1 Mar 2022, In: IEEE Transactions on Dependable and Secure Computing. p. 1-11 11 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile49 Downloads (Pure) -
First Order Predicate Logic with Null (FOPLN) Proof of Equivalence Laws
Mu, C., Stoddart, B. & Dunne, S., 2021, 17 p.Research output: Book/Report › Other report
File23 Downloads (Pure) -
FOPL and FOPLN Backward Proofs of Equivalence Laws
Mu, C., Stoddart, B. & Dunne, S., 2021, 25 p.Research output: Book/Report › Other report
File19 Downloads (Pure) -
A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems
Mu, C., 11 Dec 2020, IEEE Theoretical Aspects of Software Engineering (TASE) 2020. IEEE, p. 185-192Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile22 Downloads (Pure)