Assertain: Automated Security Assertion Generation Using Large Language Models | ScienceToStartup | ScienceToStartup