Computing systems have come a long way concerning speed, performance, optimization,
and security. The state-of-the-art designs are deployed in the real world, targeting a variety …

Mobile System-on-Chips (SoCs) heavily rely on dynamic thermal management (DTM)
methods in order to deal with their thermal and power density issues at runtime. The …

Hardware constitutes the foundation of any computer system. Ensuring its integrity
throughout the entirety of the hardware supply chain poses a significant challenge in …

With the aggressive scaling of device geometries, the yield of complex Multi Core Single
Chip (MCSC) systems with many cores will decrease due to the higher probability of …

As robots increase their capabilities and expand into different markets, the question of
security needs to be addressed. One of the first papers related to robotics, security, and …

Existing techniques to ensure functional correctness and hardware trust during pre-silicon
verification face severe limitations. In this work, we systematically leverage two key ideas: 1) …