OVE gathers git repositories and the knowledge how to build and test them
☆20May 5, 2026Updated 3 weeks ago
Alternatives and similar repositories for ove
Users that are interested in ove are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WASP Research Arena for Software☆12Jun 10, 2022Updated 3 years ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Jun 29, 2022Updated 3 years ago
- SDN project 2019 on Mininet☆13Aug 3, 2023Updated 2 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Jan 30, 2025Updated last year
- CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security☆26Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- MetaDL: Datalog analyzing Datalog, Java or any language of your choice☆16Jun 27, 2025Updated 10 months ago
- 🌱 Growing small systems in public☆42Nov 23, 2024Updated last year
- GAUSS EU project: Unmanned aerial vehicle Traffic Management (UTM) software development☆15Feb 7, 2022Updated 4 years ago
- ☆14Nov 10, 2019Updated 6 years ago
- The Chrome plugin for SafeKeeper password protection service.☆12Apr 25, 2018Updated 8 years ago
- Beacon code for the Si5351☆13Jan 30, 2019Updated 7 years ago
- Source Code for the TenTec 506 Rebel QRP Tranciever☆13Dec 30, 2014Updated 11 years ago
- GNU Radio Runtime Performance Measurement Tools☆21Nov 25, 2021Updated 4 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- OpenStack Heat templates for Clearwater deployments☆11Feb 26, 2020Updated 6 years ago
- Tutorial for creating new OOT modules for GNU Radio that leverage pyCUDA.☆25Jul 24, 2023Updated 2 years ago
- Container building stuff☆17Updated this week
- This is an example of RSA encrypt/decrypt methods running on OP-TEE.☆11Sep 6, 2018Updated 7 years ago
- scripts for bill of materials generation from kicad☆13Aug 22, 2023Updated 2 years ago
- CoRIM and CoMID manipulation library☆22Updated this week
- Collection of ZKP-related cryptographic primitives☆12Oct 1, 2021Updated 4 years ago
- VS Code extension for package management. Supports PKGBUILDs in the Arch User Repository (AUR).☆11Oct 9, 2024Updated last year
- Project to build and test seL4 for many different platforms☆17May 10, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Vaisala Radiosonde Telemetry Tool☆16Oct 27, 2016Updated 9 years ago
- A 2x6 matrix antenna switch for HF HAM radio☆14Mar 22, 2026Updated 2 months ago
- The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…☆16Aug 3, 2022Updated 3 years ago
- Python libusb UGSimple GPIB Driver☆13Jun 22, 2024Updated last year
- tar.xz plugin for decompress☆13Jun 12, 2021Updated 4 years ago
- Maximum power point tracking solar charge controller☆17Nov 3, 2016Updated 9 years ago
- Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARK…☆22Jun 27, 2025Updated 10 months ago
- A tool which allows an attacker to change the time on a GPS-enabled NTP server by using spoofed NEMA sentences☆26Jun 24, 2017Updated 8 years ago
- ☆14Nov 23, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Miscellaneous materials related to the "attested TLS" proof-of-concept☆23Oct 25, 2023Updated 2 years ago
- This project is aimed to create a trustClient(use TrustZone on ARM) and a server program to verify whether a executable program on Raspbe…☆17Mar 15, 2024Updated 2 years ago
- Remote attestation for Trusted and Confidential Computing platforms (TPM, AMD SEV-SNP, Intel SGX/TDX)☆23May 19, 2026Updated last week
- For paper Container-IMA: https://www.usenix.org/system/files/raid2019-luo.pdf☆12Mar 12, 2020Updated 6 years ago
- On the TOCTOU Problem in Remote Attestation☆15Jun 4, 2024Updated last year
- AVENS is part of a research project that aims to provide a simulation test bed for virtual experiments of network coverage and connectivi…☆13Dec 20, 2016Updated 9 years ago
- Artifacts and documentation of the TOPS journal paper End-to-End Security for Distributed Event-driven Enclave Applications on Heterogene…☆12Jan 4, 2024Updated 2 years ago