Yaobin Xie

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 3

Top Topics

Programmable Logic Controller

Memory Management

Top Venues

Concurr. Comput. Pract. Exp.

Publications

Yaobin Xie, Rui Chang, Liehui Jiang
A malware detection method using satisfiability modulo theory model checking for the programmable logic controller system. Concurr. Comput. Pract. Exp. 34 (16) (2022)
Rui Chang, Liehui Jiang, Yaobin Xie, Hongqi He, Danmin Chen, Lu Ren
Implementing a hardware-assisted memory management mechanism for ARM platforms using the B method. Concurr. Comput. Pract. Exp. 31 (21) (2019)
Yaobin Xie, Wei Wang, Faren Wang, Rui Chang
VTET: A Virtual Industrial Control System Testbed for Cyber Security Research. SSIC (2018)