Research

You can find all of my publications on Google Scholar.

NOTE: This directory may contains links or pdf/ps files of articles that may be covered by copyright. You may browse the articles at your convenience, in the same spirit as you may read a journal or a proceedings article in a public library. Retrieving, copying, or distributing these files may violate copyright protection laws.

Journal Articles

Ghosh, Pallabi; Lee, Gijung; Zhu, Mengdi; Dizon-Paradis, Olivia P.; Botero, Ulbert J.; Woodard, Damon L.; Forte, Domenic

MaGNIFIES: Manageable GAN Image Augmentation Framework for Inspection of Electronic Systems Journal Article

In: Journal of Hardware and Systems Security, vol. 8, no. 1, pp. 44–59, 2024, ISSN: 2509-3436.

Links | BibTeX

Koblah, David S.; Botero, Ulbert J.; Costello, Sean P.; Dizon-Paradis, Olivia P.; Ganji, Fatemeh; Woodard, Damon L.; Forte, Domenic

A Fast Object Detection-Based Framework for Via Modeling on PCB X-Ray CT Images Journal Article

In: ACM Journal on Emerging Technologies in Computing Systems, vol. 19, no. 4, pp. 1–20, 2023, ISSN: 1550-4840.

Links | BibTeX

Koblah, David S.; Dizon-Paradis, Olivia P.; Schubeck, Justin; Botero, Ulbert J.; Woodard, Damon L.; Forte, Domenic

A Comprehensive Taxonomy of Visual Printed Circuit Board Defects Journal Article

In: Journal of Hardware and Systems Security, vol. 7, no. 2–3, pp. 25–43, 2023, ISSN: 2509-3436.

Links | BibTeX

Jessurun, Nathan T.; Dizon-Paradis, Olivia P.; Harrison, Jacob; Ghosh, Shajib; Tehranipoor, Mark M.; Woodard, Damon L.; Asadizanjani, Navid

FPIC: A Novel Semantic Dataset for Optical PCB Assurance Journal Article

In: ACM Journal on Emerging Technologies in Computing Systems, vol. 19, no. 2, pp. 1–21, 2023, ISSN: 1550-4840.

Links | BibTeX

Koblah, David S.; Acharya, Rabin; Capecci, Daniel E.; Dizon-Paradis, Olivia P.; Tajik, Shahin; Ganji, Fatemeh; Woodard, Damon L.; Forte, Domenic

A Survey and Perspective on Artificial Intelligence for Security-Aware Electronic Design Automation Journal Article

In: ACM Transactions on Design Automation of Electronic Systems, vol. 28, no. 2, pp. 1–57, 2023, ISSN: 1557-7309.

Links | BibTeX

Wilson, Ronald; Dizon-Paradis, Olivia P.; Forte, Domenic; Woodard, Damon L.

SECURE: A Segmentation Quality Evaluation Metric on SEM Images for Reverse Engineering on Integrated Circuits Journal Article

In: IEEE Access, vol. 11, pp. 137798–137809, 2023, ISSN: 2169-3536.

Links | BibTeX

Sathiaseelan, Mukhil Azhagan Mallaiyan; Dizon-Paradis, Olivia P.; Taheri, Shayan; Asadizanjani, Navid

Why Is Deep Learning Challenging for Printed Circuit Board (PCB) Component Recognition and How Can We Address It? Journal Article

In: Cryptography, vol. 5, no. 1, pp. 9, 2021, ISSN: 2410-387X.

Links | BibTeX

Mehta, Dhwani; Lu, Hangwei; Dizon-Paradis, Olivia P.; Sathiaseelan, Mukhil Azhagan Mallaiyan; Rahman, M. Tanjidur; Iskander, Yousef; Chawla, Praveen; Woodard, Damon L.; Tehranipoor, Mark M.; Asadizanjani, Navid

The Big Hack Explained: Detection and Prevention of PCB Supply Chain Implants Journal Article

In: ACM Journal on Emerging Technologies in Computing Systems, vol. 16, no. 4, pp. 1–25, 2020, ISSN: 1550-4840.

