OpenAssert: Towards Secure Assertion Generation using Large Language Models. - Anand Menon; Samit Shahnawaz Miftah; Amisha Srivastava; Shamik Kundu; Shovik Kundu; Arnab Raha; Suvadeep Banerjee; Deepak Mathaikutty; Kanad Basu (VTS, 2025)