Verifiable and executable theories of design for synthesizing correct hardware. - Shiu-Kai Chin; Kevin J. Greene (ICCD, 1988)

Using higher order logic and functional languages to synthesize correct hardware. - Shiu-Kai Chin; Edward P. Stabler; Kevin J. Greene (ICCL, 1988)

Combining Engineering Vigor with Mathematical Rigor. - Shiu-Kai Chin (Hardware Specification, Verification and Synthesis, 1989)

WINTER: WAMS in Tim Expression Reduction. - Damir Jamsek; Kevin J. Greene; Shiu-Kai Chin; Paul R. Humenn (NACLP, 1989)

Synthesis of arithmetic hardware using hardware metafunctions. - Shiu-Kai Chin; Edward P. Stabler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990)

Verifying Arithmetic Hardware in Higher-Order Logic. - Shiu-Kai Chin (TPHOLs, 1991)

Implementing and Verifying Finite-State Machines Using Types in Higher-Order Logic. - Shiu-Kai Chin; Graham M. Birtwistle (TPHOLs, 1991)

Verified functions for generating signed-binary arithmetic hardware. - Shiu-Kai Chin (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992)

Server-Process Restrictiveness in HOL. - Stephen H. Brackin; Shiu-Kai Chin (HUG, 1993)

Linking HOL to a VLSI CAD System. - Juin-Yeu Lu; Shiu-Kai Chin (HUG, 1993)

Parallel implementation of BDD Algorithms using a Distributed Shared Memory. - Yegnashankar Parasuram; Edward P. Stabler; Shiu-Kai Chin (HICSS (1), 1994)

Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics. - Juin-Yeu Lu; Shiu-Kai Chin (TPHOLs, 1994)

Extending VLSI design with higher-order logic. - Anand Chavan; Shiu-Kai Chin; Shahid Ikram; Jang Dae Kim; Juin-Yeu Zu (ICCD, 1995)

Formal specification and verification of communication protocols using automated tools . - Milica Barjaktarovic; Shiu-Kai Chin; Kamal Jabbour (ICECCS, 1995)

Integrating formal methods tools to support system design. - Shiu-Kai Chin; John Faust; Joseph Giordano (ICECCS, 1995)

Formal Verification of Serial Pipeline Multipliers. - Jang Dae Kim; Shiu-Kai Chin (TPHOLs, 1995)

Verifying privacy enhanced mail functions with higher order logic. - Dan Zhou; Shiu-Kai Chin (Network Threats, 1996)

Formal Methods Applied to Secure Network Engineering. - Shiu-Kai Chin; John Faust; Joseph Giordano (ICECCS, 1996)

Hardware Composition with Hardware Flowcharts and Process Algebras. - Juin-Yeu Joseph Lu; Jang Dae Kim; Shiu-Kai Chin (ICECCS, 1996)

Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS. - Milica Barjaktarovic; Shiu-Kai Chin; Kamal Jabbour (ISSTA, 1996)

Experience extending VLSI design with mathematical logic. - Shiu-Kai Chin (MSE, 1997)

An Instruction Set Process Calculus. - Shiu-Kai Chin; Jang Dae Kim (FMCAD, 1998)

Integrating Security into the Curriculum. - Cynthia E. Irvine; Shiu-Kai Chin; Deborah A. Frincke (Computer, 1998)

Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol. - Dan Zhou; Shiu-Kai Chin (World Congress on Formal Methods, 1999)

Formal Verification of Tree-Structured Carry-Lookahead Adders. - Sae Hwan Kim; Shiu-Kai Chin (Great Lakes Symposium on VLSI, 1999)

Formal Development of Secure Email. - Dan Zhou; Joncheng C. Kuo; Susan Older; Shiu-Kai Chin (HICSS, 1999)

High-Confidence Design for Security: Don't Trust - Verify. - Shiu-Kai Chin (Commun. ACM, 1999)

Formal Methods for Assuring Security of Protocols. - Susan Older; Shiu-Kai Chin (Comput. J., 2002)

Outcomes-based Assessment as an Assurance Education Tool. - Susan Older; Shiu-Kai Chin (World Conference on Information Security Education, 2003)

Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL. - Thumrongsak Kosiyatrakul; Susan Older; Polar Humenn; Shiu-Kai Chin (MMM-ACNS, 2003)

A Modal Logic for Role-Based Access Control. - Thumrongsak Kosiyatrakul; Susan Older; Shiu-Kai Chin (MMM-ACNS, 2005)

Credentials Management for High-Value Transactions. - Glenn S. Benson; Shiu-Kai Chin; Sean Croston; Karthick Jayaraman; Susan Older (MMM-ACNS, 2010)

Policy-Based Design and Verification for Mission Assurance. - Shiu-Kai Chin; Sarah Muccio; Susan Older; Thomas N. J. Vestal (MMM-ACNS, 2010)

Access Control, Security, and Trust - A Logical Approach. - Shiu-Kai Chin; Susan Older (CRC Press, 2011)

Engineering Assurance at the Undergraduate Level. - Susan Older; Shiu-Kai Chin (IEEE Secur. Priv., 2012)

Banking on interoperability: Secure, interoperable credential management. - Glenn S. Benson; Shiu-Kai Chin; Sean Croston; Karthick Jayaraman; Susan Older (Comput. Networks, 2014)

Reliability analysis of healthcare information systems: State of the art and future directions. - Amjad Gawanmeh; Hussam M. N. Al Hamadi; Mahmoud Al-Qutayri; Shiu-Kai Chin; Kashif Saleem (HealthCom, 2015)

Introduction to the Minitrack on Cyber-Assurance for Internet of Things and Fog Computing Architectures. - Tyson Brooks; Shiu-Kai Chin; Erich Devendorf (HICSS, 2018)

Introduction to the Minitrack on Cyber-Assurance for the Internet of Things, Software-Defined Networks and Fog Computing Architectures. - Tyson Brooks; Shiu-Kai Chin; Erich Devendorf (HICSS, 2019)

Introduction to the Minitrack on Internet of Things Security: CyberAssurance for Edge, Software Defined, and Fog Computing Systems. - Tyson Brooks; Shiu-Kai Chin (HICSS, 2021)