Links | BibTeX

Jessurun, Nathan T.; Dizon-Paradis, Olivia P.; Roberts, Alexandra; Asadizanjani, Navid

Component Detection and Evaluation Framework (CDEF): A Semantic Annotation Tool Journal Article

In: Microscopy and Microanalysis, vol. 26, no. S2, pp. 1470–1474, 2020, ISSN: 1435-8115.

Links | BibTeX

Varshney, Nitin; Shen, Haoting; Dizon-Paradis, Olivia P.; Asadizanjani, Navid

He-ion Beam Imaging for Accurate Hardware Trojan Detection Journal Article

In: Microscopy and Microanalysis, vol. 26, no. S2, pp. 188–190, 2020, ISSN: 1435-8115.

Links | BibTeX

Book Chapters

Dizon-Paradis, Olivia P.; Capecci, Daniel E.; Pan, Tianyu Bell; Fu, Rachel J. C.; Woodard, Damon L.

Machine Learning in Marketing Research Book Chapter

In: Artificial Intelligence, Machine Learning, and Robot Applications in Hospitality Businesses, Chapter 4, Kendall Hunt, 1, 2024, ISBN: 9798765783818.

BibTeX

Wilson, Ronald; Dizon-Paradis, Olivia P.; Capecci, Daniel E.; Bhandarkar, Avanti; Fu, Rachel J. C.; Woodard, Damon L.

Methods and Theories in AI and ML Approaches Book Chapter

In: Artificial Intelligence, Machine Learning, and Robot Applications in Hospitality Businesses, Chapter 13, Kendall Hunt, 1, 2024, ISBN: 9798765783818.

BibTeX

Proceedings Articles

Wu, Jiaming; Dizon-Paradis, Olivia P.; Rahman, Sazadur; Woodard, Damon L.; Forte, Domenic

DOSCrack: Deobfuscation Using Oracle-Guided Symbolic Execution and Clustering of Binary Security Keys Proceedings Article

In: IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2024.

Links | BibTeX

Jessurun, Nathan T.; Capecci, Daniel E.; Dizon-Paradis, Olivia P.; Woodard, Damon L.; Asadizanjani, Navid

Semi-Supervised Semantic Annotator (S3A): Toward Efficient Semantic Labeling Proceedings Article

In: Python in Science Conference (SciPy), 2022, ISSN: 2575-9752.

Links | BibTeX

Pasunuri, Abinai; Jessurun, Nathan T.; Dizon-Paradis, Olivia P.; Asadizanjani, Navid

A Comparison of Neural Networks for PCB Component Segmentation Proceedings Article

In: IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2021.

Links | BibTeX

Sathiaseelan, Mukhil Azhagan Mallaiyan; Dizon-Paradis, Olivia P.; Rai, Rajat; Pandurangi, Suryaprakash Vasudev; Vutukuru, Manoj Yasaswi; Taheri, Shayan; Asadizanjani, Navid

Logo Classification and Data Augmentation Techniques for PCB Assurance and Counterfeit Detection Proceedings Article

In: International Symposium for Testing and Failure Analysis (ISTFA), ASM International, 2021, ISSN: 0890-1740.

Links | BibTeX

Dizon-Paradis, Olivia P.; Capecci, Daniel E.; Jessurun, Nathan T.; Woodard, Damon L.; Tehranipoor, Mark M.; Asadizanjani, Navid

Framework for Automatic PCB Marking Detection and Recognition for Hardware Assurance Proceedings Article

In: Government Microcircuit Applications and Critical Technology Conference (GOMACTech), 2021.

Links | BibTeX

Jessurun, Nathan T.; Dizon-Paradis, Olivia P.; Tehranipoor, Mark M.; Asadizanjani, Navid

SHADE: Automated Refinement of PCB Component Estimates Using Detected Shadows Proceedings Article

In: IEEE Physical Assurance and Inspection of Electronics (PAINE), 2020.

Links | BibTeX

Dizon-Paradis, Olivia P.; Jessurun, Nathan T.; Tehranipoor, Mark M.; Asadizanjani, Navid

