High Assurance Cryptography
☆17Oct 25, 2026Updated this week
Alternatives and similar repositories for riscv-high-assurance-cryptography
Users that are interested in riscv-high-assurance-cryptography are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Supporting code and data for the ASIACRYPT 2021 paper "Convexity of division property transitions: theory, algorithms and compact models"☆10Jul 4, 2022Updated 4 years ago
- Group administration repository for Tech: IOPMP Task Group☆13Dec 19, 2024Updated last year
- Ethereum in Rust☆14Sep 18, 2023Updated 3 years ago
- Reference implementation of RPMI specification as a library.☆18Updated this week
- RISC-V Security HC admin repo☆17Jan 7, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆11Apr 10, 2020Updated 6 years ago
- Implementation of Kravatte Encryption Suite☆15Dec 2, 2018Updated 7 years ago
- A lecture on quantum computing and symmetric-key cryptography at Chinese Academy of Sciences☆16Nov 19, 2020Updated 5 years ago
- ☆20Jan 8, 2019Updated 7 years ago
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆36Oct 15, 2026Updated 2 weeks ago
- Neural Markov Logic Networks☆13Feb 14, 2022Updated 4 years ago
- Biweekly Sync Meeting for RISC-V Software Ecosystem. Meeting time is more friendly for people living in East Asia.☆23Jul 16, 2026Updated 3 months ago
- ☆17Nov 20, 2017Updated 8 years ago
- OpenTitan FI formal verification framework☆19Aug 29, 2023Updated 3 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.
- Rust implemention of Ascon☆22Jun 22, 2026Updated 4 months ago
- A telegram bot to balance parenthesis in the world☆15Mar 30, 2026Updated 6 months ago
- PyCacheGen: A Highly Configurable Open-Source Generator for Synthesizable Caches☆18Dec 14, 2025Updated 10 months ago
- ☆19Jan 25, 2021Updated 5 years ago
- The RISC-V External Debug Security Specification☆20Oct 22, 2026Updated last week
- Memory Tagging ISA extension that can be used by software to enforce memory tag checks on memory loads and stores☆36Updated this week
- SiFive Kernel Library☆32Oct 20, 2026Updated last week
- ☆23Jun 23, 2023Updated 3 years ago
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 5 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.
- A table view component for react native.☆11May 30, 2015Updated 11 years ago
- Omniverse, unity, unrealengine4☆13Mar 1, 2018Updated 8 years ago
- ReadPi 13.56 MHz frequency based NFC Reader/Writer powered by Raspberry Pi Pico W unit. This github provides getting started guide and ot…☆14Oct 27, 2023Updated 3 years ago
- examples for programming Analog Devices ADF4350☆13May 1, 2022Updated 4 years ago
- My Curriculum Vitae and Resume☆16Jul 14, 2024Updated 2 years ago
- A Rust-based LEF and DEF file viewer☆15Mar 13, 2026Updated 7 months ago
- Graphical User Interface for remote monitoring and top-level control of UAVs.☆13Jul 31, 2025Updated last year
- Lambda Jam 2014: Roll Your Own Relational DSL☆15Feb 3, 2017Updated 9 years ago
- SIMON and SPECK, the two lightweight block ciphers designed by the researchers from NSA☆24Jul 12, 2013Updated 13 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.
- Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independe…☆19Aug 29, 2020Updated 6 years ago
- The CYC1000 is the next generation of Arrow’s FPGA IoT/Maker boards based on the latest Intel FPGA family Cyclone 10 LP.☆11Jan 27, 2022Updated 4 years ago
- ☆18Nov 29, 2018Updated 7 years ago
- JB/KK/LP/MM Kernel for Samsung Galaxy S2 I9100☆17Jan 10, 2018Updated 8 years ago
- RISC-V Worlds provides isolation in a hardware platform by constraining access to system physical addresses.☆15Aug 12, 2026Updated 2 months ago
- MILP-based Differential Attack on Round-Reduced GIFT☆19Dec 9, 2018Updated 7 years ago
- GIAnT, the Generic Implementation ANalysis Toolkit☆12Jul 4, 2018Updated 8 years ago