Skip to content
Change the repository type filter

All

    Repositories list

    • We are the System and Network Interoperability (SYSTRON) Lab, exploring distributed systems, interoperability, and network technologies.
      SCSS
      2100Updated Dec 19, 2024Dec 19, 2024
    • osMUD-UI

      Public
      A tool to manage and edit Manufacturer Usage Description (MUD) files from the browser
      TypeScript
      2010Updated Nov 27, 2024Nov 27, 2024
    • Repository for the Thread Edge Testbed located in the SAS (Systron) Laboratory.
      Python
      0000Updated Nov 13, 2024Nov 13, 2024
    • OntoSov

      Public
      q
      1000Updated Oct 23, 2024Oct 23, 2024
    • This repository contains PRISM models used to analyse QoS (energy efficiency and service availability) in O-RAN xApps.
      BSD 3-Clause "New" or "Revised" License
      1000Updated Oct 11, 2024Oct 11, 2024
    • This repository contains our work to use formally verified animation (automatically generated from Isabelle/HOL) to verify security protocols.
      Haskell
      BSD 3-Clause "New" or "Revised" License
      1000Updated Sep 5, 2024Sep 5, 2024
    • Battery Depletion Attack Through Packet Injection on IoT Thread Mesh Network | A practical attack on a thread-mesh network, exploiting vulnerabilities in various components of the Thread network stack.
      1000Updated Feb 21, 2024Feb 21, 2024