SYSTRON Lab
- 4 followers
- University of York, York, UK
- https://systronlab.github.io/
Pinned Loading
Repositories
- animation-of-security-protocols Public Forked from RandallYe/Animation_of_Security_Protocols
This repository contains our work to use formally verified animation (automatically generated from Isabelle/HOL) to verify security protocols.
SystronLab/animation-of-security-protocols’s past year of commit activity - srsRAN-Quectel Public
SystronLab/srsRAN-Quectel’s past year of commit activity - systronlab.github.io Public Forked from vbaraku/SYSTRON
We are the System and Network Interoperability (SYSTRON) Lab, exploring distributed systems, interoperability, and network technologies.
SystronLab/systronlab.github.io’s past year of commit activity - who-actually-is Public Forked from LevettJ/who-actually-is
WHOactuallyIS? A tool returns information about the owners and users of Internet resources, rather than simply registration information.
SystronLab/who-actually-is’s past year of commit activity - srsRAN-USRPs-COTS Public
SystronLab/srsRAN-USRPs-COTS’s past year of commit activity - osMUD-UI Public Forked from PeterG184/osMUD-UI
A tool to manage and edit Manufacturer Usage Description (MUD) files from the browser
SystronLab/osMUD-UI’s past year of commit activity - tight_bound_leakage Public Forked from eqclabs/tight_bound_leakage
A script for calculation of the leakage term in (finite-size) QKD using non-binary LDPC codes
SystronLab/tight_bound_leakage’s past year of commit activity - srsRAN-USRPs-OTA Public
This repository provides steps for setting up a 5G testbed using USRP devices with srsRAN, covering firmware setup and various network configurations, including two-machine setups and split-8 architecture with COTS UEs.
SystronLab/srsRAN-USRPs-OTA’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…