@inproceedings{JSA25,
  author={Jerray, Jawher and Sultan, Bastien and Apvrille, Ludovic},
  title={Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded Systems},
  longbooktitle={Proceedings of the 28th International Conference on Model Driven Engineering Languages and Systems Companion ({MODELS-C} 2025)},
  booktitle = {{MODELS-C}},
  eventdate = {2025-10-5/2025-10-10},
  year={2025},
  location  = {Grand Rapids, MI, USA},
  pages={333-344},
  doi={10.1109/MODELS-C68889.2025.00052}
}