default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRamesh Karri
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j151]Luca Collini
, Joey Ah-kiow, Christian Pilato, Ramesh Karri, Benjamin Tan:
Using Static Analysis for Enhancing HLS Security. IEEE Embed. Syst. Lett. 16(2): 166-169 (2024)- [j150]Virinchi Roy Surabhi, Rajat Sadhukhan, Md Raz, Hammond Pearce, Prashanth Krishnamurthy, Joshua Trujillo, Ramesh Karri, Farshad Khorrami:
FEINT: Automated Framework for Efficient INsertion of Templates/Trojans into FPGAs. Inf. 15(7): 395 (2024) - [j149]Mohammed Nabeel, Homer Gamil, Deepraj Soni, Mohammed Ashraf, Mizan Abraha Gebremichael, Eduardo Chielle, Ramesh Karri, Mihai Sanduleanu, Michail Maniatakos:
Silicon-Proven ASIC Design for the Polynomial Operations of Fully Homomorphic Encryption. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(6): 1924-1928 (2024) - [j148]Baleegh Ahmad, Shailja Thakur, Benjamin Tan, Ramesh Karri, Hammond Pearce:
On Hardware Security Bug Code Fixes by Prompting Large Language Models. IEEE Trans. Inf. Forensics Secur. 19: 4043-4057 (2024) - [j147]Rahul Kande, Hammond Pearce, Benjamin Tan, Brendan Dolan-Gavitt, Shailja Thakur, Ramesh Karri, Jeyavijayan Rajendran:
(Security) Assertions by Large Language Models. IEEE Trans. Inf. Forensics Secur. 19: 4374-4389 (2024) - [j146]Shailja Thakur, Baleegh Ahmad, Hammond Pearce, Benjamin Tan, Brendan Dolan-Gavitt, Ramesh Karri, Siddharth Garg:
VeriGen: A Large Language Model for Verilog Code Generation. ACM Trans. Design Autom. Electr. Syst. 29(3): 46:1-46:31 (2024) - [j145]Abdullahi Bamigbade, Yury Dvorkin, Ramesh Karri:
Cyberattack on Phase-Locked Loops in Inverter-Based Energy Resources. IEEE Trans. Smart Grid 15(1): 821-833 (2024) - [c217]Navajit Singh Baban, Jiarui Zhou, Sarani Bhattacharya, Urbi Chatterjee, Sukanta Bhattacharjee, Sanjairaj Vijayavenkataraman, Yong-Ak Song, Debdeep Mukhopadhyay, Krishnendu Chakrabarty, Ramesh Karri:
Physically Unclonable Fingerprints for Authentication. ACNS Workshops (2) 2024: 235-239 - [c216]Marco Mezzavilla, Tommy Azzino, Sundeep Rangan, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami:
Detecting O-RAN Synchronization Attacks via 5G NR Positioning. ICC Workshops 2024: 541-547 - [c215]Animesh Basak Chowdhury, Marco Romanelli, Benjamin Tan, Ramesh Karri, Siddharth Garg:
Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization. ICLR 2024 - [c214]Samrat Acharya, Hafiz Anwar Ullah Khan, Ramesh Karri, Yury Dvorkin:
MaDEVIoT: Cyberattacks on EV Charging Can Disrupt Power Grid Operation. ISGT 2024: 1-5 - [d5]Meet Udeshi, Prashanth Krishnamurthy, Hammond Pearce, Ramesh Karri, Farshad Khorrami:
Dataset for REMaQE evaluation. IEEE DataPort, 2024
- [i79]Animesh Basak Chowdhury, Marco Romanelli, Benjamin Tan, Ramesh Karri, Siddharth Garg:
Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization. CoRR abs/2401.12205 (2024) - [i78]Bhabesh Mali, Karthik Maddala, Sweeya Reddy, Vatsal Gupta, Chandan Karfa, Ramesh Karri:
ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation. CoRR abs/2402.00093 (2024) - [i77]Jitendra Bhandari, Mohammed Thari Nabeel, Likhitha Mankali, Ozgur Sinanoglu, Ramesh Karri, Johann Knechtel:
Lightweight Masking Against Static Power Side-Channel Attacks. CoRR abs/2402.03196 (2024) - [i76]Matthew DeLorenzo, Animesh Basak Chowdhury, Vasudev Gohil, Shailja Thakur, Ramesh Karri, Siddharth Garg, Jeyavijayan Rajendran:
Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTS. CoRR abs/2402.03289 (2024) - [i75]Vineet Bhat, Ali Umut Kaypak, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami:
Grounding LLMs For Robot Task Planning Using Closed-loop State Feedback. CoRR abs/2402.08546 (2024) - [i74]Minghao Shao, Boyuan Chen, Sofija Jancheska, Brendan Dolan-Gavitt, Siddharth Garg, Ramesh Karri, Muhammad Shafique:
An Empirical Evaluation of LLMs for Solving Offensive Security Challenges. CoRR abs/2402.11814 (2024) - [i73]Jason Blocklove, Md Raz, Prithwish Basu Roy, Hammond Pearce, Prashanth Krishnamurthy, Farshad Khorrami, Ramesh Karri:
OffRAMPS: An FPGA-based Intermediary for Analysis and Modification of Additive Manufacturing Control Systems. CoRR abs/2404.15446 (2024) - [i72]Jason Blocklove, Siddharth Garg, Ramesh Karri, Hammond Pearce:
Evaluating LLMs for Hardware Design and Test. CoRR abs/2405.02326 (2024) - [i71]Minghao Shao, Sofija Jancheska, Meet Udeshi, Brendan Dolan-Gavitt, Haoran Xi, Kimberly Milner, Boyuan Chen, Max Yin, Siddharth Garg, Prashanth Krishnamurthy, Farshad Khorrami, Ramesh Karri, Muhammad Shafique:
NYU CTF Dataset: A Scalable Open-Source Benchmark Dataset for Evaluating LLMs in Offensive Security. CoRR abs/2406.05590 (2024) - [i70]Luca Collini, Siddharth Garg, Ramesh Karri:
C2HLSC: Can LLMs Bridge the Software-to-Hardware Design Gap? CoRR abs/2406.09233 (2024) - [i69]Prashanth Krishnamurthy, Ali Rasteh, Ramesh Karri, Farshad Khorrami:
Tracking Real-time Anomalies in Cyber-Physical Systems Through Dynamic Behavioral Analysis. CoRR abs/2406.12438 (2024) - [i68]Jitendra Bhandari, Johann Knechtel, Ramesh Narayanaswamy, Siddharth Garg, Ramesh Karri:
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines. CoRR abs/2406.17132 (2024) - [i67]Jitendra Bhandari, Animesh Basak Chowdhury, Mohammed Nabeel, Ozgur Sinanoglu, Siddharth Garg, Ramesh Karri, Johann Knechtel:
ASCENT: Amplifying Power Side-Channel Resilience via Learning & Monte-Carlo Tree Search. CoRR abs/2406.19549 (2024) - [i66]Jitendra Bhandari, Rajat Sadhukhan, Prashanth Krishnamurthy, Farshad Khorrami, Ramesh Karri:
SENTAUR: Security EnhaNced Trojan Assessment Using LLMs Against Undesirable Revisions. CoRR abs/2407.12352 (2024) - [i65]Andre Nakkab, Sai Qian Zhang, Ramesh Karri, Siddharth Garg:
Rome was Not Built in a Single Step: Hierarchical Prompting for LLM-based Chip Design. CoRR abs/2407.18276 (2024) - [i64]Prithwish Basu Roy, Johann Knechtel, Akashdeep Saha, Saideep Sreekumar, Likhitha Mankali, Mohammed Thari Nabeel, Debdeep Mukhopadhyay, Ramesh Karri, Ozgur Sinanoglu:
NiLoPher: Breaking a Modern SAT-Hardened Logic-Locking Scheme via Power Analysis Attack. IACR Cryptol. ePrint Arch. 2024: 309 (2024) - 2023
- [j144]Animesh Basak Chowdhury, Anushree Mahapatra, Yang Liu, Prashanth Krishnamurthy, Farshad Khorrami, Ramesh Karri:
A Golden-Free Approach to Detect Trojans in COTS Multi-PCB Systems. IEEE Micro 43(5): 64-76 (2023) - [j143]Wei-Kai Liu, Benjamin Tan, Jason M. Fung, Ramesh Karri, Krishnendu Chakrabarty:
Hardware-Supported Patching of Security Bugs in Hardware IP Blocks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(1): 54-67 (2023) - [j142]Animesh Basak Chowdhury, Anushree Mahapatra, Deepraj Soni, Ramesh Karri:
Fuzzing+Hardware Performance Counters-Based Detection of Algorithm Subversion Attacks on Postquantum Signature Schemes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(2): 384-396 (2023) - [j141]Christian Pilato, Luca Collini, Luca Cassano, Donatella Sciuto, Siddharth Garg, Ramesh Karri:
Optimizing the Use of Behavioral Locking for High-Level Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(2): 462-472 (2023) - [j140]Rana Elnaggar, Jayeeta Chaudhuri, Ramesh Karri, Krishnendu Chakrabarty:
Learning Malicious Circuits in FPGA Bitstreams. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(3): 726-739 (2023) - [j139]Animesh Basak Chowdhury, Benjamin Tan, Ryan Carey, Tushit Jain, Ramesh Karri, Siddharth Garg:
Bulls-Eye: Active Few-Shot Learning Guided Logic Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(8): 2580-2590 (2023) - [j138]Virinchi Roy Surabhi, Prashanth Krishnamurthy, Hussam Amrouch, Jörg Henkel, Ramesh Karri, Farshad Khorrami:
Golden-Free Robust Age Estimation to Triage Recycled ICs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(9): 2839-2851 (2023) - [j137]Prashanth Krishnamurthy, Virinchi Roy Surabhi, Hammond Pearce, Ramesh Karri, Farshad Khorrami:
Multi-Modal Side Channel Data Driven Golden-Free Detection of Software and Firmware Trojans. IEEE Trans. Dependable Secur. Comput. 20(6): 4664-4677 (2023) - [j136]Hammond Pearce, Ramesh Karri, Benjamin Tan:
High-Level Approaches to Hardware Security: A Tutorial. ACM Trans. Embed. Comput. Syst. 22(3): 45:1-45:40 (2023) - [j135]Jitendra Bhandari, Abdul Khader Thalakkattu Moosa, Benjamin Tan, Christian Pilato, Ganesh Gore, Xifan Tang, Scott Temple, Pierre-Emmanuel Gaillardon, Ramesh Karri:
Not All Fabrics Are Created Equal: Exploring eFPGA Parameters for IP Redaction. IEEE Trans. Very Large Scale Integr. Syst. 31(10): 1459-1471 (2023) - [c213]Madhav Nair, Rajat Sadhukhan, Hammond Pearce, Debdeep Mukhopadhyay, Ramesh Karri:
Netlist Whisperer: AI and NLP Fight Circuit Leakage! ASHES@CCS 2023: 83-92 - [c212]Navajit Singh Baban, Sohini Saha, Sofija Jancheska, Jiarui Zhou, Sanjairaj Vijayavenkataraman, Sukanta Bhattacharjee, Yong-Ak Song, Krishnendu Chakrabarty, Ramesh Karri:
Bio-FP: Biochip Fingerprints for Authentication. BioCAS 2023: 1-5 - [c211]Animesh Basak Chowdhury, Lilas Alrahis, Luca Collini, Johann Knechtel, Ramesh Karri, Siddharth Garg, Ozgur Sinanoglu, Benjamin Tan:
ALMOST: Adversarial Learning to Mitigate Oracle-less ML Attacks via Synthesis Tuning. DAC 2023: 1-6 - [c210]Mohammed Nabeel, Deepraj Soni, Mohammed Ashraf, Mizan Abraha Gebremichael, Homer Gamil, Eduardo Chielle, Ramesh Karri, Mihai Sanduleanu, Michail Maniatakos:
CoFHEE: A Co-processor for Fully Homomorphic Encryption Execution. DATE 2023: 1-2 - [c209]Shailja Thakur, Baleegh Ahmad, Zhenxing Fan, Hammond Pearce, Benjamin Tan, Ramesh Karri, Brendan Dolan-Gavitt, Siddharth Garg:
Benchmarking Large Language Models for Automated Verilog RTL Code Generation. DATE 2023: 1-6 - [c208]Animesh Basak Chowdhury, Shailja Thakur, Hammond Pearce, Ramesh Karri, Siddharth Garg:
Invited Paper: Towards the Imagenets of ML4EDA. ICCAD 2023: 1-7 - [c207]Prashanth Krishnamurthy, Hammond Pearce, Virinchi Roy Surabhi, Joshua Trujillo, Ramesh Karri, Farshad Khorrami:
An Integrated Testbed for Trojans in Printed Circuit Boards with Fuzzing Capabilities. IOLTS 2023: 1-4 - [c206]Om Prakash, Rodion Novkin, Virinchi Roy Surabhi, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami, Hussam Amrouch:
Comprehensive Reliability Analysis of 22nm FDSOI SRAM from Device Physics to Deep Learning. ISCAS 2023: 1-5 - [c205]Deepraj Soni, Mohammed Nabeel, Negar Neda, Ramesh Karri, Michail Maniatakos, Brandon Reagen:
Quantifying the Overheads of Modular Multiplication. ISLPED 2023: 1-6 - [c204]Mohammad Eslami, Johann Knechtel, Ozgur Sinanoglu, Ramesh Karri, Samuel Pagliarini:
Benchmarking Advanced Security Closure of Physical Layouts: ISPD 2023 Contest. ISPD 2023: 256-264 - [c203]Deepraj Soni, Mohammed Nabeel, Homer Gamil, Oleg Mazonka, Brandon Reagen, Ramesh Karri, Michail Maniatakos:
Design Space Exploration of Modular Multipliers for ASIC FHE accelerators. ISQED 2023: 1-8 - [c202]Navajit Singh Baban, Ajymurat Orozaliev, Yong-Ak Song, Urbi Chatterjee, Sankalp Bose, Sukanta Bhattacharjee, Ramesh Karri, Krishnendu Chakrabarty:
Biochip-PUF: Physically Unclonable Function for Microfluidic Biochips. ITC 2023: 166-175 - [c201]Jason Blocklove, Siddharth Garg, Ramesh Karri, Hammond Pearce:
Chip-Chat: Challenges and Opportunities in Conversational Hardware Design. MLCAD 2023: 1-6 - [c200]Animesh Basak Chowdhury, Jitendra Bhandari, Luca Collini, Ramesh Karri, Benjamin Tan, Siddharth Garg:
ConVERTS: Contrastively Learning Structurally InVariant Netlist Representations. MLCAD 2023: 1-6 - [c199]Hammond Pearce, Benjamin Tan, Baleegh Ahmad, Ramesh Karri, Brendan Dolan-Gavitt:
Examining Zero-Shot Vulnerability Repair with Large Language Models. SP 2023: 2339-2356 - [c198]Hammond Pearce, Benjamin Tan, Baleegh Ahmad, Ramesh Karri, Brendan Dolan-Gavitt:
Examining Zero-Shot Vulnerability Repair with Large Language Models. SP 2023: 2339-2356 - [c197]Gustavo Sandoval, Hammond Pearce, Teo Nys, Ramesh Karri, Siddharth Garg, Brendan Dolan-Gavitt:
Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants. USENIX Security Symposium 2023: 2205-2222 - [c196]Deepraj Soni, Mohammed Nabeel, Ramesh Karri, Michail Maniatakos:
Optimizing Constrained-Modulus Barrett Multiplier for Power and Flexibility. VLSI-SoC 2023: 1-6 - [d4]Gustavo Sandoval, Hammond Pearce, Teo Nys, Ramesh Karri, Siddharth Garg, Brendan Dolan-Gavitt:
Lost at C: Data from the Security-focused User Study. Version 0.2. Zenodo, 2023 [all versions] - [i63]Prithwish Basu Roy, Mudit Bhargava, Chia-Yun Chang, Ellen Hui, Nikhil Gupta, Ramesh Karri, Hammond Pearce:
A survey of Digital Manufacturing Hardware and Software Trojans. CoRR abs/2301.10336 (2023) - [i62]Baleegh Ahmad, Shailja Thakur, Benjamin Tan, Ramesh Karri, Hammond Pearce:
Fixing Hardware Security Bugs with Large Language Models. CoRR abs/2302.01215 (2023) - [i61]Animesh Basak Chowdhury, Lilas Alrahis, Luca Collini, Johann Knechtel, Ramesh Karri, Siddharth Garg, Ozgur Sinanoglu, Benjamin Tan:
ALMOST: Adversarial Learning to Mitigate Oracle-less ML Attacks via Synthesis Tuning. CoRR abs/2303.03372 (2023) - [i60]Meet Udeshi, Prashanth Krishnamurthy, Hammond Pearce, Ramesh Karri, Farshad Khorrami:
REMaQE - Reverse Engineering Math Equations from Executables. CoRR abs/2305.06902 (2023) - [i59]Animesh Basak Chowdhury, Marco Romanelli, Benjamin Tan, Ramesh Karri, Siddharth Garg:
INVICTUS: Optimizing Boolean Logic Circuit Synthesis via Synergistic Learning and Search. CoRR abs/2305.13164 (2023) - [i58]Jason Blocklove, Siddharth Garg, Ramesh Karri, Hammond Pearce:
Chip-Chat: Challenges and Opportunities in Conversational Hardware Design. CoRR abs/2305.13243 (2023) - [i57]Baleegh Ahmad, Benjamin Tan, Ramesh Karri, Hammond Pearce:
FLAG: Finding Line Anomalies (in code) with Generative AI. CoRR abs/2306.12643 (2023) - [i56]Rahul Kande, Hammond Pearce, Benjamin Tan, Brendan Dolan-Gavitt, Shailja Thakur, Ramesh Karri, Jeyavijayan Rajendran:
LLM-assisted Generation of Hardware Assertions. CoRR abs/2306.14027 (2023) - [i55]Samrat Acharya, Yury Dvorkin, Ramesh Karri:
Causative Cyberattacks on Online Learning-based Automated Demand Response Systems. CoRR abs/2307.15175 (2023) - [i54]Shailja Thakur, Baleegh Ahmad, Hammond Pearce, Benjamin Tan, Brendan Dolan-Gavitt, Ramesh Karri, Siddharth Garg:
VeriGen: A Large Language Model for Verilog Code Generation. CoRR abs/2308.00708 (2023) - [i53]Akshaj Kumar Veldanda, Fabian Grob, Shailja Thakur, Hammond Pearce, Benjamin Tan, Ramesh Karri, Siddharth Garg:
Are Emily and Greg Still More Employable than Lakisha and Jamal? Investigating Algorithmic Hiring Bias in the Era of ChatGPT. CoRR abs/2310.05135 (2023) - [i52]Animesh Basak Chowdhury, Shailja Thakur, Hammond Pearce, Ramesh Karri, Siddharth Garg:
Towards the Imagenets of ML4EDA. CoRR abs/2310.10560 (2023) - [i51]Shailja Thakur, Jason Blocklove, Hammond Pearce, Benjamin Tan, Siddharth Garg, Ramesh Karri:
AutoChip: Automating HDL Generation Using LLM Feedback. CoRR abs/2311.04887 (2023) - [i50]Samrat Acharya, Hafiz Anwar Ullah Khan, Ramesh Karri, Yury Dvorkin:
MaDEVIoT: Cyberattacks on EV Charging Can Disrupt Power Grid Operation. CoRR abs/2311.06226 (2023) - [i49]Jitendra Bhandari, Jayanth Gopinath, Mohammed Ashraf, Johann Knechtel, Ramesh Karri:
DEFending Integrated Circuit Layouts. IACR Cryptol. ePrint Arch. 2023: 205 (2023) - [i48]Jitendra Bhandari, Likhitha Mankali, Mohammed Nabeel, Ozgur Sinanoglu, Ramesh Karri, Johann Knechtel:
Beware Your Standard Cells! On Their Role in Static Power Side-Channel Attacks. IACR Cryptol. ePrint Arch. 2023: 920 (2023) - 2022
- [j134]Charalambos Konstantinou, Xueyang Wang, Prashanth Krishnamurthy, Farshad Khorrami, Michail Maniatakos, Ramesh Karri:
HPC-Based Malware Detectors Actually Work: Transition to Practice After a Decade of Research. IEEE Des. Test 39(4): 23-32 (2022) - [j133]Navajit Singh Baban, Sohini Saha, Ajymurat Orozaliev, Jongmin Kim, Sukanta Bhattacharjee, Yong-Ak Song, Ramesh Karri, Krishnendu Chakrabarty:
Structural Attacks and Defenses for Flow-Based Microfluidic Biochips. IEEE Trans. Biomed. Circuits Syst. 16(6): 1261-1275 (2022) - [j132]Virinchi Roy Surabhi, Prashanth Krishnamurthy, Hussam Amrouch, Jörg Henkel, Ramesh Karri, Farshad Khorrami:
Trojan Detection in Embedded Systems With FinFET Technology. IEEE Trans. Computers 71(11): 3061-3071 (2022) - [j131]Rana Elnaggar, Kanad Basu, Krishnendu Chakrabarty, Ramesh Karri:
Runtime Malware Detection Using Embedded Trace Buffers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(1): 35-48 (2022) - [j130]Animesh Basak Chowdhury, Benjamin Tan, Siddharth Garg, Ramesh Karri:
Robust Deep Learning for IC Test Problems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(1): 183-195 (2022) - [j129]Naman Patel, Prashanth Krishnamurthy, Hussam Amrouch, Jörg Henkel, Michael Shamouilian, Ramesh Karri, Farshad Khorrami:
Towards a New Thermal Monitoring Based Framework for Embedded CPS Device Security. IEEE Trans. Dependable Secur. Comput. 19(1): 524-536 (2022) - [j128]Nikhil Rangarajan, Satwik Patnaik, Johann Knechtel, Ramesh Karri, Ozgur Sinanoglu, Shaloo Rakheja:
Opening the Doors to Dynamic Camouflaging: Harnessing the Power of Polymorphic Devices. IEEE Trans. Emerg. Top. Comput. 10(1): 137-156 (2022) - [j127]Samrat Acharya, Robert Mieth, Charalambos Konstantinou, Ramesh Karri, Yury Dvorkin:
Cyber Insurance Against Cyberattacks on Electric Vehicle Charging Stations. IEEE Trans. Smart Grid 13(2): 1529-1541 (2022) - [j126]Hammond Pearce, Virinchi Roy Surabhi, Prashanth Krishnamurthy, Joshua Trujillo, Ramesh Karri, Farshad Khorrami:
Detecting Hardware Trojans in PCBs Using Side Channel Loopbacks. IEEE Trans. Very Large Scale Integr. Syst. 30(7): 926-937 (2022) - [c195]Dominik Sisejkovic, Luca Collini, Benjamin Tan, Christian Pilato, Ramesh Karri, Rainer Leupers:
Designing ML-resilient locking at register-transfer level. DAC 2022: 769-774 - [c194]Chiara Muscari Tomajoli, Luca Collini, Jitendra Bhandari, Abdul Khader Thalakkattu Moosa, Benjamin Tan, Xifan Tang, Pierre-Emmanuel Gaillardon, Ramesh Karri, Christian Pilato:
ALICE: an automatic design flow for eFPGA redaction. DAC 2022: 781-786 - [c193]Christian Pilato, Donatella Sciuto, Benjamin Tan, Siddharth Garg, Ramesh Karri:
High-level design methods for hardware security: is it the right choice? invited. DAC 2022: 1375-1378 - [c192]Luca Collini, Ramesh Karri, Christian Pilato:
A Composable Design Space Exploration Framework to Optimize Behavioral Locking. DATE 2022: 1359-1364 - [c191]Luca Collini, Benjamin Tan, Christian Pilato, Ramesh Karri:
Reconfigurable Logic for Hardware IP Protection: Opportunities and Challenges. ICCAD 2022: 131:1-131:7 - [c190]Baleegh Ahmad, Wei-Kai Liu, Luca Collini, Hammond Pearce, Jason M. Fung, Jonathan Valamehr, Mohammad Bidmeshki, Piotr Sapiecha, Steve Brown, Krishnendu Chakrabarty, Ramesh Karri, Benjamin Tan:
Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design. ICCAD 2022: 157:1-157:9 - [c189]Johann Knechtel, Jayanth Gopinath, Mohammed Ashraf, Jitendra Bhandari, Ozgur Sinanoglu, Ramesh Karri:
Benchmarking Security Closure of Physical Layouts: ISPD 2022 Contest. ISPD 2022: 221-228 - [c188]Hammond Pearce, Baleegh Ahmad, Benjamin Tan, Brendan Dolan-Gavitt, Ramesh Karri:
Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions. SP 2022: 754-768 - [c187]Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy:
HOLL: Program Synthesis for Higher Order Logic Locking. TACAS (1) 2022: 3-24 - [c186]Gang Qu, Benjamin Tan, Kuheli Pratihar, Debdeep Mukhopadhyay, Ramesh Karri:
Innovation Practices Track: Security in Test and Test for Security. VTS 2022: 1 - [p2]Christian Pilato, Donatella Sciuto, Francesco Regazzoni, Siddharth Garg, Ramesh Karri:
Protecting Hardware IP Cores During High-Level Synthesis. Behavioral Synthesis for Hardware Security 2022: 95-115 - [d3]Hammond Pearce, Benjamin Tan, Baleegh Ahmad, Ramesh Karri, Brendan Dolan-Gavitt:
Code and Dataset for "Examining Zero-Shot Vulnerability Repair with Large Language Models". Zenodo, 2022 - [d2]Gustavo Sandoval, Hammond Pearce, Teo Nys, Ramesh Karri, Siddharth Garg, Brendan Dolan-Gavitt:
Lost at C: Data from the Security-focused User Study. Version 0.1. Zenodo, 2022 [all versions] - [i47]Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy:
HOLL: Program Synthesis for Higher OrderLogic Locking. CoRR abs/2201.10531 (2022) - [i46]Hammond Pearce, Benjamin Tan, Prashanth Krishnamurthy, Farshad Khorrami, Ramesh Karri, Brendan Dolan-Gavitt:
Pop Quiz! Can a Large Language Model Help With Reverse Engineering? CoRR abs/2202.01142 (2022) - [i45]Dominik Sisejkovic, Luca Collini, Benjamin Tan, Christian Pilato, Ramesh Karri, Rainer Leupers:
Designing ML-Resilient Locking at Register-Transfer Level. CoRR abs/2203.05399 (2022) - [i44]Animesh Basak Chowdhury, Anushree Mahapatra, Deepraj Soni, Ramesh Karri:
Fuzzing+Hardware Performance Counters-Based Detection of Algorithm Subversion Attacks on Post-Quantum Signature Schemes. CoRR abs/2203.06782 (2022) - [i43]Animesh Basak Chowdhury, Benjamin Tan, Ryan Carey, Tushit Jain, Ramesh Karri, Siddharth Garg:
Too Big to Fail? Active Few-Shot Learning Guided Logic Synthesis. CoRR abs/2204.02368 (2022) - [i42]Mohammed Nabeel, Deepraj Soni, Mohammed Ashraf, Mizan Abraha Gebremichael, Homer Gamil, Eduardo Chielle, Ramesh Karri, Mihai Sanduleanu, Michail Maniatakos:
CoFHEE: A Co-processor for Fully Homomorphic Encryption Execution. CoRR abs/2204.08742 (2022) - [i41]Chiara Muscari Tomajoli, Luca Collini, Jitendra Bhandari, Abdul Khader Thalakkattu Moosa, Benjamin Tan, Xifan Tang, Pierre-Emmanuel Gaillardon, Ramesh Karri, Christian Pilato:
ALICE: An Automatic Design Flow for eFPGA Redaction. CoRR abs/2205.07425 (2022) - [i40]Hammond Pearce, Ramesh Karri, Benjamin Tan:
High-Level Approaches to Hardware Security: A Tutorial. CoRR abs/2207.10466 (2022) - [i39]Gustavo Sandoval, Hammond Pearce, Teo Nys, Ramesh Karri, Brendan Dolan-Gavitt, Siddharth Garg:
Security Implications of Large Language Model Code Assistants: A User Study. CoRR abs/2208.09727 (2022) - [i38]Baleegh Ahmad, Wei-Kai Liu, Luca Collini, Hammond Pearce, Jason M. Fung, Jonathan Valamehr, Mohammad Bidmeshki, Piotr Sapiecha, Steve Brown, Krishnendu Chakrabarty, Ramesh Karri, Benjamin Tan:
Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design. CoRR abs/2209.01291 (2022) - [i37]Shailja Thakur, Baleegh Ahmad, Zhenxing Fan, Hammond Pearce, Benjamin Tan, Ramesh Karri, Brendan Dolan-Gavitt, Siddharth Garg:
Benchmarking Large Language Models for Automated Verilog RTL Code Generation. CoRR abs/2212.11140 (2022) - 2021
- [j125]