Sudarshan K. Srinivasan

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 22

Top Venues

MWSCAS

ICECS

CoRR

IET Comput. Digit. Tech.

Georgia Institute of Technology, Atlanta, GA, USA (PHD)

Education History

Georgia Institute of Technology, Atlanta, GA, USA

PHD

Publications

Benedicto James Sitou Campbell, Sudarshan K. Srinivasan
Formal Verification For Cyclic Quantum Walk Circuits. ISCAS (2024)
Kushal K. Ponugoti, Sudarshan K. Srinivasan, Nimish Mathure
Verification of serialising instructions for security against transient execution attacks. IET Comput. Digit. Tech. 17 (3-4) (2023)
Arun Govindankutty, Sudarshan K. Srinivasan, Nimish Mathure
Rotational abstractions for verification of quantum Fourier transform circuits. IET Quantum Commun. 4 (2) (2023)
Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti, Arun Govindankutty
Hardware Mitigation and Verification For Rogue In-Flight Data Load Attacks. ICECS (2023)
Arun Govindankutty, Sudarshan K. Srinivasan, Nimish Mathure
Rotational Abstractions for Verification of Quantum Fourier Transform Circuits. CoRR (2023)
Kushal K. Ponugoti, Sudarshan K. Srinivasan, Scott C. Smith, Nimish Mathure
Illegal Trojan design and detection in asynchronous NULL Convention Logic and Sleep Convention Logic circuits. IET Comput. Digit. Tech. 16 (5-6) (2022)
Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti
A Refinement-Based Approach to Spectre Invulnerability Verification. IEEE Access 10 (2022)
Kushal K. Ponugoti, Sudarshan K. Srinivasan, Nimish Mathure
Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits. ICECS (2021)
Son N. Le, Sudarshan K. Srinivasan, Scott C. Smith
Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL Circuits. MWSCAS (2020)
N. Shaukat, Sana Shuja, Sudarshan K. Srinivasan, Shaista Jabeen
Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code. Sci. Program. 2020 (2020)
Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti, Akansha Malik, Samuel Quanbeck
A Formal Verification Approach for Detecting Opcode Trojans. ICECS (2020)
Son N. Le, Sudarshan K. Srinivasan, Scott C. Smith
Formal Verification of Completion-Completeness for NCL Circuits. MWSCAS (2020)
Kushal K. Ponugoti, Sudarshan K. Srinivasan, Scott C. Smith
Hardware Trojan Design and Detection in Asynchronous NCL Circuits. ICECS (2020)
Mousam Hossain, Ashiq A. Sakib, Sudarshan K. Srinivasan, Scott C. Smith
An Equivalence Verification Methodology for Asynchronous Sleep Convention Logic Circuits. ISCAS (2019)
Zeyad A. Al-Odat, Sudarshan K. Srinivasan, Eman M. Al-Qtiemat, Sana Shuja
A Reliable IoT-Based Embedded Health Care System for Diabetic Patients. CoRR (2019)
Ashiq A. Sakib, Scott C. Smith, Sudarshan K. Srinivasan
Formal Modeling and Verification of PCHB Asynchronous Circuits. IEEE Trans. Very Large Scale Integr. Syst. 27 (12) (2019)
Zeyad A. Al-Odat, Sudarshan K. Srinivasan, Eman Al-qtiemat, Mohana Asha Latha Dubasi, Sana Shuja
IoT-Based Secure Embedded Scheme for Insulin Pump Data Acquisition and Monitoring. CoRR (2018)
Ashiq A. Sakib, Scott C. Smith, Sudarshan K. Srinivasan
An Equivalence Verification Methodology for Combinational Asynchronous PCHB Circuits. MWSCAS (2018)
Ashiq A. Sakib, Scott C. Smith, Sudarshan K. Srinivasan
Formal modeling and verification for pre-charge half buffer gates and circuits. MWSCAS (2017)
Shaista Jabeen, Sudarshan K. Srinivasan, Sana Shuja
Formal verification methodology for real-time Field Programmable Gate Array. IET Comput. Digit. Tech. 11 (5) (2017)
Sana Shuja, Sudarshan K. Srinivasan, Shaista Jabeen, Dharmakeerthi Nawarathna
A Formal Verification Methodology for DDD Mode Pacemaker Control Programs. J. Electr. Comput. Eng. 2015 (2015)
Shaista Jabeen, Sudarshan K. Srinivasan, Sana Shuja, Mohana Asha Latha Dubasi
A Formal Verification Methodology for FPGA-Based Stepper Motor Control. IEEE Embed. Syst. Lett. 7 (3) (2015)
Vidura Wijayasekara, Sudarshan K. Srinivasan, Scott C. Smith
Equivalence verification for NULL Convention Logic (NCL) circuits. ICCD (2014)
Mohana Asha Latha Dubasi, Sudarshan K. Srinivasan, Vidura Wijayasekara
Timed Refinement for Verification of Real-Time Object Code Programs. VSTTE (2014)
Vidura Wijaysekara, Sudarshan K. Srinivasan
Equivalence checking for synchronous elastic circuits. MEMOCODE (2013)
Saif Ur Rehman Malik, Samee U. Khan, Sudarshan K. Srinivasan
Modeling and Analysis of State-of-the-art VM-based Cloud Management Platforms. IEEE Trans. Cloud Comput. 1 (1) (2013)
Sudarshan K. Srinivasan, Y. Cai, Koushik Sarker
Refinement-based verification of elastic pipelined systems. IET Comput. Digit. Tech. 6 (2) (2012)
Sudarshan K. Srinivasan, Raj S. Katti
Desynchronization: design for verification. FMCAD (2011)
Raj S. Katti, Sudarshan K. Srinivasan, Aida Vosoughi
On the Security of Randomized Arithmetic Codes Against Ciphertext-Only Attacks. IEEE Trans. Inf. Forensics Secur. 6 (1) (2011)
Sudarshan K. Srinivasan
Optimization Techniques for Verification of Out-of-Order Execution Machines. J. Electr. Comput. Eng. 2010 (2010)
Rajesh Kavasseri, Sudarshan K. Srinivasan
Joint optimal placement of PMU and conventional measurements in power systems. ISCAS (2010)
Sudarshan K. Srinivasan
Automatic Refinement Checking of Pipelines with Out-of-Order Execution. IEEE Trans. Computers 59 (8) (2010)
Sudarshan K. Srinivasan, Koushik Sarker, Rajendra S. Katti
Token-Aware Completion Functions for Elastic Processor Verification. J. Electr. Comput. Eng. 2009 (2009)
Raj S. Katti, Sudarshan K. Srinivasan
Efficient Hardware Implementation of a New Pseudo-random Bit Sequence Generator. ISCAS (2009)
Sudarshan K. Srinivasan, Koushik Sarker, Rajendra S. Katti
Verification of Synchronous Elastic Processors. IEEE Embed. Syst. Lett. 1 (1) (2009)
Sudarshan K. Srinivasan, Raj S. Katti
Verification of Desynchronized Circuits. ISCAS (2009)
Panagiotis Manolios, Sudarshan K. Srinivasan
Automatic verification of safety and liveness for pipelined machines using WEB refinement. ACM Trans. Design Autom. Electr. Syst. 13 (3) (2008)
Panagiotis Manolios, Sudarshan K. Srinivasan
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification. IEEE Trans. Very Large Scale Integr. Syst. 16 (4) (2008)
Panagiotis Manolios, Sudarshan K. Srinivasan, Daron Vroon
BAT: The Bit-Level Analysis Tool. CAV (2007)
Panagiotis Manolios, Sudarshan K. Srinivasan, Daron Vroon
Automatic memory reductions for RTL model verification. ICCAD (2006)
Roma Kane, Panagiotis Manolios, Sudarshan K. Srinivasan
Monolithic verification of deep pipelines with collapsed flushing. DATE (2006)
Panagiotis Manolios, Sudarshan K. Srinivasan
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures. J. Autom. Reason. 37 (1-2) (2006)
Panagiotis Manolios, Sudarshan K. Srinivasan
Verification of executable pipelined machines with bit-level interfaces. ICCAD (2005)
Panagiotis Manolios, Sudarshan K. Srinivasan
A computationally ef~cient method based on commitment re~nement maps for verifying pipelined machines. MEMOCODE (2005)
Panagiotis Manolios, Sudarshan K. Srinivasan
A complete compositional reasoning framework for the efficient verification of pipelined machines. ICCAD (2005)
Panagiotis Manolios, Sudarshan K. Srinivasan
Refinement Maps for Efficient Verification of Processor Models. DATE (2005)
Panagiotis Manolios, Sudarshan K. Srinivasan
A Parameterized Benchmark Suite of Hard Pipelined-Machine-Verification Problems. CHARME (2005)
Panagiotis Manolios, Sudarshan K. Srinivasan
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements. DATE (2004)
Sudarshan K. Srinivasan, Miroslav N. Velev
Formal Verification of an Intel XScale Processor Model with Scoreboarding, Specialized Execution Pipelines, and Impress Data-Memory Exceptions. MEMOCODE (2003)
Jun-Cheol Park, Vincent John Mooney III, Sudarshan K. Srinivasan
Combining data remapping and voltage/frequency scaling of second level memory for energy reduction in embedded systems. Microelectron. J. 34 (11) (2003)

Sudarshan K. Srinivasan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sudarshan K. Srinivasan