Quality-Preserving Legalization for Analytical Floorplanning
International Conference on Computer-Aided Design (ICCAD)
Publications
Graph Neural Network Based Initialization for Timing Driven Placement
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Physical-Aware eFPGA Redaction for Secure and Efficient Hardware IP Protection
Design, Automation & Test in Europe Conference & Exhibition (DATE)
LLA: Enhancing Security and Privacy for Generative Models with Logic-Locked Accelerators
AAAI Conference on Artificial Intelligence
RE3: Finding Refinement Relations with Relational Mapping Abstraction
62nd ACM/IEEE Design Automation Conference (DAC)
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)
Certifying Global Robustness for Deep Neural Networks
arXiv preprint arXiv:2405.20556
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)