selected publications
-
academic article
- A Formal Model and Verification for HESTIA: An Automated, Adversary-Aware Risk Assessment Process for Cyber Infrastructure. IEEE Access. 10:83755-83792. 2022
- Analysis of Web Browser Security Configuration Options. Transactions on Internet and Information Systems. 12:6139-6160. 2018
- ADLES: Specifying, deploying, and sharing hands-on cyber-exercises. Computers and Security. 74:12-40. 2018
-
conference paper
- Attack Scenario-based Validation of the Idaho CPS Smart Grid Cybersecurity Testbed (ISAAC). 2019 IEEE Texas Power and Energy Conference (TPEC). 2019
- Formalizing an Automated, Adversary-aware Risk Assessment Process for Critical Infrastructure. 2019 IEEE Texas Power and Energy Conference (TPEC). 2019
- ISAAC: The Idaho CPS Smart Grid Cybersecurity Testbed. 2019 IEEE Texas Power and Energy Conference (TPEC). 2019
- METICS: A Holistic Cyber Physical System Model for IEEE 14-bus Power System Security. 2018 13th International Conference on Malicious and Unwanted Software (MALWARE). 2019
- The Healthcare IoT Ecosystem: Advantages of Fog Computing Near the Edge. 2018 IEEE/ACM International Conference on Connected Health: Applications, Systems, and Engineering Technologies (CHASE). 2019