Using Agent in Virtual Machine for Interactive Security Training. - Yi-Ming Chen 008; Cheng-En Chuang; Hsu-Che Liu; Cheng-Yi Ni; Chun-Tang Wang (FGIT-SecTech, 2011)

Synchronous Message-Passing with Priority. - Cheng-En Chuang; Grant Iraci; Lukasz Ziarek (PADL, 2021)

Send to me first: Priority in synchronous message-passing. - Cheng-En Chuang; Grant Iraci; Lukasz Ziarek (J. Funct. Program., 2022)

Validating IoT Devices with Rate-Based Session Types. - Grant Iraci; Cheng-En Chuang; Raymond Hu; Lukasz Ziarek (Proc. ACM Program. Lang., 2023)

Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version). - Yue Yao; Grant Iraci; Cheng-En Chuang; Stephanie Balzer; Lukasz Ziarek (CoRR, 2024)

Semantic Logical Relations for Timed Message-Passing Protocols. - Yue Yao; Grant Iraci; Cheng-En Chuang; Stephanie Balzer; Lukasz Ziarek (Proc. ACM Program. Lang., 2025)