Alternatives
Products that do what VoltSec - Security. Without Assumptions. does
High-Depth Security Testing & Compliance Clarity
- 1CC
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…
2025 · github.com
- 2

- 3

- 4

AI agents that find, validate, and fix every vulnerability
Jun 2026 · getastra.com
- 5

- 6

- 7

- 8

- 9OP
Hello HN, Over the past months at Oneleet (YC S22), our team has been building https://app.oneleet.com, a compliance-focused pentesting-as-a-service platform. It allows companies to easily schedule and manage penetration tests, designed for both compliance and security enhancement. We collaborate exclusively with top-tier vetted penetration testers based in NATO countries, ensuring superior quality results. Competitors like Cobalt work with just about anyone, of which they put multiple on a single engagement to ‘average out’ the quality. Despite their efforts, it is still…
2023 · oneleet.com
- 10VC
2017 · github.com
- 11

- 12

- 13

- 14CC
2018 · github.com
- 15BA
2016 · stealthworker.com
- 16

- 17

- 18SA
2017 · calctopia.com
- 19AS
2020 · stackhawk.com
- 20VF
May 2026 · github.com
- 21

Audit-grade AI governance with deterministic evidence
Feb 2026 · haiec.com
- 22AP
2012 · advancedpentest.com
- 23

- 24AC
2020 · github.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →