Hamid Bagheri

Uniting Bounded Verification and Transformer-Based Learning for Proactive IoT Security

The proliferation of Internet-of-Things (IoT) ecosystems has introduced sophisticated interaction threats that emerge from unintended coordination between multiple applications, evading traditional single-app analysis. While formal verification provides soundness guarantees for interaction threats detection, it suffers...