|Present||Assistant Professor of Computer Science, Cedarville University ‐ School of Engineering and Computer Science|
- Computer Networks
- Software Engineering
|2016||Ph.D., Air Force Institute of Technology|
School of Engineering and Computer Science
Improving the Cybersecurity of Cyber-Physical Systems Through Behavioral Game Theory and Model Checking in Practice and in Education Theses and Dissertations (2016)
This dissertation presents automated methods based on behavioral game theory and model checking to improve the cybersecurity of cyber-physical systems (CPSs) and advocates teaching certain foundational principles of these methods to cybersecurity students. First, it ...
Book Chapters (1)
Journal Articles (3)
A Model Checking Approach to Testing the Reliability of Smart Grid Protection Systems IEEE Transactions on Power Delivery (2017)
As distributed, communication-based protection systems become more prevalent in the emerging smart grid, the task of critically assessing their reliability has become increasingly challenging due to the complexity of their underlying software designs. This paper ...
Teaching Game Theory to Improve Adversarial Thinking in Cybersecurity Students IEEE Transactions on Education (2017)
The ability to anticipate the strategic actions of hackers, including where, when, and how they might attack, and their tactics for evading detection, is a valuable skill for cybersecurity. Therefore, developing the strategic reasoning abilities ...
Conference Presentations (1)
Poster Presentations (1)
Improving Cybersecurity Education The Research and Scholarship Symposium (2015)
This study was conducted as part of a more complex experimental research study on cybersecurity education. That larger study is considering ways to improve the effectiveness of cybersecurity education in the classroom, using game theory ...