Luca Collini

According to our database, Luca Collini authored at least 21 papers between 2013 and 2025.

Collaborative distances:

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

2025

ARIANNA: An Automatic Design Flow for Fabric Customization and eFPGA Redaction.

Luca Collini, Jitendra Bhandari, Chiara Muscari Tomajoli, Abdul Moosa, Benjamin Tan, Xifan Tang, Pierre-Emmanuel Gaillardon, Ramesh Karri, Christian Pilato

ACM Trans. Design Autom. Electr. Syst., July, 2025

ARIANNA: An Automatic Design Flow for Fabric Customization and eFPGA Redaction.

Luca Collini, Jitendra Bhandari, Chiara Muscari Tomajoli, Abdul Khader Thalakkattu Moosa, Benjamin Tan, Xifan Tang, Pierre-Emmanuel Gaillardon, Ramesh Karri, Christian Pilato

CoRR, June, 2025

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification.

Patrick Yubeaton, Andre Nakkab, Weihua Xiao, Luca Collini, Ramesh Karri, Chinmay Hegde, Siddharth Garg

CoRR, May, 2025

MARVEL: Multi-Agent RTL Vulnerability Extraction using Large Language Models.

Luca Collini, Baleegh Ahmad, Joey Ah-kiow, Ramesh Karri

CoRR, May, 2025

Can Reasoning Models Reason about Hardware? An Agentic HLS Perspective.

Luca Collini, Andrew Hennessee, Ramesh Karri, Siddharth Garg

CoRR, March, 2025

The Impact of Logic Locking on Confidentiality: An Automated Evaluation.

Lennart M. Reimann, Evgenii Rezunov, Dominik Germek, Luca Collini, Christian Pilato, Ramesh Karri, Rainer Leupers

Proceedings of the 26th International Symposium on Quality Electronic Design, 2025

Large Language Models (LLMs) for Verification, Testing, and Design.

Chandan Kumar Jha, Muhammad Hassan, Khushboo Qayyum, Sallar Ahmadi-Pour, Kangwei Xu, Ruidi Qiu, Jason Blocklove, Luca Collini, Andre Nakkab, Ulf Schlichtmann, Grace Li Zhang, Ramesh Karri, Bing Li, Siddharth Garg, Rolf Drechsler

Proceedings of the IEEE European Test Symposium, 2025

2024

Using Static Analysis for Enhancing HLS Security.

Luca Collini, Joey Ah-kiow, Christian Pilato, Ramesh Karri, Benjamin Tan

IEEE Embed. Syst. Lett., June, 2024

C2HLSC: Leveraging Large Language Models to Bridge the Software-to-Hardware Design Gap.

Luca Collini, Siddharth Garg, Ramesh Karri

CoRR, 2024

C2HLSC: Can LLMs Bridge the Software-to-Hardware Design Gap?

Luca Collini, Siddharth Garg, Ramesh Karri

CoRR, 2024

2023

Optimizing the Use of Behavioral Locking for High-Level Synthesis.

Christian Pilato, Luca Collini, Luca Cassano, Donatella Sciuto, Siddharth Garg, Ramesh Karri

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., February, 2023

ConVERTS: Contrastively Learning Structurally InVariant Netlist Representations.

Animesh Basak Chowdhury, Jitendra Bhandari, Luca Collini, Ramesh Karri, Benjamin Tan, Siddharth Garg

Proceedings of the 5th ACM/IEEE Workshop on Machine Learning for CAD, 2023

ALMOST: Adversarial Learning to Mitigate Oracle-less ML Attacks via Synthesis Tuning.

Animesh Basak Chowdhury, Lilas Alrahis, Luca Collini, Johann Knechtel, Ramesh Karri, Siddharth Garg, Ozgur Sinanoglu, Benjamin Tan

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

Reconfigurable Logic for Hardware IP Protection: Opportunities and Challenges.

Luca Collini, Benjamin Tan, Christian Pilato, Ramesh Karri

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design.

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

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

A Composable Design Space Exploration Framework to Optimize Behavioral Locking.

Luca Collini, Ramesh Karri, Christian Pilato

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

ALICE: an automatic design flow for eFPGA redaction.

Chiara Muscari Tomajoli, Luca Collini, Jitendra Bhandari, Abdul Khader Thalakkattu Moosa, Benjamin Tan, Xifan Tang, Pierre-Emmanuel Gaillardon, Ramesh Karri, Christian Pilato

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Designing ML-resilient locking at register-transfer level.

Dominik Sisejkovic, Luca Collini, Benjamin Tan, Christian Pilato, Ramesh Karri, Rainer Leupers

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

On the Optimization of Behavioral Logic Locking for High-Level Synthesis.

Christian Pilato, Luca Collini, Luca Cassano, Donatella Sciuto, Siddharth Garg, Ramesh Karri

CoRR, 2021

2016

Oscillations of a rocking block with an added pendulum.

Luca Collini, Rinaldo Garziera, Aleksander V. Karapetyan, Maria A. Munitsyna, Alessandro Tasora

J. Syst. Control. Eng., 2016

2013

Modal tests on buildings: correlating large amounts of acquisitions with different space-time collocations.

Rinaldo Garziera, Luca Collini, Elisabetta Manconi

J. Syst. Control. Eng., 2013