Shiu-Kai Chin

43 papers A 1B 5C 3Journal 7Unranked 26
YearRankTypeTitle / Venue / Authors
2026 — conf
Introduction to the Minitrack on Artificial Intelligence Security: Ensuring Safety, Trustworthiness, and Responsibility in AI Systems.
HICSS
Erich Devendorf, Tyson Brooks, Shiu-Kai Chin, Sriprakash Sarathy
2025 — conf
Introduction to the Minitrack on Artifical Intelligence Security: Ensuring Safety, Trustworthiness, and Responsibility in AI Systems.
HICSS
Tyson Brooks, Shiu-Kai Chin, William Young, Erich Devendorf
2025 — conf
Managing Trustworthiness in Advanced Autonomous Systems.
HICSS
Sriprakash Sarathy, Shiu-Kai Chin, William Young, Marilyn Wolf, J.-C. Oh, Qinru Qiu, Marlon Marquez, R. Angiolini, Anthony Mazzacane
2021 — conf
Introduction to the Minitrack on Internet of Things Security: CyberAssurance for Edge, Software Defined, and Fog Computing Systems.
HICSS
Tyson Brooks, Shiu-Kai Chin
2019 — conf
Introduction to the Minitrack on Cyber-Assurance for the Internet of Things, Software-Defined Networks and Fog Computing Architectures.
HICSS
Tyson Brooks, Shiu-Kai Chin, Erich Devendorf
2018 — conf
Introduction to the Minitrack on Cyber-Assurance for Internet of Things and Fog Computing Architectures.
HICSS
Tyson Brooks, Shiu-Kai Chin, Erich Devendorf
2015 C conf
Reliability analysis of healthcare information systems: State of the art and future directions.
HealthCom
Amjad Gawanmeh, Hussam M. N. Al Hamadi, Mahmoud Al-Qutayri, Shiu-Kai Chin, Kashif Saleem
2014 J jnl
Banking on interoperability: Secure, interoperable credential management.
Comput. Networks
Glenn S. Benson, Shiu-Kai Chin, Sean Croston, Karthick Jayaraman, Susan Older
2012 J jnl
Engineering Assurance at the Undergraduate Level.
IEEE Secur. Priv.
Susan Older, Shiu-Kai Chin
2011 — book
Access Control, Security, and Trust - A Logical Approach.
Shiu-Kai Chin, Susan Older
2010 — conf
Credentials Management for High-Value Transactions.
MMM-ACNS
Glenn S. Benson, Shiu-Kai Chin, Sean Croston, Karthick Jayaraman, Susan Older
2010 — conf
Policy-Based Design and Verification for Mission Assurance.
MMM-ACNS
Shiu-Kai Chin, Sarah Muccio, Susan Older, Thomas N. J. Vestal
2005 — conf
A Modal Logic for Role-Based Access Control.
MMM-ACNS
Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Chin
2003 — conf
Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL.
MMM-ACNS
Thumrongsak Kosiyatrakul, Susan Older, Polar Humenn, Shiu-Kai Chin
2003 — conf
Outcomes-based Assessment as an Assurance Education Tool.
World Conference on Information Security Education
Susan Older, Shiu-Kai Chin
2002 J jnl
Formal Methods for Assuring Security of Protocols.
Comput. J.
Susan Older, Shiu-Kai Chin
1999 — conf
Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol.
World Congress on Formal Methods
Dan Zhou, Shiu-Kai Chin
1999 — conf
Formal Development of Secure Email.
HICSS
Dan Zhou, Joncheng C. Kuo, Susan Older, Shiu-Kai Chin
1999 — conf
Formal Verification of Tree-Structured Carry-Lookahead Adders.
Great Lakes Symposium on VLSI
Sae Hwan Kim, Shiu-Kai Chin
1999 J jnl
High-Confidence Design for Security: Don't Trust - Verify.
Commun. ACM
Shiu-Kai Chin
1998 B conf
An Instruction Set Process Calculus.
FMCAD
Shiu-Kai Chin, Jang Dae Kim
1998 J jnl
Integrating Security into the Curriculum.
Computer
Cynthia E. Irvine, Shiu-Kai Chin, Deborah A. Frincke
1997 — conf
Experience extending VLSI design with mathematical logic.
MSE
Shiu-Kai Chin
1996 B conf
Formal Methods Applied to Secure Network Engineering.
ICECCS
Shiu-Kai Chin, John Faust, Joseph Giordano
1996 A conf
Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS.
ISSTA
Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour
1996 B conf
Hardware Composition with Hardware Flowcharts and Process Algebras.
ICECCS
Juin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin
1996 — conf
Verifying privacy enhanced mail functions with higher order logic.
Network Threats
Dan Zhou, Shiu-Kai Chin
1995 C conf
Extending VLSI design with higher-order logic.
ICCD
Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu
1995 — conf
Formal Verification of Serial Pipeline Multipliers.
TPHOLs
Jang Dae Kim, Shiu-Kai Chin
1995 B conf
Formal specification and verification of communication protocols using automated tools .
ICECCS
Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour
1995 B conf
Integrating formal methods tools to support system design.
ICECCS
Shiu-Kai Chin, John Faust, Joseph Giordano
1994 — conf
Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics.
TPHOLs
Juin-Yeu Lu, Shiu-Kai Chin
1994 — conf
Parallel implementation of BDD Algorithms using a Distributed Shared Memory.
HICSS (1)
Yegnashankar Parasuram, Edward P. Stabler, Shiu-Kai Chin
1993 — conf
Linking HOL to a VLSI CAD System.
HUG
Juin-Yeu Lu, Shiu-Kai Chin
1993 — conf
Server-Process Restrictiveness in HOL.
HUG
Stephen H. Brackin, Shiu-Kai Chin
1992 J jnl
Verified functions for generating signed-binary arithmetic hardware.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Shiu-Kai Chin
1991 — conf
Implementing and Verifying Finite-State Machines Using Types in Higher-Order Logic.
TPHOLs
Shiu-Kai Chin, Graham M. Birtwistle
1991 — conf
Verifying Arithmetic Hardware in Higher-Order Logic.
TPHOLs
Shiu-Kai Chin
1990 J jnl
Synthesis of arithmetic hardware using hardware metafunctions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Shiu-Kai Chin, Edward P. Stabler
1989 — conf
Combining Engineering Vigor with Mathematical Rigor.
Hardware Specification, Verification and Synthesis
Shiu-Kai Chin
1989 — conf
WINTER: WAMS in Tim Expression Reduction.
NACLP
Damir Jamsek, Kevin J. Greene, Shiu-Kai Chin, Paul R. Humenn
1988 — conf
Using higher order logic and functional languages to synthesize correct hardware.
ICCL
Shiu-Kai Chin, Edward P. Stabler, Kevin J. Greene
1988 C conf
Verifiable and executable theories of design for synthesizing correct hardware.
ICCD
Shiu-Kai Chin, Kevin J. Greene