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

Jawher Jerray, Bastien Sultan, Ludovic Apvrille

Browse the full MODELS paper archive.