Alternatives and similar repositories for kevlar

Users that are interested in kevlar are comparing it to the libraries listed below

• trailofbits / LeftoverLocalsRelease
  The public release of LeftoverLocals code
  ☆70Updated last year
• cispa / hammulator
  Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)
  ☆17Updated last month
• cispa / GhostWrite
  Proof-of-concept for the GhostWrite CPU bug.
  ☆114Updated last year
• owenlly / Indirector_Artifact
  Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]
  ☆63Updated last year
• emproof-com / webinars
  ☆33Updated 8 months ago
• codexlynx / hardware-attacks-state-of-the-art
  Microarchitectural exploitation and other hardware attacks.
  ☆96Updated last year
• koreacsl / SysBumps
  ☆33Updated 8 months ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆52Updated 4 months ago
• Ledger-Donjon / visplot
  Side-channel traces visualizer
  ☆16Updated 5 months ago
• 0xADE1A1DE / Rosita
  ☆16Updated 2 years ago
• vusec / slam
  Spectre based on Linear Address Masking
  ☆68Updated last year
• badramattack / badram
  ☆60Updated 7 months ago
• itewqq / SGX-PTE-SPY
  A migration for the page table entry based side-channel attack agains SGX enclaves.
  ☆19Updated 8 months ago
• pornin / ntrugen
  ☆22Updated 3 months ago
• MarginResearch / resources
  ☆24Updated 2 years ago
• psifertex / terminal_velocity
  CTF Challenge for CSAW Finals 2021
  ☆12Updated 3 years ago
• AsmOptC-RiscV / Assembly-Optimized-C-RiscV
  ☆16Updated 4 years ago
• aemmitt-ns / radius2-examples
  examples of using radius2 to solve reversing challenges
  ☆35Updated 9 months ago
• quarkslab / crypto-condor
  crypto-condor is a Python library for compliance testing of implementations of cryptographic primitives
  ☆30Updated last week
• hoseinyavarzadeh / Pathfinder_Attack
  Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor
  ☆20Updated last year
• cksystemsgroup / unicorn
  Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers
  ☆36Updated last week
• nccgroup / manim-cranim
  Toolkit for creating cryptographic figures and videos.
  ☆34Updated last year
• ascon / ascon-c
  Ascon - Lightweight Authenticated Encryption & Hashing
  ☆246Updated last month
• vusec / ghostrace
  ☆75Updated last year
• MATCHA-MIT / SHD-StarterCode
  Student Starter Code for Secure Hardware Design at MIT
  ☆80Updated last year
• RischardV / riscv-alphanumeric-shellcoding
  Alphanumeric+1 shellcoding tools for RISC-V
  ☆37Updated 6 years ago
• FPSG-UIUC / Pandora
  Opening Pandora's Box: A Systematic Study of New Ways Microarchitecture can Leak Private Data
  ☆20Updated 3 years ago
• FuzzySecurity / H2HC-2024
  Hackers to Hackers Conference (H2HC) presentation in São Paulo
  ☆37Updated 10 months ago
• dim0x69 / embedded-systems-security-examples
  embedded-systems-security-examples
  ☆25Updated 3 years ago
• jvstech / float-compare-pass
  Fork of LLVM for demonstrating optimization pass development
  ☆30Updated 2 years ago