Information flow tracking (IFT) is a fundamental computer security technique used to
understand how information moves through a computing system. Hardware IFT techniques …

With the proliferation of electronic devices, third-party intellectual property (3PIP) integration
in the supply chain of the semiconductor industry and untrusted actors/fields have raised …

Hardware intellectual property (IP) cores from untrusted vendors are widely used, raising
security concerns for system designers. Although formal methods provide powerful solutions …

Understanding an unknown hardware design is inherently hard. We propose usage-driven
relevance analysis as a technique for design understanding. Our approach gathers data …