2 papers
cs.CR2025
Outsourcing SAT-based Verification Computations in Network Security
Qi Duan, Ehab Al-Shaer
The emergence of cloud computing gives huge impact on large computations. Cloud computing platforms offer servers with large computation power to be available for customers. These…
cs.CR2025
Firewall Regulatory Networks for Autonomous Cyber Defense
Qi Duan, Ehab Al-Shaer
In this paper, we present the principles of designing new self-organising and autonomous management protocol to govern the dynamics of bio-inspired decentralized firewall architect…