This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Subhasish Mitra
A grouping.
Subhasish Mitra, Stanford: co-author on the UPEC line's formal detection of processor security flaws and on pre-silicon core verification that extends symbolic quick error detection (SQED).
3 references
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors
Mohammad Rahmani Fadiheh and others (2022) · IEEE Transactions on Computers
Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection
Karthik Ganesan and others (2021)
Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking
Mohammad Rahmani Fadiheh and others (2018)