Hi all, I found another EU project call that I think fits better the development of a verified HSM. https://ec.europa.eu/research/participants/portal/desktop/en/opportunities/… "Building blocks for resilience in evolving ICT systems" On Scope B) Trusted supply chains of ICT systems Innovative approaches to (v) devise methods to develop resilient systems out of potentially insecure components On Scope C) Designing and developing privacy-friendly and secure software and hardware Innovative approaches to establish methods and tools for (vi) novel, secure and privacy-friendly IoT architectures enabling consistent trustworthy and accountable authentication, authorization and accounting services across all IoT devices/ecosystems with enhancement of Public Key Infrastructures (PKIs) aiming to support PKI services (e.g. registration, revocation) for IoT devices. Differently from the other call, here there is not requirement in using AI to counter cyber-threats. Deadline is Nov 2019. Roberto