Luca Piccolboni
Ph.D. Student in Computer Science
Columbia University, New York, NY


Please send an email to 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.