We have two subgroups, focusing on cyber-physical system design and trustworthy SoC design respectively. Trustworthy SoC design group now is interested in logic encryption attack and defense methods on gate-level netlists, as well as the evaluation metrics and general models.
Advisor: Prof. Pierluigi Nuzzo
Ph.D. students: Yinghua Hu, Subhajit Dutta Chowdhury, Chanwook Oh, Nikhil Vijay Naik, Krishna Chaitanya Kalagaria, Michele Lora, Yifeng Xiao, Kevin(Chia-Ming) Chang, Mattew Low and me
Y. Hu, Y. Zhang, K. Yang, D. Chen, P. A. Beerel, P. Nuzzo, "Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption," Proc. IEEE International Symposium on Hardware Oriented Security and Trust (HOST), to appear, Dec. 2021.
S. Dutta Chowdhury, K. Yang, P. Nuzzo, "ReIGNN: State Register Identification Using Graph Neural Networks for Circuit Reverse Engineering," Proc. Int. Conf. Computer Aided Design (ICCAD), to appear, Nov. 2021.
Y. Hu, K. Yang, S. Nazarian, P. Nuzzo, "SANSCrypt: Sporadic-Authentication-Based Sequential Logic Encryption," in VLSI-SoC: Design Trends, Springer, pp. 255-278, Jul. 2021.
Y. Hu, K. Yang, S. D. Chowdhury and P. Nuzzo, "Risk-Aware Cost-Effective Design Methodology for Integrated Circuit Locking," Proc. IEEE/ACM Design Automation and Testing in Europe Conf. (DATE), pp. 1182-1185, Feb. 2021.
Y. Hu, K. Yang, S. Nazarian and P. Nuzzo, "SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme," Proc. IFIP/IEEE Int. Conf. Very Large-Scale Integration (VLSI-SoC), pp. 129-134, Oct. 2020.