Alternatives
Products that do what Aves Security does
Security Guard Governance System
- 1
- 2
Configurable safety control for enterprise agent deployment.
Apr 2026 · elevenlabs.io
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10CC
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
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19GL
I wanted to do a complete audit of my AWS account but was dissatisfied with the existing tools. Many of them are clunky to use, and their verbose scan outputs are difficult to understand. So, I built my own open-source tool that uses LLMs to summarize the scan results.
2024 · guard.dev
- 20
- 21
- 22
- 23
- 24
Ranked by how close each launch is in meaning, then by votes. Refine with a description →