El próximo viernes 12 de junio de 2026 a las 10:00 en la sala multiusos de la ETSI Informática tendrá lugar el seminario «Improving Security and Safety in Open-Source SoCs: From System-Level Design to Hardware Security Verification» a cargo de Francesco Restuccia, PhD (Univ. California-San Diego, California, US) dentro de la serie «La informática en la encrucijada» al que está toda la comunidad educativa invitada.
Abstract: Modern systems-on-chip integrate processors, accelerators, memories, interconnects, firmware, and third-party IP into increasingly complex platforms. This complexity creates security and safety challenges that cannot be addressed only at the component level. Several critical issues can emerge from system-level interactions, access-control policies, and firmware configuration. In this talk, I will present our research on improving security and safety in open-source SoCs, focusing on both system-level design and hardware security verification. I will discuss how access-control mechanisms, secure integration strategies, and architecture-level protection can help enforce isolation and reduce the attack surface of heterogeneous platforms. I will also show how hardware verification techniques, including property-based analysis and information-flow tracking, can support the detection of unintended communication paths and hardware weaknesses. Finally, I will outline some of our emerging research directions, including hardware fuzzing and preliminary ideas on AI-supported hardware security verification workflows
