.zip

This is the LVSiM simulator files
- Categories:

We have included the code of protocol verification for ProVerif (in .pv format) and Scyther (in .spdl format) in the “Supplementary Materials” (Supplementary-Materials.pdf) of the revised manuscript. Essentially, the .pdf file of the “Supplementary Materials” includes: A. The source code for the protocol verifier Scyther (in .spdl format); and B. The source code for the protocol verifier ProVerif (in .pv format).
- Categories:

This dataset is benchmark dataset we use in our research for Intrusion Detection System.
- Categories:

It is possible to construct "aerosol cytometers" based on different types of Zhulanov's laser aerosol counters | diffusion aerosol spectrometers (DAS) [1-8] and "hydrosol cytometers" based on hydrosol particle counters (adopted for ocean marine, ocean and hydrothermal conditions [9,10]).
- Categories:
These datasets were generated in a computer network environment where eXfiltration Advanced Persistent Threats were launched against a number of high-value targets.
It is the alert log of the Security Onion SIEM which aggregates alerts from network and host-based intrusion detection systems that are securing the network environment.
- Categories:

This folder contains the code and datasets necessary for performing experiments on the Steimann and Defects4J coverage matrices detailed in "Doric: Foundations for Statistical Fault Localisation". See the README.txt inside the folder for further details.
- Categories:

Supplementary material for article "An Efficient Meta-Heuristic for Multi-objective Flexible Job Shop Inverse Scheduling Problem"
- Categories:

The fifth-generation cellular networks (5G)has been proposed as a solution for the accelerating growth in data traffic. As part of 5G, millimetre-wave (mmWave) is suggested as one of the potential spectrum candidates due to the vastly available bandwidth. Accordingly, both indoor and outdoor propagation measurements on mmWave have been widely conducted over the recent years. These field measurements were heavily dependent on utilizing expensive channel-sounders and tools.
- Categories: