Shiu‐Kai Chin is an author at Syracuse University specializing in computer science, engineering, and formal verification.
Top concepts
EngineeringComputer ScienceFormal VerificationSecurityVerificationData SecurityFormal MethodsSoftware TestingHardware SecuritySoftware Analysis
Publications per year
1994–2015
5
5
Integrating security into the curriculum
C.E. Irvine, Shiu‐Kai Chin · Computer · 1998 · 81 citations
High-confidence design for security
Shiu‐Kai Chin · Communications of the ACM · 1999 · 47 citations · Full text
Rows per page
1–5 of 5