SEISMIC: SEcure In-lined Script Monitors for Interrupting Cryptojacks. - Wenhao Wang; Benjamin Ferrell; Xiaoyang Xu 002; Kevin W. Hamlen; Shuang Hao 001 (ESORICS (2), 2018)

CUDA au Coq: A Framework for Machine-validating GPU Assembly Programs. - Benjamin Ferrell; Jun Duan; Kevin W. Hamlen (DATE, 2019)

Better Late Than Never: An n-Variant Framework of Verification for Java Source Code on CPU x GPU Hybrid Platform. - Jun Duan; Kevin W. Hamlen; Benjamin Ferrell (HPDC, 2019)