Logic Locking Conquest 2021

Luca Collini is a Ph.D. candidate at New York University (NYU) and an affiliated member of the NYU Center for Cyber Security . He received his M.Sc. in Computer Science and Engineering from Politecnico di Milano in 2021 (summa cum laude) along with the Honours Programme seal, which is a recognition for top-level students in the Computer Science program. His research interests include Electronics Design Automation, Intellectual Property (IP) protection and System-on-Chip (SoC) security, with particular emphasis on high-level methods to address these challenges.

Animesh Basak Chowdhury is a Ph.D. candidate in Electrical and Computer Engineering at the NYU Tandon School of Engineering, where he works with Drs. Ramesh Karri and Siddharth Garg on projects involving machine learning for chip design, and secure Electronics Design Automation (EDA). Prior to joining the Ph.D. program at Tandon in 2019, he completed an M.Tech. in Computer Science at the Indian Statistical Institute in Kolkata, and worked for three years as a researcher at the Tata Research Development and Design Centre (TRDDC) in Pune, India.

Lilas Alrahis received the M.Sc. degree and the Ph.D. degree in Electrical and Computer Engineering from Khalifa University, UAE, in 2016 and 2021, respectively. She is currently a Postdoctoral Associate with the Design for Excellence Lab, headed by Prof. Ozgur Sinanoglu, in the Division of Engineering, at the New York University Abu Dhabi (NYUAD), UAE. Her current research interests include Hardware Security, Design-for-Trust, Logic Locking, Applied Machine Learning, and Digital Logic Design. Dr. Alrahis is currently serving as Associate Editor of the Integration, the VLSI Journal.

Benjamin is an Assistant Professor at the University of Calgary. He was awarded BE(Hons) and Ph.D. degrees in Computer Systems Engineering from the University of Auckland, New Zealand, in 2014 and 2019, respectively. His current research interests include security and its implications on embedded systems, digital system design, and more recently, machine learning in CAD.