Chunyan Mu | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