Congratulations to Andy Meza for giving the best presentation at the Real-Time and Intelligent Edge Computing Workshop co-located with the Design Automation Conference. Andy presented our research on “Safety Verification of Third-Party Hardware Modules via Information Flow Tracking” a collaborative project with Francesco Restuccia and Jason Oberg from Cycuity. The work describes how to use information flow tracking to verify the safety of bus interactions among on-chip hardware resources.