Cerebion Rivet
Post-quantum vulnerability detection platform
What it does
Quantum computers will break RSA, ECC, and Diffie-Hellman, while weakening symmetric cryptography and hashing algorithms like AES and SHA-2. Adversaries are already harvesting encrypted data today to decrypt once quantum computers become practical. Cerebion Rivet helps organizations identify quantum-vulnerable cryptography across source code, certificates, network infrastructure, and binaries from a single platform with recommended NIST PQC replacements. Supports fully offline analysis.
Does a similar job
all alternatives →- FIfilippo.io/mlkem768 – Post-Quantum Cryptography for the Go Ecosystem2024 · words.filippo.io · ▲315
- RORivet – open-source AI Agent dev env with real-world applications2023 · rivet.ironcladapp.com · ▲176
We just launched Rivet, the open-source visual AI programming environment! We built Rivet, because we were building complex AI Agent applications at Ironclad. It unlocked our abilities here, and we're excited to make available to the entire community. Backstory: A few months ago, inspired by things like LangChain and LlamaIndex, we started building an AI agent that could work with legal contracts. Unfortunately, we couldn't just use retrieval augmented generation (RAG), because a lot of contracts are basically identical (many chunks with near-identical embeddings), except for a few key…
- CCConfidential computing for high-assurance RISC-V embedded systems2025 · github.com · ▲103
Dear HN community! Looking forward to hearing your feedback on ACE (assured confidential execution), technology that implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware. We target high-assurance systems that can benefit from compartmentalization and hardware-backed isolation. The key ingredient called security monitor (firmware) is implemented in Rust. The formal specification is defined as annotations directly in code and gets translated to Coq using RefinedRust automation. ACE design is now part of the…
- MQMoochacha, quantum-safe file encryption (analyzed by Frama-C)2023 · codeberg.org · ▲75
- OTOn the security of the Linux disk encryption LUKS2023 · dys2p.com · ▲31
In the past few days, there have been uncertainties and concerns about the LUKS (“Linux Unified Key Setup”) disk encryption, which is widely used on Linux. We publish our assessment of this here.
More dev tools this month
the category →
OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.
Dev tools · 2d ago · opentrailpaper.com
Open-source GTM skills for technical founders
Dev tools · 30d ago · gtmcofounder.com
Launched alongside, May 2026
the whole month →
Parallel agents, diff reviewer, and multi-model comparisons
Dev tools · May 2026 · kilo.ai
- NW
Hey HN, Henry here from Cactus. We open-sourced Needle, a 26M parameter function-calling (tool use) model. It runs at 6000 tok/s prefill and 1200 tok/s decode on consumer devices. We were always frustrated by the little effort made towards building agentic models that run on budget phones, so we conducted investigations that led to an observation: agentic experiences are built upon tool calling, and massive models are overkill for it. Tool calling is fundamentally retrieval-and-assembly (match query to tool name, extract argument values, emit JSON), not reasoning. Cross-attention…
Life & fun · May 2026 · github.com
- FM
Dev tools · May 2026 · github.com