RE3: Finding Refinement Relations with Relational Mapping Abstraction
62nd ACM/IEEE Design Automation Conference (DAC)
Publications
DE2: SAT-Based Sequential Logic Decryption with a Functional Description
2025 Design, Automation & Test in Europe Conference (DATE)
Multimodal Bayesian Networks for Automatic Skin Disease Diagnosis
2024 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
Property Guided Secure Configuration Space Search
27th Information Security Conference (ISC)
Evaluating the Security of Logic Locking on Deep Neural Networks
61th ACM/IEEE Design Automation Conference (DAC)
SE3: Sequential Equivalence Checking for Non-Cycle-Accurate Design Transformations â€
60th ACM/IEEE Design Automation Conference (DAC)
A Combination of DNN and BN for Automatic Skin Disease Diagnosis
IEEE 20th International Symposium on Biomedical Imaging (ISBI)
ObfusLock: An Efficient Obfuscated Locking Framework for Circuit IP Protectionâ€
Design, Automation & Test in Europe Conference & Exhibition (DATE)