Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models.

Robert Flood, Marco Casadio, David Aspinall, Ekaterina Komendantskaya

Browse the full SAC paper archive.