Gerry Howser

Gerry Howser
Associate Professor of Computer Science
Missouri S&T

Classes

Current Schedule with Office Hours

CS 1200: Discrete Mathematics for CS

CS 2200: Theory of Computer Science

CS 6600: Formal Methods in CSP Security

Publications

Computer Networks and the Internet: A Hands-On Approach

A Modal Model of Stuxnet Attacks on Cyber-Physical Systems: A Matter of Trust

Modeling and reasoning about the security of drive-by-wire automobile systems

A multiple security domain model of a drive-by-wire system

Non-professional links (not offensive)
For more information contact: Gerry Howser (Gerry.Howser{at}mst.edu or research{at}gerryhowser.com).