• DocumentCode
    734984
  • Title

    Towards Trojan circuit detection with maximum state transition exploration

  • Author

    Lenox, Joseph ; Tragoudas, Spyros

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Southern Illinois Univ.-Carbondale, IL, USA
  • fYear
    2015
  • fDate
    6-8 July 2015
  • Firstpage
    50
  • Lastpage
    52
  • Abstract
    An approach for Trojan circuit detection in a finite state machine is presented. It is based on a model where long sequences of inputs that are applied to the system in the functional mode can detect if Trojan hardware is triggered with high probability. An efficient and scalable input generation algorithm for broadside tests is introduced.
  • Keywords
    finite state machines; integrated circuit testing; invasive software; broadside tests; finite state machine; functional mode; maximum state transition exploration; trojan circuit detection; trojan hardware; Boolean functions; Conferences; Hardware; Integrated circuits; Testing; Trojan horses;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    On-Line Testing Symposium (IOLTS), 2015 IEEE 21st International
  • Conference_Location
    Halkidiki
  • Type

    conf

  • DOI
    10.1109/IOLTS.2015.7229831
  • Filename
    7229831
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=734984