1. Specification-based Attacks and Defenses in Sequential Control Systems Open Access Author: McLaughlin, Stephen Elliot Title: Specification-based Attacks and Defenses in Sequential Control Systems Graduate Program: Computer Science and Engineering Keywords: SecurityCyber-PhysicalControl File: Download dis.pdf Committee Members: Patrick Drew Mcdaniel, Dissertation Advisor/Co-AdvisorTrent Ray Jaeger, Committee MemberThomas F Laporta, Committee MemberSeth Adam Blumsack, Special Member