Using computational game theory to guide verification and security in hardware designs

No abstract is available for this paper.

• Publication year

  2017

• Venue

  IEEE International Symposium on Hardware Oriented Security and Trust

• Publication date

  2017-05-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/HST.2017.7951808
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Trust games: How game theory can guide the development of hardware Trojan detection methods

  2016cited by this paper
• Multidefender Security Games

  2015cited by this paper
• From physical security to cybersecurity

  2015cited by this paper
• Testing for Hardware Trojans: A Game-Theoretic Approach

  2014cited by this paper
• Characterizing short-term stability for Boolean networks over any distribution of transfer functions

  2014cited by this paper
• MultiDefender security games on networks

  2014cited by this paper
• VeriTrust: Verification for hardware trust

  2013cited by this paper
• FANCI: identification of stealthy malicious logic using boolean functional analysis

  2013cited by this paper
• Securing interdependent assets

  2012cited by this paper
• A Survey of Interdependent Security Games Working paper

  2012cited by this paper
• Coverage-Directed Test Generation Automated by Machine Learning -- A Review

  2012cited by this paper
• Stackelberg vs. Nash in Security Games: An Extended Investigation of Interchangeability, Equivalence, and Uniqueness

  2011cited by this paper
• Tradeoffs in targeted fuzzing of cyber systems by defenders and attackers

  2011cited by this paper
• How Threats Drive the Development of Secure Reconfigurable Devices

  2008cited by this paper
• A Survey of Hybrid Techniques for Functional Verification

  2007cited by this paper
• Practical Formal Verification in Microprocessor Design

  2001cited by this paper
• Constant depth circuits, Fourier transform, and learnability

  1989cited by this paper

• A Game-Theoretic Approach for Security Control Selection

  2024cites this paper
• Orthogonal obfuscation based key management for multiple IP protection

  2021cites this paper
• TRAP-GATE: A Probabilistic Approach to Enhance Hardware Trojan Detection and its Game Theoretic Analysis

  2020cites this paper
• A game theory approach for RTL security verification resources allocation

  2020influential citation
• A practical application of game theory to optimize selection of hardware Trojan detection strategies

  2019cites this paper
• Targeted modification of hardware trojans

  2019cites this paper
• Systematic Test Generation for Secure Hardware Supported Virtualization

  2017cites this paper