Personal information

No personal information available

Activities

Employment (1)

Intel Corporation: Bangalore, KARNATAKA, IN

2016-09-16 to present | pre-si verification engineer (NEX)
Employment
Source: Self-asserted source
Surinder sood

Works (4)

A Novel Security Vulnerability Detection Mechanism Using Information Flow Tracking on a Complex SOC

2022 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE)
2022-12-18 | Conference paper
Contributors: Manoj Kumar Munigala; Surinder Sood; Madhusudhan. K.N; Ketan Baladaniya
Source: Self-asserted source
Surinder sood

A novel approach to Real-time contract based reasoning for Hybrid Systems

2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
2022-10-13 | Conference paper
Contributors: Surinder Sood; Avinash Malik; Partha Roop
Source: Self-asserted source
Surinder sood

Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems

2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
2022-10-13 | Conference paper
Contributors: Surinder Sood; Avinash Malik; Partha Roop
Source: Self-asserted source
Surinder sood

Robust Design and Validation of Cyber-physical Systems

ACM Transactions on Embedded Computing Systems
2019-11-30 | Journal article
Contributors: Surinder Sood; Avinash Malik; Partha Roop
Source: check_circle
Crossref