Updates

Updates

2023 —————————–

Journal - Free education icons[September, 2023] Our paper entitled “Heterogeneous Integration Supply Chain Integrity through Blockchain and CHSM” has been accepted in ACM Transactions on Design Automation of Electronic Systems (ACM TODAES).

Journal - Free education icons[September, 2023] Our paper entitled “SiPGuard: Run-time System-in-Package Security Monitoring via Power Noise Variation” has been accepted in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE TCAD).

Presentation Icon, Transparent Presentation.PNG Images & Vector - FreeIconsPNG[August, 2023] Our paper entitled “FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection” has been accepted in Asia and South Pacific Design Automation Conference (ASPDAC 2024).

Presentation Icon, Transparent Presentation.PNG Images & Vector - FreeIconsPNG[July, 2023] Our paper entitled “TaintFuzzer: SoC Security Verification using Taint Inference-enabled Fuzzing” has been accepted in IEEE/ACM Int’l Conference on Computer Aided Design (ICCAD 2023).

Journal - Free education icons[June, 2023] Our paper entitled “Efficient SoC Security Monitoring: Quality Attributes and Potential Solutions” has been accepted in IEEE Design & Test.

patent" Icon - Download for free – Iconduck[April, 2023] Our technology entitled “UFM Redaction: Automation Fine-grained Redaction
Tool for building Universal Protected Hardware” has been granted a U.S. patent with the exertion of University of Florida.

Journal - Free education icons[April, 2023] Our paper entitled “Is Formal Model Checker Scalable for Security Evaluation of Logic Locking? A Semantics-based Design Space Exploration” has been accepted in IEEE Transactions on Information Forensics and Security (IEEE TIFS).

patent" Icon - Download for free – Iconduck[April, 2023] Our technology entitled “Runtime Security Monitoring of the Hardware against Fault Injection Attacks” has been granted a U.S. patent with the exertion of University of Florida.

patent" Icon - Download for free – Iconduck[April, 2023] Our technology entitled “UFM Redaction: Automation Fine-grained Redaction
Tool for building Universal Protected Hardware” has been granted a U.S. patent with the exertion of University of Florida.

Presentation Icon, Transparent Presentation.PNG Images & Vector - FreeIconsPNG

[March, 2023] Our paper entitled “Metrics-to-Methods: Decisive Reverse Engineering Metrics for Resilient Logic Locking” has been accepted in Proceedings of the Great Lakes Symposium on VLSI (GLSVLSI 2023).

Books stack of three - Free education icons[February, 2023] Our book proposal on a new futuristic book on hardware security has been accepted by Springer Link Publication, entitled as “Hardware Security- A Look into the Future“. The book will be available by mid of 2024.

Presentation Icon, Transparent Presentation.PNG Images & Vector - FreeIconsPNG

[February, 2023] Our paper entitled “PSC-Watermark: Power Side Channel Based IP Watermarking Using Clock Gates” has been accepted in The IEEE European Test Symposium (ETS 2023).

2022 —————————–

Presentation Icon, Transparent Presentation.PNG Images & Vector - FreeIconsPNG[December, 2022] Our paper entitled “FISHI: Fault Injection Detection in Secure Heterogeneous Integration via Power Noise Variation” has been accepted in IEEE 73rd Electronic Components and Technology Conference (ECTC 2023).

Award icons for free download | Freepik

[November, 2022] Our paper entitled “SoCFuzzer: SoC Vulnerability Detection using Cost Function enabled Fuzz Testing” has been nominated as the best paper award candidate in Design, Automation & Test in Europe Conference & Exhibition (DATE 2023).

Presentation Icon, Transparent Presentation.PNG Images & Vector - FreeIconsPNG[November, 2022] Our paper entitled “SheLL: Shrinking eFPGA Fabrics for Logic Locking” has been accepted in Design, Automation & Test in Europe Conference & Exhibition (DATE 2023).

Presentation Icon, Transparent Presentation.PNG Images & Vector - FreeIconsPNG[November, 2022] Our paper entitled “SoCFuzzer: SoC Vulnerability Detection using Cost Function enabled Fuzz Testing” has been accepted in Design, Automation & Test in Europe Conference & Exhibition (DATE 2023).

Presentation Icon, Transparent Presentation.PNG Images & Vector - FreeIconsPNG[August, 2022] Our paper entitled “Sharpen: Soc security verification by hardware penetration test” has been accepted in Asia and South Pacific Design Automation Conference (ASPDAC 2023).

Award icons for free download | Freepik

[May, 2022] Our paper (poster) entitled “Warm Up before Circuit De-obfuscation? An Exploration through Bounded-Model-Checkers” has been received the best paper (WiP) award in IEEE
International Symposium on Hardware Oriented Security and Trust (HOST 2022).

Books stack of three - Free education icons[April, 2022] Our book proposal on a hands-on book on intellectual property protection has been accepted by Springer Link Publication, entitled as “Understanding Logic Locking“. The book will be available by Late 2023.

Journal - Free education icons[March, 2023] We released a preprint of our journal paper on future of verification and validation, entitled “Fuzz, Penetration, and AI Testing for SoC Security Verification: Challenges and Solutions”, in IACR Cryptology ePrint Archive.

Journal - Free education icons[March, 2023] We released a preprint of our deep-down survey journal paper on status of intellectual property protection (particularly logic locking), entitled “Advances in Logic Locking: Past, Present, and Prospects”, in IACR Cryptology ePrint Archive.