TY  - RPRT
TI  - (Security) Assertions by Large Language Models
AU  - Rahul Kande
AU  - Hammond Pearce
AU  - Benjamin Tan
AU  - Brendan Dolan-Gavitt
AU  - Shailja Thakur
AU  - Ramesh Karri
AU  - Jeyavijayan Rajendran
PY  - 2024
DO  - 10.1109/tifs.2024.3372809
UR  - https://arxiv.org/abs/2306.14027
ID  - 2306.14027
ER  -