Shiu-Kai Chin

According to our database, Shiu-Kai Chin authored at least 40 papers between 1988 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Introduction to the Minitrack on Internet of Things Security: CyberAssurance for Edge, Software Defined, and Fog Computing Systems.

Tyson Brooks, Shiu-Kai Chin

Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

2019

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

Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

2018

Introduction to the Minitrack on Cyber-Assurance for Internet of Things and Fog Computing Architectures.

Tyson Brooks, Shiu-Kai Chin, Erich Devendorf

Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

2015

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

Proceedings of the 17th International Conference on E-health Networking, 2015

2014

Banking on interoperability: Secure, interoperable credential management.

Glenn S. Benson, Shiu-Kai Chin, Sean Croston, Karthick Jayaraman, Susan Older

Comput. Networks, 2014

2012

Engineering Assurance at the Undergraduate Level.

Susan Older, Shiu-Kai Chin

IEEE Secur. Priv., 2012

2011

Access Control, Security, and Trust - A Logical Approach.

Shiu-Kai Chin, Susan Older

Chapman and Hall / CRC cryptography and network security series, CRC Press, ISBN: 978-1-584-88862-8, 2011

2010

Policy-Based Design and Verification for Mission Assurance.

Shiu-Kai Chin, Sarah Muccio, Susan Older, Thomas N. J. Vestal

Proceedings of the Computer Network Security, 2010

Credentials Management for High-Value Transactions.

Glenn S. Benson, Shiu-Kai Chin, Sean Croston, Karthick Jayaraman, Susan Older

Proceedings of the Computer Network Security, 2010

2005

A Modal Logic for Role-Based Access Control.

Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Chin

Proceedings of the Computer Network Security, 2005

2003

Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL.

Thumrongsak Kosiyatrakul, Susan Older, Polar Humenn, Shiu-Kai Chin

Proceedings of the Computer Network Security, 2003

Outcomes-based Assessment as an Assurance Education Tool.

Susan Older, Shiu-Kai Chin

Proceedings of the Security Education and Critical Infrastructures, 2003

2002

Formal Methods for Assuring Security of Protocols.

Susan Older, Shiu-Kai Chin

Comput. J., 2002

1999

High-Confidence Design for Security: Don't Trust - Verify.

Shiu-Kai Chin

Commun. ACM, 1999

Formal Development of Secure Email.

Dan Zhou, Joncheng C. Kuo, Susan Older, Shiu-Kai Chin

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

Formal Verification of Tree-Structured Carry-Lookahead Adders.

Sae Hwan Kim, Shiu-Kai Chin

Proceedings of the 9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 1999

Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol.

Dan Zhou, Shiu-Kai Chin

Proceedings of the FM'99 - Formal Methods, 1999

1998

Integrating Security into the Curriculum.

Cynthia E. Irvine, Shiu-Kai Chin, Deborah A. Frincke

Computer, 1998

An Instruction Set Process Calculus.

Shiu-Kai Chin, Jang Dae Kim

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1997

Experience extending VLSI design with mathematical logic.

Shiu-Kai Chin

Proceedings of the 1997 IEEE International Conference on Microelectronic Systems Education, 1997

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

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

Hardware Composition with Hardware Flowcharts and Process Algebras.

Juin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

Formal Methods Applied to Secure Network Engineering.

Shiu-Kai Chin, John Faust, Joseph Giordano

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

Verifying privacy enhanced mail functions with higher order logic.

Dan Zhou, Shiu-Kai Chin

Proceedings of the Network Threats, Proceedings of a DIMACS Workshop, December 2-4, 1996, 1996

1995

Formal Verification of Serial Pipeline Multipliers.

Jang Dae Kim, Shiu-Kai Chin

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

Integrating formal methods tools to support system design.

Shiu-Kai Chin, John Faust, Joseph Giordano

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Formal specification and verification of communication protocols using automated tools .

Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Extending VLSI design with higher-order logic.

Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics.

Juin-Yeu Lu, Shiu-Kai Chin

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

Parallel implementation of BDD Algorithms using a Distributed Shared Memory.

Yegnashankar Parasuram, Edward P. Stabler, Shiu-Kai Chin

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1993

Linking HOL to a VLSI CAD System.

Juin-Yeu Lu, Shiu-Kai Chin

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

Server-Process Restrictiveness in HOL.

Stephen H. Brackin, Shiu-Kai Chin

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

1992

Verified functions for generating signed-binary arithmetic hardware.

Shiu-Kai Chin

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992

1991

Implementing and Verifying Finite-State Machines Using Types in Higher-Order Logic.

Shiu-Kai Chin, Graham M. Birtwistle

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

Verifying Arithmetic Hardware in Higher-Order Logic.

Shiu-Kai Chin

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

1990

Synthesis of arithmetic hardware using hardware metafunctions.

Shiu-Kai Chin, Edward P. Stabler

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990

1989

WINTER: WAMS in Tim Expression Reduction.

Damir Jamsek, Kevin J. Greene, Shiu-Kai Chin, Paul R. Humenn

Proceedings of the Logic Programming, 1989

Combining Engineering Vigor with Mathematical Rigor.

Shiu-Kai Chin

Proceedings of the Hardware Specification, 1989

1988

Using higher order logic and functional languages to synthesize correct hardware.

Shiu-Kai Chin, Edward P. Stabler, Kevin J. Greene

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

Verifiable and executable theories of design for synthesizing correct hardware.

Shiu-Kai Chin, Kevin J. Greene

Proceedings of the Computer Design: VLSI in Computers and Processors, 1988