Ph.D. Student in Computer Science
Columbia University, New York, NY
Please send an email to firstname.lastname@example.org to receive a zip with all the experiments.
Include in your email, your name, your affiliation, and the reasons why you are interested.
If you use the tool, we would appreciate a citation to the following paper:
Piccolboni, L., Menon, A. and Pravadelli, G., "Efficient Control-Flow Subgraph Matching for Detecting Hardware Trojans in RTL Models", in ACM Transactions on Embedded Computing Systems (TECS), Proc. of ACM/IEEE CODES+ISSS, 2017.