Shiu-Kai Chin

Publication Activity (10 Years)

Years Active: 1988-2021
Publications (10 Years): 4

Top Topics

Reliability Analysis

Computer Systems

Chemical Engineering

Top Venues

IEEE Secur. Priv.

Comput. Networks

Publications

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