Yaobin Xie

According to our database, Yaobin Xie authored at least 3 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

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

2019

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

2018

VTET: A Virtual Industrial Control System Testbed for Cyber Security Research.

Yaobin Xie, Wei Wang, Faren Wang, Rui Chang

Proceedings of the Third International Conference on Security of Smart Cities, 2018