On Strictness and its Analysis. - Tsung-Min Kuo; Prateek Mishra (POPL, 1987)

Strictness Analysis: A New Perspective Based on Type Inference. - Tsung-Min Kuo; Prateek Mishra (FPCA, 1989)

A Facile Tutorial. - Bent Thomsen; Lone Leth Thomsen; Tsung-Min Kuo (CONCUR, 1996)

Design of an RFID on-line authentication and anti-counterfeit transaction protocol. - Chin-Ling Chen; Yu-Yi Chen; Tsung-Min Kuo; Kuo-Ching Chiou; Yong-Yuan Deng (Int. J. RF Technol. Res. Appl., 2012)

Design of a secure communication and handoff protocol for VANETs. - Chin-Ling Chen; Tsung-Min Kuo; Tzay-Farn Shih (J. High Speed Networks, 2014)

Dynamic reversed accumulator. - Tsung-Min Kuo; Sung-Ming Yen; Meng-Che Han (Int. J. Inf. Sec., 2018)