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.
![](http://kastner.ucsd.edu/wp-content/uploads/2022/08/admin/RAGE_best_paper_presentation_award-1024x576.jpg)