Using Computational Game Theory To Guide Verification and Security in Hardware Designs.
Abstract not provided.
Smith, Andrew Michael↗
Engineering topics
Vorobeychik, Yevgeniy
Publications and source records attributed to Vorobeychik, Yevgeniy.
Using Computational Game Theory To Guide Verification and Security in Hardware Designs.
Abstract not provided.
Smith, Andrew Michael↗
Using Machine Learning in Adversarial Environments
Cyber defense is an asymmetric battle today. We need to understand better what options are available for providing defenders with possible advantages. Our project combines machine learning, optimization, and game theory to obscure our defensive posture from the information the adversaries are able to observe. The main conceptual contribution of this research is to separate the problem of prediction, for which machine learning is used, and the problem of computing optimal operational decisions based on such predictions, coupled with a model of adversarial response. This research includes modeling of the attacker and defender, formulation of useful optimization models for studying adversarial interactions, and user studies to measure the impact of the modeling approaches in realistic settings.
97 MATHEMATICS AND COMPUTING↗