Arun Govindankutty

According to our database, Arun Govindankutty authored at least 10 papers between 2022 and 2026.

Collaborative distances:

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

2026

Bit-Vector Abstractions to Formally Verify Quantum Error Detection & Entanglement.

Arun Govindankutty

CoRR, March, 2026

Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits.

Arun Govindankutty, Sudarshan K. Srinivasan

CoRR, March, 2026

Invulnerability Checking for Memory Protection Extensions Against Meltdown.

Yusuf Moshood, Sudarshan K. Srinivasan, Nimish Mathure, Arun Govindankutty

Proceedings of the IEEE International Symposium on Circuits and Systems, 2026

Verification of Quantum Fourier Transform and Its Inverse via Rotational and Superposition Abstraction.

Arun Govindankutty, Sudarshan K. Srinivasan, Yusuf Moshood

Proceedings of the IEEE International Symposium on Circuits and Systems, 2026

2025

Superposition-Based Abstractions for Quantum Data Encoding Verification.

Arun Govindankutty, Sudarshan K. Srinivasan

IET Quantum Commun., 2025

2023

Rotational abstractions for verification of quantum Fourier transform circuits.

Arun Govindankutty, Sudarshan K. Srinivasan, Nimish Mathure

IET Quantum Commun., 2023

Cryogenic In-memory Binary Multiplier Using Quantum Anomalous Hall Effect Memories.

Arun Govindankutty, Shamiul Alam, Sanjay Das, Ahmedullah Aziz, Sumitha George

Proceedings of the 24th International Symposium on Quality Electronic Design, 2023

Hardware Mitigation and Verification For Rogue In-Flight Data Load Attacks.

Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti, Arun Govindankutty

Proceedings of the 30th IEEE International Conference on Electronics, Circuits and Systems, 2023

Ternary In-Memory Computing with Cryogenic Quantum Anomalous Hall Effect Memories.

Arun Govindankutty, Shamiul Alam, Sanjay Das, Nagadastagiri Challapalle, Ahmedullah Aziz, Sumitha George

Proceedings of the Great Lakes Symposium on VLSI 2023, 2023

2022

Adaptable Multi-level Voltage to Binary Converter Using Ferroelectric FETs.

Sanjay Das, Arun Govindankutty, Shan Deng, Kai Ni, Sumitha George

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2022