Chunyan Mu | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

David Clark
8 publications

research

∙ 06/28/2022

Quantitative Verification of Opacity Properties in Security Systems

We delineate a methodology for the specification and verification of flo...

0 Chunyan Mu, et al. ∙

research

∙ 04/11/2020

Analysing Flow Security Properties in Virtualised Computing Systems

This paper studies the problem of reasoning about flow security properti...

0 Chunyan Mu, et al. ∙