Suriya Srinivasan

According to our database, Suriya Srinivasan authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Trojan Localization Using Information Flow Tracking Properties in SoC Designs.

Suriya Srinivasan, Ranga Vemuri

Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

2023

Mutation Analysis and Model Checking Guided Test Generation for SoC Run-Time Monitors.

Suriya Srinivasan, Ranga Vemuri

Proceedings of the 36th International Conference on VLSI Design and 2023 22nd International Conference on Embedded Systems, 2023

2022

Model Checking Leveraged Error Localization for Complex RTL Designs.

Suriya Srinivasan, Ranga Vemuri

Proceedings of the IEEE 40th International Conference on Computer Design, 2022