Benjamin Ferrell

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 3

Top Topics

Cryptographic Protocols

Parallel Implementation

Main Contribution

Top Venues

Publications

Benjamin Ferrell, Jun Duan, Kevin W. Hamlen
CUDA au Coq: A Framework for Machine-validating GPU Assembly Programs. DATE (2019)
Jun Duan, Kevin W. Hamlen, Benjamin Ferrell
Better Late Than Never: An n-Variant Framework of Verification for Java Source Code on CPU x GPU Hybrid Platform. HPDC (2019)
Wenhao Wang, Benjamin Ferrell, Xiaoyang Xu, Kevin W. Hamlen, Shuang Hao
SEISMIC: SEcure In-lined Script Monitors for Interrupting Cryptojacks. ESORICS (2) (2018)