In SELFY Okayama University (Pr. NOGAMI Yasuyuki group) will
a – provide feedback on the proposed Verification and Validation (V&V) techniques for the evaluation of the CCAM system robustness, particularly of cryptography performance level. Design-time / run-time verification can assess weak points on models or implementations of CCAM systems showing the actual robustness of embedded cryptosystems (Task 4.6)
b -participate in the identification and analysis of lightweight post-quantum/classical cryptographic algorithms adapted to CCAM systems