Real-Time Symbolic Reasoning Framework for Cryptojacking Detection Based on Netflow-Plus Analysis. - Zhen Yang; Jing Li; Fei Cui; Jia Qi Liu; Yu Cheng; Xi Nan Tang; Shuai Gui (Inscrypt (2), 2023)