Privacy Enhancement Scheme (PES) in a Blockchain-Edge Computing Environment. - Ernest Bonnah; Shiguang Ju (IEEE Access, 2020)

DecChain: A decentralized security approach in Edge Computing based on Blockchain. - Ernest Bonnah; Shiguang Ju (Future Gener. Comput. Syst., 2020)

ClaimChain: Secure Blockchain Platform for Handling Insurance Claims Processing. - Naga Ramya Bhamidipati; Varsha Vakkavanthula; George Stafford; Masrik A. Dahir; Roshan Lal Neupane; Ernest Bonnah; Songjie Wang; J. V. R. Murthy; Khaza Anuarul Hoque; Prasad Calyam (Blockchain, 2021)

Runtime Monitoring of Time Window Temporal Logic. - Ernest Bonnah; Khaza Anuarul Hoque (IEEE Robotics Autom. Lett., 2022)

QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring. - Ernest Bonnah; Khaza Anuarul Hoque (MEMOCODE, 2023)

Model Checking Time Window Temporal Logic for Hyperproperties. - Ernest Bonnah; Luan Viet Nguyen; Khaza Anuarul Hoque (MEMOCODE, 2023)

Motion Planning Using Hyperproperties for Time Window Temporal Logic. - Ernest Bonnah; Luan Viet Nguyen; Khaza Anuarul Hoque (IEEE Robotics Autom. Lett., 2023)

Efficient SMT-Based Model Checking for HyperTWTL. - Ernest Bonnah; Luan Viet Nguyen; Khaza Anuarul Hoque (ICFEM, 2024)

Formal Verification for Blockchain-based Insurance Claims Processing. - Roshan Lal Neupane; Ernest Bonnah; Bishnu Bhusal; Kiran Neupane; Khaza Anuarul Hoque; Prasad Calyam (NOMS, 2024)