NSPG: Natural language Processing-based Security Property Generator for Hardware Security Assurance

Open Webpage

Xingyu Meng, Amisha Srivastava, Ayush Arunachalam, Avik Ray, Pedro Henrique Silva, Rafail Psiakis, Yiorgos Makris, Kanad Basu

Published: 01 Jan 2024, Last Modified: 23 Jul 2025DAC 2024EveryoneRevisionsBibTeXCC BY-SA 4.0