A. Djoudi
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
A bottom-up formal verification approach for common criteria certification: application to JavaCard virtual machine
A. Djoudi (2022) · European Congress Embedded Real Time System