Faculty Experts
Shiu-Kai Chin
Professor Chin’s research interests include computer/cyber security, systems assurance and formal verification.
Professor Chin’s research uses mathematical logic for the design and verification of trustworthy computer systems. Examples of computer systems that must be trustworthy are command and control systems, financial services, and distributed control of the power grid. His focus is on policy-based design and verification with an emphasis on using computer-assisted reasoning using higher-order logic theorem provers.
Shiu-Kai supports the Air Force’s research in trustworthy systems and hardware-based security. His work with JP Morgan Chase was used to reason about the security and integrity of credentials and entitlements in large-value commercial transactions.
Related Stories and Coverage
-
Media, Law & Policy
Cybersecurity Challenges Face Many Battleground States
Friday, October 16, 2020, By News Staff -
STEM
Medical Ransomware Attack Could Spell Disaster, Deaths During Pandemic
Tuesday, September 29, 2020, By Daryl Lovell -
Wired
Data Breaches Can’t Be Stopped, But Maybe Slowed
Tuesday, September 12, 2017, By Sawyer Kamman -
STEM
Q&A: Shiu-Kai Chin on Cybersecurity
Tuesday, July 11, 2017, By Cyndi Moritz -
Campus & Community
INSCT, NATO CCDCOE to Host Cyber Espionage Workshop
Wednesday, June 17, 2015, By Martin Walls -
Campus & Community
Interim Vice Chancellor Liddy Creates Academic Affairs Faculty Fellow Positions
Tuesday, January 27, 2015, By Carol Boll -
L.C. Smith College of Engineering and Computer Science will celebrate National Engineers Week
Thursday, February 7, 2008, By News Staff -
Shiu-Kai Chin named interim dean of L.C. Smith College of Engineering and Computer Science
Wednesday, May 24, 2006, By News Staff