[ISSRE2020] IS4 - Assured hardware and embedded systems