Shiu-Kai Chin is a Professor at Syracuse University. He has devised, with Prof. Susan Older, Certified Security by Design (CSBD) to apply formal logic and tools to design and verify trustworthy systems. Together, they wrote the textbook Access Control, Security, and Trust: A Logical Approach, CRC Press, 2010. JP Morgan Chase used CSBD to verify the logic of its SWIFT protocols for commercial transactions. The Air Force Research Laboratory uses CSBD to assure missions in cyberspace. Shiu-Kai was a research scientist in the Defensive Information Warfare Branch of the Air Force Research Laboratory (AFRL). He is an instructor in the AFRL Advanced Course in Engineering (ACE) Cybersecurity Boot Camp. He has taught the full span of ACE since its inception in 2003. Prior to joining Syracuse University, Shiu-Kai was a senior engineer and program manager at General Electric. He is a graduate of the 3.5 year GE ACE. His GE products include a nuclear fuel-rod monitor, a memory manager for a heart imaging system, and a custom radiation-hard processor and transceiver for controlling radars.
Podcasts / Webinars
Incorporating security into the design of components used in the Internet of Things (IoT) is essential for securing the cyber-physical infrastructure upon which society depends. This webinar presents the challenges involved in securing IoT components and provides possible solutions by drawing inspiration from the past.