Author of the publication

Design for Assurance: Employing Functional Verification Tools for Thwarting Hardware Trojan Threat in 3PIPs.

, , , , , and . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Method for Detecting Surface Defects in Insulators Based on RPCA., , , and . ICIG (2), volume 10667 of Lecture Notes in Computer Science, page 163-173. Springer, (2017)Formal Analysis of Dynamic Domain Establishment Protocol in Cloud Logging Service., and . EWDC, volume 7869 of Lecture Notes in Computer Science, page 24-38. Springer, (2013)An Buffering Optimization Algorithm for Cooperative Mobile Service., , , , , and . SmartCom, volume 10135 of Lecture Notes in Computer Science, page 86-94. Springer, (2016)Vague Event-Based Related News Detection., , and . WISE, volume 3306 of Lecture Notes in Computer Science, page 153-158. Springer, (2004)WarpMap: Accurate and Efficient Indoor Location by Dynamic Warping in Sequence-Type Radio-Map., , , , , and . SECON, page 1-9. IEEE, (2016)Implementation of 3-D RDPAD Algorithm on Follicle Images Based CUDA., , , , and . ICIC (2), volume 9226 of Lecture Notes in Computer Science, page 177-184. Springer, (2015)Stability analysis of impulsive stochastic delayed differential systems with unbounded delays., and . Syst. Control. Lett., (2020)Parameter identification based on artificial intelligence optimization and distributed tracking control of fractional-order multi-agent systems. (Identification de paramètre basée sur l'optimisation de l'intelligence artificielle et le contrôle de suivi distribué des systèmes multi-agents d'ordre fractionnaire).. École centrale de Lille, Villeneuve-d'Ascq, France, (2019)Influence of the Research-Oriented President's Competency on Research Performance in University of China - Based on the Results of Empirical Research., , , and . ISSI, Bogaziçi University Printhouse, (2015)Provable Benefit of Orthogonal Initialization in Optimizing Deep Linear Networks., , and . ICLR, OpenReview.net, (2020)