1. Secure Outsourcing of Boolean Formulas Truth Assignment Problem;2023 IEEE Conference on Dependable and Secure Computing (DSC);2023-11-07
2. CENSOR: Privacy-preserving Obfuscation for Outsourcing SAT formulas;2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2023-11-01
3. New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization;Tools and Algorithms for the Construction and Analysis of Systems;2023
4. GRCircuit: functional macro blocks circuit recovery tool;Journal of Computational Electronics;2022-09-24
5. Synthesizing Skolem Functions: A View from Theory and Practice;Handbook of Logical Thought in India;2022