Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded Systems.

Presentation of the paper "Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded Systems." written by Jawher Jerray, Bastien Sultan and Ludovic Apvrille, during SAM 2025 conference remotely held in Grand Rapids, Michigan, United States on October 6, 2025.