Top paidtagged Open Source and security (5 results)
Explore tools tagged Open Source and security on itch.io · Sell your tools on itch.io to have them show up here.
New itch.io is now on YouTube!
Subscribe for game recommendations, clips, and more
Deterministic runtime that executes artifacts under explicit constraints and emits verifiable execution receipts.
Deterministic tool that proves a program, code path, or artifact did not execute within a declared scope.
Deterministic tool that proves a system or process did not access a protected resource within a declared scope.
A deterministic tool that generates verifiable proof that specified data no longer exists within a declared scope.
Deterministic tool that proves a declared boundary has not changed within a scoped system.