1. A Security Evaluation of Chaos Attribute-Based Access Control (ABAC) for Cloud Computing;Lecture Notes on Data Engineering and Communications Technologies;2024
2. An approach to enhance the security of unmanned aerial vehicles (UAVs);The Journal of Supercomputing;2023-12-12
3. On Evaluating the Security of Dynamic Scan Obfuscation Scheme;2023 IEEE 29th International Symposium on On-Line Testing and Robust System Design (IOLTS);2023-07-03
4. Proving Obliviousness of Probabilistic Algorithms with Formal Verification;Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity;2022-11-29