Login / Signup

Logic Locking: Exploration of a new key-gate based on tristate logic.

Sophie DupuisNassim RiadiClémy MoroukianFlorence AzaïsMarie-Lise Flottes
Published in: LATS (2024)
Keyphrases
  • classical logic
  • logic programming
  • digital circuits
  • neural network
  • automated reasoning
  • sound and complete axiomatization
  • data sets
  • multi agent
  • data model
  • probabilistic logic
  • abductive reasoning