eMeasure Certification: Validating Logic for Electronic Clinical Quality Measure (eCQM) Reporting. - Anne Marie Smith; Ben Hamlin (AMIA, 2016)

ISIFT: extracting incremental results from SIFT. - Ben Hamlin; Ryan Feng; Wu-chi Feng (MMSys, 2018)

Quantum Security of Hash Functions and Property-Preservation of Iterated Hashing. - Ben Hamlin; Fang Song 001 (PQCrypto, 2019)

Towards a Formal Treatment of Logic Locking. - Peter A. Beerel; Marios Georgiou 001; Ben Hamlin; Alex J. Malozemoff; Pierluigi Nuzzo 002 (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022)