☆21May 20, 2022Updated 3 years ago
Alternatives and similar repositories for vrased
Users that are interested in vrased are comparing it to the libraries listed below
Sorting:
- TPM attestation client and server for TPM 20. and TPM 1.2, including enrollment, attestation, and a web UI.☆16Dec 30, 2025Updated 2 months ago
- Trusted Computing Architecture for Low-end Embedded Systems☆20Oct 22, 2024Updated last year
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆16Nov 10, 2020Updated 5 years ago
- TPM Remote Attestation protocol using go-tpm and gRPC☆28Dec 26, 2025Updated 2 months ago
- SCTP Load Balancer☆12Updated this week
- ☆10Oct 18, 2022Updated 3 years ago
- Template for a (PhD) thesis☆11Nov 5, 2025Updated 4 months ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- ☆12Aug 17, 2022Updated 3 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- ☆12Jan 25, 2022Updated 4 years ago
- Simple and clear sample code for Remote Attestation☆11Aug 10, 2024Updated last year
- KnowMAN: Weakly Supervised Multinomial Adversarial Networks☆12Nov 9, 2021Updated 4 years ago
- ☆12Mar 31, 2021Updated 4 years ago
- 5G-Slicer: An emulator for mobile IoT applications deployed over 5G network slices☆16Apr 28, 2022Updated 3 years ago
- Golang Command & Control Server For Managing And Remote Accessing Machines Via Web Interface☆13Apr 13, 2023Updated 2 years ago
- OpenAPI (Swagger) Specification for Software Developers, a guide to learning OpenAPI Specification for highly productive API design, docu…☆11Nov 2, 2022Updated 3 years ago
- This project process eBPF events into Prometheus metrics via a Go user-space application. A Grafana dashboard is included to visualize Ke…☆14Apr 22, 2025Updated 10 months ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated last year
- Build your own cloud virtual machine lab☆12Nov 25, 2025Updated 3 months ago
- Helm charts for SD-RAN☆10Feb 24, 2026Updated last week
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Minimalist compiler course, based on Essential of Compilation☆11Updated this week
- Open source RAN UE centric security testing software.☆14Feb 13, 2026Updated 3 weeks ago
- ☆14Mar 10, 2025Updated 11 months ago
- A P4 implementation of a 5G UPF for BMv2☆15Oct 11, 2021Updated 4 years ago
- cert-manager external issuer for integration with the Nokia NetGuard Certificate Manager (NCM) PKI system☆16Feb 7, 2026Updated 3 weeks ago
- Open5GS 5GC & UERANSIM UE / RAN Sample Configuration - Select UPF based on S-NSSAI☆13Apr 1, 2024Updated last year
- An agda2hs-compatible library for well-scoped syntax☆11Nov 6, 2025Updated 4 months ago
- Bulk delete Tweets you have liked on Twitter!☆13Aug 14, 2023Updated 2 years ago
- Computer Modern web fonts with public CDN☆15Mar 11, 2025Updated 11 months ago
- being an implementation of the calculus of constructions☆17Mar 9, 2023Updated 2 years ago
- Resillent Control-Flow Attestation☆13Sep 30, 2021Updated 4 years ago
- Client extension for interacting with a use GTP proto of your k6 test.☆10Feb 26, 2026Updated last week
- Coverage simulator for 5G NR using multiple path loss modeling techniques.☆15Oct 1, 2023Updated 2 years ago
- This repository contains code and data for testing the compliance of Automated Frequency Coordinator (AFC) software. The AFC is defined b…☆18Feb 20, 2026Updated last week
- ☆15Oct 31, 2023Updated 2 years ago
- 5G Media Streaming - Application Function☆16Feb 13, 2026Updated 3 weeks ago
- ☆20Oct 24, 2024Updated last year