[May 2022] Paper on security validation of NoC-based SoC designs, in collaboration with Prof. Kanad Basu and his students at UT Dallas and with contribution from Kshitij Raj, has been accepted at IEEE TCAD. Congratulations to Kshitij and our UTD collaborators!