If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where S.E. Verwer is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 4 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Beyond Labeling: Using Clustering to Build Network Behavioral Profiles of Malware Families

Nadeem, A., Hammerschmidt, C. A., Hernandez Ganan, C. & Verwer, S. E., 10 Aug 2020, (Accepted/In press) Malware Analysis using Artificial Intelligence and Deep Learning. Springer

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

File
  • 3 Downloads (Pure)

    Hybrid connection and host clustering for community detection in spatial-temporal network data

    Roeling, M. P., Nadeem, A. & Verwer, S. E., 14 Sep 2020, (Accepted/In press) European Conference on Machine Learning: Machine Learning for Cybersecurity.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
  • 5 Downloads (Pure)

    The Robust Malware Detection Challenge and Greedy Random Accelerated Multi-Bit Search

    Verwer, S. E., Nadeem, A., Hammerschmidt, C. A., Bliek, L., Al-Dujaili, A. & O’Reilly, U-M., 24 Aug 2020, (Accepted/In press) WORKSHOP ON ARTIFICIAL INTELLIGENCE AND SECURITY. Association for Computing Machinery (ACM)

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
  • Using datasets from industrial control systems for cyber security research and education

    Lin, Q., Verwer, S., Kooij, R. & Mathur, A., 2020, Critical Information Infrastructures Security - 14th International Conference, CRITIS 2019, Revised Selected Papers. Nadjm-Tehrani, S. (ed.). Springer, p. 122-133 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11777 LNCS).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  • Learning optimal classification trees using a binary linear program formulation

    Verwer, S. & Zhang, Y., 2019, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence . Palo ALto: Association for the Advancement of Artificial Intelligence (AAAI), Vol. 33. p. 1625-1632 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    21 Downloads (Pure)

    Activities

    • 3 Talk or presentation at a workshop, seminar, course or other meeting

    Learning Pairwise Disjoint Simple Languages from Positive Examples

    Alexis Linard (Speaker), , Rick Smetsers (Speaker), , FW Vaandrager (Speaker), , Umar Waqas (Speaker), , Joost van Pinxten (Speaker), & S.E. Verwer (Speaker)

    19 Jun 2017

    Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting

    Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms

    C.A. Hammerschmidt (Speaker), , Radu State (Speaker), & S.E. Verwer (Speaker)

    11 Aug 2017

    Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting

    File

    Anomaly Detection in a Digital Video Broadcasting System Using Timed Automata

    Xiaoran Liu (Speaker), , Q. Lin (Speaker), , S.E. Verwer (Speaker), & Dmitri Jarnikov (Speaker)

    19 Jun 2017

    Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting

    File