Pairing Human and Artificial Intelligence: Enforcing Access Control Policies with LLMs and Formal Specifications. - Carlos E. Rubio-Medrano; Akash Kotak; Wenlu Wang; Karsten Sohr (SACMAT, 2024)