(Security) Assertions by Large Language Models

Publication
IEEE Transactions on Information Forensics and Security