Pairing Human and Artificial Intelligence: Enforcing Access Control Policies with LLMs and Formal Specifications.

Carlos E. Rubio-Medrano, Akash Kotak, Wenlu Wang, Karsten Sohr

Browse the full SACMAT paper archive.