RT-level ITC'99 benchmarks and first ATPG results

• veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing

  2024 IEEE Transactions on Circuits and Systems I Regular Papers article Engineering Advanced Memory and Neural Computing

  7

  citations
• Sicherheitsbewertung mit maschinellem Lernen

  2024 Springer eBooks book-chapter Computer Science Physical Unclonable Functions (PUFs) and Hardware Security

  0

  citations
• Security Evaluation with Machine Learning

  2022 Springer eBooks book-chapter Computer Science Physical Unclonable Functions (PUFs) and Hardware Security

  0

  citations
• Logic Locking at the Frontiers of Machine Learning: A Survey on Developments and Opportunities

  2021 IFIP/IEEE International Conference on Very Large Scale Integration conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access

  29

  citations
• Deceptive Logic Locking for Hardware Integrity Protection Against Machine Learning Attacks

  2021 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems article Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access

  56

  citations
• Challenging the Security of Logic Locking Schemes in the Era of Deep Learning: A Neuroevolutionary Approach

  2021 ACM Journal on Emerging Technologies in Computing Systems article Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access

  85

  citations
• Vertical IP Protection of the Next-Generation Devices: Quo Vadis?

  2021 Design, Automation, and Test in Europe conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access

  8

  citations

7 results