On behalf of the Cybersecurity Certification and Assessment Tools (CCAT) project, we invite you to join a training session on the ALVIE tool. ALVIE is an automated tool for analysing the security of embedded hardware architectures. It uses black-box active automata learning and model checking to detect side-channel vulnerabilities and verify security properties. It supports vulnerability research and the evaluation of secure hardware designs, including Sancus-based architectures, RISC-V, and FPGA implementations. There will be two training sessions, one online and one in person, with the same content and structure: • Online Training session, 15 October • In person Training session, 11 November
📍 Prefer to join us in person? Following our previously announced online session, we’re also organising an in-person ALVIE training session as part of the CCAT training series 🎓 The session will have the same structure and programme: an introduction to the #ALVIE tool followed by a practical exercise. Places are limited, so make sure to register by 11 October.