5 citations · 12 across the 3 of their papers we have counts for
5 papers
Constraints Satisfiability Driven Reinforcement Learning for Autonomous Cyber Defense
Ashutosh Dutta, Ehab Al-Shaer, Samrat Chatterjee
With the increasing system complexity and attack sophistication, the necessity of autonomous cyber defense becomes vivid for cyber and cyber-physical systems (CPSs). Many existing…
V2W-BERT: A Framework for Effective Hierarchical Multiclass Classification of Software Vulnerabilities
Siddhartha Shankar Das, Edoardo Serra, Mahantesh Halappanavar +2
Weaknesses in computer systems such as faults, bugs and errors in the architecture, design or implementation of software provide vulnerabilities that can be exploited by attackers…
The Panacea Threat Intelligence and Active Defense Platform
Adam Dalton, Ehsan Aghaei, Ehab Al-Shaer +13
We describe Panacea, a system that supports natural language processing (NLP) components for active defenses against social engineering attacks. We deploy a pipeline of human langu…
A Formal Approach for Efficient Navigation Management of Hybrid Electric Vehicles on Long Trips
Mohammad Ashiqur Rahman, Md Hasan Shahriar, Ehab Al-Shaer +1
Plug-in Hybrid Electric Vehicles (PHEVs) are gaining popularity due to their economic efficiency as well as their contribution to green management. PHEVs allow the driver to use el…
IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems
Abdullah Al Farooq, Ehab Al-Shaer, Thomas Moyer +1
Internet of Things (IoT) has become a common paradigm for different domains such as health care, transportation infrastructure, smart home, smart shopping, and e-commerce. With its…