oxidecomputer / tockLinks
A secure embedded operating system for microcontrollers
☆19Updated 5 years ago
Alternatives and similar repositories for tock
Users that are interested in tock are comparing it to the libraries listed below
Sorting:
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- A Roughtime secure time sync client and server written in Rust☆133Updated 2 months ago
- An experimental implementation of nQUIC in Rust☆32Updated 7 years ago
- 25519 for Cortex-M4 microcontrollers☆66Updated last week
- Rust implementation of The Update Framework (TUF)☆181Updated this week
- Password-Authenticated Key Agreement protocols☆111Updated 5 months ago
- Bare metal Rust support for USB armory MkII devices☆60Updated 5 years ago
- A Rust library for using Linux devicemapper☆75Updated last week
- Bootstrapping Embedded Development in Rust☆55Updated 5 years ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆119Updated 2 years ago
- Board support crate for HiFive1 and LoFive boards☆75Updated last year
- Rust bindings for the FreeBSD capsicum framework☆64Updated 4 months ago
- build static rust position-independant-executables without any runtime requirements (no libc or ldso)☆42Updated 7 years ago
- RailCar: Rust implementation of the Open Containers Initiative oci-runtime☆32Updated 4 years ago
- A pure Rust implementation of the Minisign signature tool.☆102Updated 3 months ago
- ☆40Updated 4 years ago
- ☆24Updated 3 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated 2 years ago
- distributed sagas☆144Updated last week
- Proc macro attributes for Bastion runtime.☆51Updated 3 years ago
- Rust port of Tink cryptography library☆92Updated this week
- Rust library for NBD (network block device) protocol.☆26Updated last year
- Rust libraries and tools for using and generating TUF repositories☆215Updated this week
- Very fast cryptographic hashing for large messages.☆69Updated 7 months ago
- Deploy self-contained binaries from GCP Container Registry (gcr.io) as systemd service units☆32Updated 9 months ago
- Pure Rust YubiKey host-side driver for PIV-based RSA/ECC key storage + signing/encryption support☆248Updated last week
- Zero-metadata file storage☆157Updated 11 months ago
- high-performance implementations of BLAKE2b/s/bp/sp in pure Rust with dynamic SIMD☆134Updated 5 months ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆36Updated last year
- Pico Host Boot Loader☆114Updated last month