LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)
-
Updated
Jul 21, 2026 - Python
#
provable-security
Here are 4 public repositories matching this topic...
[ECCV 2024 - Oral] Official PyTorch Implementation of "Adversarial Robustification via Text-to-Image Diffusion Models"
-
Updated
Aug 17, 2024 - Python
VIGIL — The Provable Adversary · Provable Offensive Security. An autonomous adversary that doesn't ask you to trust it: every finding is minted by a deterministic oracle over the target's own bytes, signed & re-executable offline; autonomy behind fail-closed crypto gates; measures its own coverage. Sovereign, Claude-powered.
cybersecurity penetration-testing bug-bounty infosec web-security pentesting appsec offensive-security ethical-hacking red-team autonomous-agents claude vulnerability-scanner security-research defensive-security tamper-evident ai-security provable-security llm-security agentic-ai
-
Updated
Aug 4, 2026 - Python
Improve this page
Add a description, image, and links to the provable-security topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the provable-security topic, visit your repo's landing page and select "manage topics."