• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

TimingSAT: Decamouflaging Timing-based Logic Obfuscation.

Meng LiKaveh ShamsiYier JinDavid Z. Pan
Published in: ITC (2018)
Keyphrases
  • asynchronous circuits
  • modal logic
  • reverse engineering
  • logic programming
  • classical logic
  • abductive reasoning
  • object oriented
  • open source
  • static analysis
  • logical framework
  • data mining
  • multi agent
  • proof theory