Author: Shiu-Kai Chin

Publications

Co-authors

Dan Zhou

1

Joncheng C. Kuo

1

Susan Older

1

Productive Colleagues

Susan Older

1

Cynthia E. Irvine

3

Deborah A. Frincke

9

Publications

Chin, Shiu-Kai (1999): High-Confidence Design for Security: Don\'t Trust - Verify. In Communications of the ACM, 42 (7) pp. 33-37. https://dl.acm.org/doi/10.1145/306549.306560

Irvine, Cynthia E., Chin, Shiu-Kai, Frincke, Deborah A. (1998): Integrating Security into the Curriculum. In IEEE Computer, 31 (12) pp. 25-30.

Parasuram, Yegnashankar, Stabler, Edward P., Chin, Shiu-Kai (1994): Parallel implementation of BDD Algorithms using a Distributed Shared Memory. In: HICSS 1994 , 1994, . pp. 16-25.

Zhou, Dan, Kuo, Joncheng C., Older, Susan, Chin, Shiu-Kai (1999): Formal Development of Secure Email. In: HICSS 1999 , 1999, . https://csdl.computer.org/comp/proceedings/hicss/1999/0001/03/00013064abs.htm