From the 1 of 1 linked paper with an AI index.
1 paper
Lorenzo Ceragioli, Letterio Galletta, Edoardo Lunati
The paper presents a method to detect unwanted information flow in cloud‑based IoT access control policies by modeling AWS IoT Core components and using an SMT‑based analysis tool…