Arun K. Kanuparthi

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 8

Top Topics

Security Vulnerabilities

Multicore Processors

Formal Verification

Top Venues

USENIX Security Symposium

Publications

Nimisha Limaye, Christian Wachsmann, Mohammed Nabeel, Mohammed Ashraf, Arun K. Kanuparthi, Ozgur Sinanoglu
AntiDOTE: Protecting Debug Against Outsourced Test Entities. IEEE Trans. Emerg. Top. Comput. 10 (3) (2022)
Xingyu Meng, Shamik Kundu, Arun K. Kanuparthi, Kanad Basu
RTL-ConTest: Concolic Testing on RTL for Detecting Security Vulnerabilities. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (3) (2022)
Sayak Ray, Nishant Ghosh, Ramya Jayaram Masti, Arun K. Kanuparthi, Jason M. Fung
Formal Verification of Security Critical Hardware-Firmware Interactions in Commercial SoCs. DAC (2019)
Ghada Dessouky, David Gens, Patrick Haney, Garrett Persyn, Arun K. Kanuparthi, Hareesh Khattri, Jason M. Fung, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
HardFails: Insights into Software-Exploitable Hardware Bugs. USENIX Security Symposium (2019)
Ghada Dessouky, David Gens, Patrick Haney, Garrett Persyn, Arun K. Kanuparthi, Hareesh Khattri, Jason M. Fung, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
When a Patch is Not Enough - HardFails: Software-Exploitable Hardware Bugs. CoRR (2018)
Gorka Irazoqui, Kai Cong, Xiaofei Guo, Hareesh Khattri, Arun K. Kanuparthi, Thomas Eisenbarth, Berk Sunar
Did we learn from LLC Side Channel Attacks? A Cache Leakage Detection Tool for Crypto Libraries. CoRR (2017)
Arun K. Kanuparthi, Jeyavijayan Rajendran, Ramesh Karri
Controlling your control flow graph. HOST (2016)
Arun K. Kanuparthi, Ramesh Karri
Reliable Integrity Checking in Multicore Processors. ACM Trans. Archit. Code Optim. 12 (2) (2015)
Arun K. Kanuparthi, Ramesh Karri, Sateesh Addepalli
Hardware and embedded security in the context of internet of things. CyCAR@CCS (2013)
Jeyavijayan Rajendran, Arun K. Kanuparthi, Mohamed Zahran, Sateesh Addepalli, Gaston Ormazabal, Ramesh Karri
Securing Processors Against Insider Attacks: A Circuit-Microarchitecture Co-Design Approach. IEEE Des. Test 30 (2) (2013)
Arun K. Kanuparthi, Mohamed Zahran, Ramesh Karri
Architecture Support for Dynamic Integrity Checking. IEEE Trans. Inf. Forensics Secur. 7 (1) (2012)
Arun K. Kanuparthi, Ramesh Karri, Gaston Ormazabal, Sateesh Addepalli
A high-performance, low-overhead microarchitecture for secure program execution. ICCD (2012)
Arun K. Kanuparthi, Ramesh Karri, Gaston Ormazabal, Sateesh Addepalli
A Survey of Microarchitecture Support for Embedded Processor Security. ISVLSI (2012)
Arun K. Kanuparthi, Mohamed Zahran, Ramesh Karri
Feasibility study of dynamic Trusted Platform Module. ICCD (2010)