A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices

11 October 2022

Papers citing "A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices"

2 / 2 papers shown

Title
Avoiding Overfitting: A Survey on Regularization Methods for Convolutional Neural Networks C. F. G. Santos João Paulo Papa 72 228 0 10 Jan 2022
E-GraphSAGE: A Graph Neural Network based Intrusion Detection System for IoT Wai Weng Lo S. Layeghy Mohanad Sarhan M. Gallagher Marius Portmann 98 205 0 30 Mar 2021