1. On the Security of the Novel Authentication Scheme for UAV-Ground Station and UAV-UAV Communication;Proceedings of the 20th International Conference on Security and Cryptography;2023
2. Research on semantics and algorithm of formal analysis tool Scyther;2022 IEEE 4th International Conference on Civil Aviation Safety and Information Technology (ICCASIT);2022-10-12
3. Exploring Rationality of Self Awareness in Social Networking for Logical Modeling of Unintentional Insiders;HCI for Cybersecurity, Privacy and Trust;2022
4. Encoding Induction Proof in Dafny;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08
5. Applying the Isabelle Insider framework to airplane security;Science of Computer Programming;2021-06