Ceviche: Capability-enhanced Secure Virtualization of Caches
-
Updated
Oct 12, 2025 - Assembly
#
side-channel-defense
Here are 2 public repositories matching this topic...
BioOS Cyber Genesis Challenge: An interactive web sandbox proving the 100% security paradigm of the Causal Operating System. Experience "Digital Causal Closure" firsthand: a world where hacking is a mathematical impossibility. Includes a vulnerable app protected by Z3 formal logic and hardware-validated intent (IRQ). Unhackable by design.
emulator cybersecurity bug-bounty infosec ctf formal-verification javascript-sandbox zero-trust digital-twin netlify-functions ransomware-simulation matrix-ui bioos side-channel-defense malware-simulation drone-security agentic-ai-security causal-os digital-causal-closure z3-logic
-
Updated
Aug 7, 2026 - HTML
Add this topic to your repo
To associate your repository with the side-channel-defense topic, visit your repo's landing page and select "manage topics."