Tsung-Min Kuo

Publication Activity (10 Years)

Years Active: 1987-2018
Publications (10 Years): 1

Top Topics

Mutual Authentication

Secure Communication

Formal Analysis

Top Venues

Int. J. RF Technol. Res. Appl.

Int. J. Inf. Sec.

J. High Speed Networks

Publications

Tsung-Min Kuo, Sung-Ming Yen, Meng-Che Han
Dynamic reversed accumulator. Int. J. Inf. Sec. 17 (2) (2018)
Chin-Ling Chen, Tsung-Min Kuo, Tzay-Farn Shih
Design of a secure communication and handoff protocol for VANETs. J. High Speed Networks 20 (3) (2014)
Chin-Ling Chen, Yu-Yi Chen, Tsung-Min Kuo, Kuo-Ching Chiou, Yong-Yuan Deng
Design of an RFID on-line authentication and anti-counterfeit transaction protocol. Int. J. RF Technol. Res. Appl. 4 (1) (2012)
Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo
A Facile Tutorial. CONCUR (1996)
Tsung-Min Kuo, Prateek Mishra
Strictness Analysis: A New Perspective Based on Type Inference. FPCA (1989)
Tsung-Min Kuo, Prateek Mishra
On Strictness and its Analysis. POPL (1987)