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

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

Browse the full DAC paper archive.