☆16Apr 24, 2026Updated last month
Alternatives and similar repositories for secGear
Users that are interested in secGear are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆50Mar 13, 2024Updated 2 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆16Dec 9, 2020Updated 5 years ago
- Resillent Control-Flow Attestation☆13Sep 30, 2021Updated 4 years ago
- Linux kernel source tree☆44Apr 17, 2026Updated last month
- -☆11Dec 18, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- some notes for how to build projects into a single LLVM bitcode file.☆18Jan 16, 2019Updated 7 years ago
- GPS control and configuration for U-Blox GPS on Raspberry Pi 3B...☆14Nov 12, 2017Updated 8 years ago
- OpenSSL library for SGX application☆23Jun 20, 2022Updated 3 years ago
- Tools for testing kernel ciphers and hash algorithm☆15Apr 27, 2023Updated 3 years ago
- A fast, efficient on-disk/in-memory database with many different kind of data structures.☆27Oct 25, 2014Updated 11 years ago
- A collection of command-line tools based on Dyninst☆18Jun 3, 2021Updated 4 years ago
- ☆24Mar 27, 2026Updated 2 months ago
- The Cryspen HACL Distribution☆19Apr 20, 2025Updated last year
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆17May 13, 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.
- Lightweight window manager for emacs☆12Aug 17, 2015Updated 10 years ago
- Provider library - a library of small helpers. These may or may not become part of OpenSSL at some point☆12May 15, 2025Updated last year
- Repository to reproduce analyses from manuscript titled "Noninvasive blood tests for fetal development predict gestational age and preter…☆11May 13, 2023Updated 3 years ago
- P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF☆11May 20, 2024Updated 2 years ago
- An architecture module for Binary Ninja to support msp430☆18Aug 23, 2024Updated last year
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆19Feb 10, 2025Updated last year
- OBSOLETE: Standardized way of making distributed backups of some secret using Shamir secret sharing technique☆12Aug 3, 2019Updated 6 years ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆13Apr 8, 2024Updated 2 years ago
- ☆27Aug 28, 2024Updated last year
- 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.
- This project provides a header file which contains wrapper macros for the __builtin_load_no_speculate builtin function defined at https:/…☆45May 8, 2018Updated 8 years ago
- First practical showcase for leaking secret encryption keys from a secure SGX enclave.☆20Mar 21, 2017Updated 9 years ago
- An XML/JSON RPC library for C++11☆21Sep 13, 2015Updated 10 years ago
- python 爬虫 煎蛋 妹子☆20Feb 17, 2017Updated 9 years ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Oct 19, 2022Updated 3 years ago
- Common protocol for generating ZK proofs for blocks on different blockchains.☆10Feb 9, 2024Updated 2 years ago
- StealthDB: an encrypted database from intel sgx with small trusted computing base.☆61Jul 19, 2021Updated 4 years ago
- Automatic inline image toggling as the cursor enters and exits them☆17Apr 18, 2023Updated 3 years ago
- ☆21Oct 9, 2020Updated 5 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.
- ☆11Feb 11, 2022Updated 4 years ago
- 基于铜锁密码库开发的商用密码工具箱桌面应用程序☆12Feb 5, 2025Updated last year
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated last year
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆19Oct 14, 2024Updated last year
- Apache Teaclave (incubating) Java TEE SDK is an open source universal confidential computing framework, making java computation on privac…☆64May 15, 2026Updated last week
- ESP32 ROM blob to ELF convertor☆22May 9, 2018Updated 8 years ago
- ☆12May 22, 2023Updated 3 years ago