VTET: A Virtual Industrial Control System Testbed for Cyber Security Research. - Yaobin Xie; Wei Wang; Faren Wang; Rui Chang (SSIC, 2018)

Implementing a hardware-assisted memory management mechanism for ARM platforms using the B method. - Rui Chang; Liehui Jiang; Yaobin Xie; Hongqi He; Danmin Chen; Lu Ren (Concurr. Comput. Pract. Exp., 2019)

A malware detection method using satisfiability modulo theory model checking for the programmable logic controller system. - Yaobin Xie; Rui Chang; Liehui Jiang (Concurr. Comput. Pract. Exp., 2022)