1. Verifying Opacity of Discrete-Timed Automata;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14
2. Enhanced Quantifying Assessment Model for Monetary Implication and Security in Cloud Computing;2024 5th International Conference on Intelligent Communication Technologies and Virtual Mobile Networks (ICICV);2024-03-11
3. Quantitative Analysis of Opacity in Cloud Computing Systems;IEEE Transactions on Cloud Computing;2021-07-01
4. Benefit and Cost of Cloud Computing Security;2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI);2019-08
5. A methodology for cost-benefit analysis of information security technologies;Concurrency and Computation: Practice and Experience;2018-10-01