Get started
Author

Shiu‐Kai Chin

Observed names: Chin, Shiu-Kai, Shiu-Kai Chin
OpenAlex ID: A5111991914
Integrating security into the curriculum
1998 · C.E. Irvine, Shiu-Kai Chin · Computer · 85
High-confidence design for security
1999 · Shiu-Kai Chin · Communications of the ACM · 47
PDF
Reliability analysis of healthcare information systems: State of the art and future directions
2015 · Amjad Gawanmeh, Hussam Al-Hamadi, et al. · IEEE International Conference on e-Health Networking, Applications and Services (Healthcom) · 33
Parallel implementation of BDD algorithms using a distributed shared memory
1994 · Y. Parasuram, E. Stabler, et al. · Hawaii International Conference on System Sciences (HICSS) · 18
Access Control, Security, and Trust: A Logical Approach
2010 · Shiu‐Kai Chin, Susan Older · CERN Document Server (European Organization for Nuclear Research) · 16
Access Control, Security, and Trust
2010 · Shiu-Kai Chin, Susan Beth Older · Chapman & Hall/CRC eBooks · 11
Formal specification and verification of communication protocols using automated tools
2002 · M. Barjaktarovic, Shiu-Kai Chin, et al. · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) · 10
An Information Security Education Initiative for Engineering and Computer Science
1997 · Shiu‐Kai Chin, Cynthia E. Irvine, et al. · Syracuse University Libraries (Syracuse University) · 9
PDF
A Modal Logic for Role-Based Access Control
2005 · Thumrongsak Kosiyatrakul, Susan Older, et al. · Lecture notes in computer science · 8
Banking on interoperability: Secure, interoperable credential management
2014 · Glenn Benson, Shiu-Kai Chin, et al. · Computer Networks · 7
Linking HOL to a VLSI CAD System
1993 · Juin-Yeu Joseph Lu, Shiu‐Kai Chin · 6
Reasoning About Delegation and Account Access in Retail Payment Systems
2007 · Shiu-Kai Chin, Susan Older · Springer eBooks · 5
Server-process restrictiveness in HOL
1994 · Stephen H. Brackin, Shiu-Kai Chin · Lecture notes in computer science · 5
Formal verification of tree-structured carry-lookahead adders
2003 · Sae Hwan Kim, Shiu-Kai Chin · ACM Great Lakes Symposium on VLSI (GLSVLSI) · 4
Combining engineering vigor with mathematical rigor
1990 · Shiu-Kai Chin · Lecture notes in computer science · 4
Verifying Arithmetic Hardware In Higher-order Logic
2005 · Shiu-Kai Chin · Theorem Proving in Higher Order Logics · 3
Extending VLSI design with higher-order logic
2002 · A. Chavan, Shiu-Kai Chin, et al. · IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD) · 3
Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol
1999 · Dan Zhou, Shiu-Kai Chin · Lecture notes in computer science · 3
Verifying privacy enhanced mail functions with higher order logic
1997 · Dan Zhou, Shiu-Kai Chin · DIMACS series in discrete mathematics and theoretical computer science · 3
Engineering Assurance at the Undergraduate Level
2012 · Susan Older, Shiu-Kai Chin · IEEE Security & Privacy · 2
Policy-Based Design and Verification for Mission Assurance
2010 · Shiu-Kai Chin, Sarah Muccio, et al. · Lecture notes in computer science · 2
Implementing And Verifying Finite-state Machines Using Types In Higher-order Logic
2005 · Shiu-Kai Chin, G. Birtwistle · Theorem Proving in Higher Order Logics · 2
Generating designs using an Algorithmic Register Transfer Language with formal semantics
1994 · Juin-Yeu Lu, Shiu-Kai Chin · Lecture notes in computer science · 2
Certified Security by Design for the Internet of Things
2016 · Shiu‐Kai Chin · Wiley eBooks · 1
Interoperable Credentials Management for Wholesale Banking
2011 · Glenn Benson, Shiu‐Kai Chin, et al. · Syracuse University Libraries (Syracuse University) · 1
PDF
Works count: 59
Citation count: 298
H-index: 8
I10-index: 7
Year
Topic
Type