Color Normalization for Robust Automatic Bill of Materials Generation and Visual Inspection of PCBs Proceedings Article

In: International Symposium for Testing and Failure Analysis (ISTFA), ASM International, 2020, ISSN: 0890-1740.

Links | BibTeX

Dizon-Paradis, Olivia P.; Varshney, Nitin; Rahman, M. Tanjidur; Strizich, Michael; Shen, Haoting; Asadizanjani, Navid

In-Situ Thickness Measurement of Die Silicon Using Voltage Imaging for Hardware Assurance Proceedings Article

In: Government Microcircuit Applications and Critical Technology Conference (GOMACTech), 2020.

Links | BibTeX

Vashistha, Nidish; Rahman, M. Tanjidur; Dizon-Paradis, Olivia P.; Asadizanjani, Navid

Is Backside the New Backdoor in Modern SoCs? Proceedings Article

In: IEEE International Test Conference (ITC), 2019.

Links | BibTeX

Miscellaneous

Dizon-Paradis, Olivia P.; Wilson, Ronald; Capecci, Daniel E.; Forte, Domenic; Woodard, Damon L.

Hands-On Introduction to AI in Hardware Security: IC Reverse Engineering using Image Processing, Computer Vision, and Machine Learning Miscellaneous

2023, (University of Florida Disclosure T19288).

BibTeX

Asadizanjani, Navid; Jessurun, Nathan T.; Ghosh, Shajib; Tehranipoor, Mark M.; Woodard, Damon L.; Dizon-Paradis, Olivia P.; Harrison, Jacob

PCB Optical Database Miscellaneous

2023, (University of Florida Disclosure T19074).

BibTeX

Asadizanjani, Navid; Tehranipoor, Mark M.; Dizon-Paradis, Olivia P.; Varshney, Nitin

He-Ion Imaging for Accurate Trojan Scanning Miscellaneous

2020, (University of Florida Disclosure T18084).

BibTeX

Patents

Asadizanjani, Navid; Jessurun, Nathan T.; Tehranipoor, Mark M.; Dizon-Paradis, Olivia P.

Techniques for printed circuit board component detection Patent

U.S. Patent App. No. 17/168,529, 2021, (U.S. Patent No. 11,520,967, issued Dec. 2022).

Links | BibTeX

Tehranipoor, Mark M.; Asadizanjani, Navid; Dizon-Paradis, Olivia P.; Varshney, Nitin

Hardware deprocessing using voltage imaging for hardware assurance Patent

U.S. Patent App. No. 17/167,381, 2021, (U.S. Patent No. 11,604,912, issued Mar. 2023).

Links | BibTeX

PhD Theses

Dizon-Paradis, Olivia P.

Framework for Applying Imitation Learning Methods on Reinforcement Learning Demonstrations PhD Thesis

University of Florida, 2024, (Embargoed access for two years).

BibTeX

Unpublished

Dizon-Paradis, Olivia P.; Wormald, Stephen E.; Capecci, Daniel E.; Bhandarkar, Avanti; Woodard, Damon L.

Investigating the Practicality of Existing Reinforcement Learning Algorithms: A Performance Comparison Unpublished

2023, (DOI 10.36227/techrxiv.23739099.v1).

Links | BibTeX

Mehta, Dhwani; True, John; Dizon-Paradis, Olivia P.; Jessurun, Nathan T.; Woodard, Damon L.; Asadizanjani, Navid; Tehranipoor, Mark M.

FICS PCB X-ray: A dataset for automated printed circuit board inter-layers inspection Unpublished

Cryptology ePrint Archive, Paper 2022/924, 2022, (Paper No. 2022/924).

Links | BibTeX

Lu, Hangwei; Mehta, Dhwani; Dizon-Paradis, Olivia P.; Asadizanjani, Navid; Tehranipoor, Mark M.; Woodard, Damon L.

FICS-PCB: A Multi-Modal Image Dataset for Automated Printed Circuit Board Visual Inspection Unpublished

Cryptology ePrint Archive, Paper 2020/366, 2020, (Paper No. 2020/366).

Links | BibTeX