• ARTmine : automatic association rule mining with temporal behavior for hardware verificationHeidari Iman, Mohammad Reza; Jervan, Gert; Ghasempouri, Tara2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : Valencia, Spain, 25-27 March 2024 : proceedings2024 / p. 1-6 : ill https://ieeexplore.ieee.org/document/10546742 https://doi.org/10.23919/DATE58400.2024.10546742 https://www.scopus.com/sourceid/5400152603 https://www.scopus.com/pages/publications/85196491362?inward https://www.webofscience.com/wos/woscc/full-record/WOS:001253778900231
• KRATT : QBF-assisted removal and structural analysis attack against logic lockingAksoy, Levent; Yasin, Muhammad; Pagliarini, Samuel2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : Valencia, Spain, 25-27 March 2024 : proceedings2024 / 6 p. : ill https://doi.org/10.23919/DATE58400.2024.10546552 https://www.scopus.com/sourceid/5400152603 https://www.scopus.com/pages/publications/85183372197?inward https://www.webofscience.com/wos/woscc/full-record/WOS:001253778900051