Simple and scalable Linux tools for verifying TPM-based remote attestations 🔬⚖️🔐⛓📏📜
☆23Aug 1, 2021Updated 4 years ago
Alternatives and similar repositories for LightVerifier
Users that are interested in LightVerifier are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Setup and operation guide for OPTIGA™ TPM backed remote attestation on a Linux system☆23Mar 19, 2025Updated last year
- On the TOCTOU Problem in Remote Attestation☆15Jun 4, 2024Updated last year
- Proof-of-concept implementation of the "Challenge/Response Remote Attestation" interaction model of the IETF RATS Reference Interaction M…☆37May 7, 2026Updated 2 weeks ago
- ☆11Sep 23, 2025Updated 8 months ago
- OCaml-bitcoin is a library offering an OCaml interface to the official Bitcoin client API☆24Nov 29, 2023Updated 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.
- ⛔️ DEPRECATED☆39Mar 22, 2021Updated 5 years ago
- KnowMAN: Weakly Supervised Multinomial Adversarial Networks☆12Nov 9, 2021Updated 4 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Jan 6, 2022Updated 4 years ago
- ☆18Nov 5, 2022Updated 3 years ago
- ☆11Mar 20, 2017Updated 9 years ago
- ☆12Jun 14, 2017Updated 8 years ago
- Notes on entropy and complexity☆21Mar 7, 2022Updated 4 years ago
- Implementation of the CL signature scheme☆24Nov 10, 2016Updated 9 years ago
- Remote attestation framework for Fortanix EDP☆22Jan 11, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Repo for Bigdata 2019 paper☆14Sep 28, 2021Updated 4 years ago
- Survey on Robust Weakly Supervised Learning☆13Dec 23, 2021Updated 4 years ago
- A C implementation of elliptic-curve-based Direct Anonymous Attestation (DAA) signatures. Created to support the Xaptum Edge Network Fabr…☆45Aug 13, 2021Updated 4 years ago
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆16Nov 10, 2020Updated 5 years ago
- Intel® project for Graphene-SGX Golang™ support and enhancement collaborated with Alibaba® Cloud Security Team -- https://www.alibabaclo…☆19Nov 21, 2024Updated last year
- ☆14Nov 2, 2023Updated 2 years ago
- The BornHack 2017 Badge☆10Aug 4, 2018Updated 7 years ago
- 10gen M101J courseware☆15Apr 15, 2013Updated 13 years ago
- Fuzzer for the Mac Kernel☆18Jan 3, 2013Updated 13 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An experiment in fingerprint-free encrypted messaging☆34Jun 1, 2015Updated 10 years ago
- Simple supervisor to run daemons☆16Oct 30, 2024Updated last year
- Demo: OS sandboxing for unsafe code in Rust☆13Mar 10, 2015Updated 11 years ago
- BYOD TNC Database Management Tool☆22Aug 18, 2025Updated 9 months ago
- This is source code for both server (hl.dll) and client (client.dll) for creating a mod for Half-Life. No changes to the original game lo…☆10Oct 26, 2025Updated 6 months ago
- Python wrapper for libstapsdt☆14Jun 20, 2023Updated 2 years ago
- Repository is intended to provide patches and rpm specs with experimental features to run under the Qubes OS.☆25Mar 12, 2021Updated 5 years ago
- A python GTK implementation of textsecure.☆18Jun 30, 2014Updated 11 years ago
- Trusty Dependency Risk Action☆10Feb 12, 2025Updated last year
- 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.
- GUI for SymbiYosys☆17Oct 13, 2025Updated 7 months ago
- ☆11Nov 11, 2022Updated 3 years ago
- Coreboot Builder☆16Jun 1, 2017Updated 8 years ago
- Exokernel/framework intended to ease the development of pure user space OS kernels☆21Dec 15, 2023Updated 2 years ago
- Present a MySQL database as a filesystem under FUSE☆17Feb 3, 2009Updated 17 years ago
- ☆42Dec 14, 2024Updated last year
- ☆21May 20, 2022Updated 4 years ago