(Security) Assertions by Large Language ModelsR. Kande, H. Pearce, B. Tan, B. Dolan-Gavitt, S. Thakur, R. Karri, J. RajendranJan 1, 2024DOI URL