Pierluigi Nuzzo

Publication Activity (10 Years)

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

Top Topics

Countermeasures

Fine Granularity

Machine Learning

Subgraph Isomorphism

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Yifeng Xiao, Chanwook Oh, Michele Lora, Pierluigi Nuzzo
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism. DATE (2024)
Yinghua Hu, Kaixin Yang, Subhajit Dutta Chowdhury, Pierluigi Nuzzo
DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks. ISQED (2024)
Jair Certorio, Nuno C. Martins, Kevin Chang, Pierluigi Nuzzo, Yasser Shoukry
Passivity Tools for Hybrid Learning Rules in Large Populations. CoRR (2024)
Dengwang Tang, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
Pure Exploration for Constrained Best Mixed Arm Identification with a Fixed Budget. CoRR (2024)
Michele Lora, Sebastiano Gaiardelli, Chanwook Oh, Stefano Spellini, Pierluigi Nuzzo, Franco Fummi
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project. DATE (2024)
Yinghua Hu, Kaixin Yang, Subhajit Dutta Chowdhury, Pierluigi Nuzzo
DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks. CoRR (2024)
Subhajit Dutta Chowdhury, Zhiyu Ni, Qingyuan Peng, Souvik Kundu, Pierluigi Nuzzo
Analyzing Adversarial Vulnerabilities of Graph Lottery Tickets. ICASSP (2024)
Dmitrii Kirov, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone
Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (1) (2024)
Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
Contract-Based Specification Refinement and Repair for Mission Planning. FormaliSE (2023)
Dake Chen, Xuan Zhou, Yinghua Hu, Yuke Zhang, Kaixin Yang, Andrew Rittenbach, Pierluigi Nuzzo, Peter A. Beerel
Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP. CoRR (2023)
Krishna Chaitanya Kalagarla, Dhruva Kartik, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes. CoRR (2023)
Yinghua Hu, Yuke Zhang, Kaixin Yang, Dake Chen, Peter A. Beerel, Pierluigi Nuzzo
On the Security of Sequential Logic Locking Against Oracle-Guided Attacks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (11) (2023)
Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads. IROS (2023)
Subhajit Dutta Chowdhury, Kaixin Yang, Pierluigi Nuzzo
SimLL: Similarity-Based Logic Locking Against Machine Learning Attacks. DAC (2023)
Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo
Computer-Aided Generation of Assurance Cases. SAFECOMP Workshops (2023)
Kevin Chang, Nathan Dahlin, Rahul Jain, Pierluigi Nuzzo
Exact and Cost-Effective Automated Transformation of Neural Network Controllers to Decision Tree Controllers. CDC (2023)
Piergiuseppe Mallozzi, Nir Piterman, Pierluigi Nuzzo, Gerardo Schneider, Patrizio Pelliccione
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts. CoRR (2023)
Dake Chen, Xuan Zhou, Yinghua Hu, Yuke Zhang, Kaixin Yang, Andrew Rittenbach, Pierluigi Nuzzo, Peter A. Beerel
Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP. ISQED (2023)
Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. DATE (2023)
Subhajit Dutta Chowdhury, Zhiyu Ni, Qingyuan Peng, Souvik Kundu, Pierluigi Nuzzo
Sparse but Strong: Crafting Adversarially Robust Graph Lottery Tickets. CoRR (2023)
Subhajit Dutta Chowdhury, Kaixin Yang, Pierluigi Nuzzo
Similarity-Based Logic Locking Against Machine Learning Attacks. CoRR (2023)
Dengwang Tang, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
Regret Analysis of the Posterior Sampling-based Learning Algorithm for Episodic POMDPs. CoRR (2023)