Benjamin Ferrell

According to our database, Benjamin Ferrell authored at least 3 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the 28th International Symposium on High-Performance Parallel and Distributed Computing, 2019

CUDA au Coq: A Framework for Machine-validating GPU Assembly Programs.

Benjamin Ferrell, Jun Duan, Kevin W. Hamlen

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

SEISMIC: SEcure In-lined Script Monitors for Interrupting Cryptojacks.

Wenhao Wang, Benjamin Ferrell, Xiaoyang Xu, Kevin W. Hamlen, Shuang Hao

Proceedings of the Computer Security, 2018