Remote attestation for the safeboot system
☆11Mar 10, 2022Updated 4 years ago
Alternatives and similar repositories for safeboot-attest
Users that are interested in safeboot-attest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/jejb/sbsigntools.git/ with patches for yubikey support☆10Aug 14, 2020Updated 6 years ago
- Linux kernel module to use UEFI Block IO Protocol devices. Probably not a good idea.☆88Mar 24, 2022Updated 4 years ago
- Simplified version of flashrom for installing new system firmware☆24Mar 10, 2023Updated 3 years ago
- 🔒▶🔒 Safe runtime type migrations for TypeScript☆12Jun 12, 2019Updated 7 years ago
- ☆14Jan 10, 2026Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆28Updated this week
- ☆10Apr 2, 2025Updated last year
- TPM 2.0 TSS keyfile library☆24Sep 2, 2026Updated last month
- NVD☆15Updated this week
- Early work on an embedded Linux-only flight controller for a quadcopter in Rust☆12Nov 19, 2021Updated 4 years ago
- Scripts to build the Linux kernel from a config file and initrd from a list of programs☆28Sep 10, 2025Updated last year
- ESnet SmartNIC firmware design repository.☆14Updated this week
- Leiningen plugin for non-AOT uberjars☆14Jan 25, 2026Updated 8 months ago
- Source code from my master thesis on 'A performance evaluation of rpl in contiki', presented at BTH Sweden in 2012.☆14Oct 16, 2014Updated 12 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.
- ☆14Nov 10, 2019Updated 6 years ago
- GAUSS EU project: Unmanned aerial vehicle Traffic Management (UTM) software development☆16Feb 7, 2022Updated 4 years ago
- Prototype code and helpers for the Zero-Knowledge Control-Flow Attestation (ZEKRA) protocol☆13Dec 22, 2022Updated 3 years ago
- ☆11Mar 3, 2022Updated 4 years ago
- extension runtime for i3☆11Jul 2, 2020Updated 6 years ago
- ☆10Sep 28, 2019Updated 7 years ago
- A minimal, security-focused initramfs generator for Linux systems with full disk encryption. Written in Go, Vanguard creates lightweight …☆16Sep 16, 2026Updated last month
- ☆14Dec 27, 2020Updated 5 years ago
- 工业控制系统中实时篡改TE传感器与PLC可编程逻辑控制之间的Modbus/TCP通信数据☆14Jun 17, 2019Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Find files matching .torrent files☆16Mar 20, 2023Updated 3 years ago
- Declarative infrastructure for my hobbyist datacenter.☆18Oct 2, 2026Updated 3 weeks ago
- The Chrome plugin for SafeKeeper password protection service.☆12Apr 25, 2018Updated 8 years ago
- Prevent data leakage. Guard your private information.☆19Jun 21, 2026Updated 4 months ago
- Go command-line client for Pivotal Tracker☆11Mar 24, 2022Updated 4 years ago
- WASP Research Arena for Software☆12Jun 10, 2022Updated 4 years ago
- ☆12Jun 14, 2021Updated 5 years ago
- A (discontinued) attempt at creating a Python transducer library, done as a weekend project☆12Jan 4, 2015Updated 11 years ago
- ☆13Apr 5, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A gemini server written in rust.☆13Aug 30, 2026Updated last month
- Container building stuff☆17Aug 20, 2026Updated 2 months ago
- A tool for collection of Trusted Platform Module data for the research purposes☆12Mar 31, 2021Updated 5 years ago
- Minimal LISP Compiler for x86_64☆19Feb 22, 2022Updated 4 years ago
- My configuration files☆12Jul 13, 2019Updated 7 years ago
- Collection of ZKP-related cryptographic primitives☆12Oct 1, 2021Updated 5 years ago
- Simulating Industrial IoT with IGSS SCADA and Rasberry Pi, Attacking and fixing potential vulnerabilities☆13Jun 7, 2020Updated 6 years ago