Alternatives and similar repositories for iodine

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

• ymanerka / rtlcheck

  View on GitHub
  RTLCheck
  ☆25Oct 9, 2018Updated 7 years ago
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• rzhang2285 / Coppelia

  View on GitHub
  Code repository for Coppelia tool
  ☆23Nov 12, 2020Updated 5 years ago
• comsec-group / cellift-yosys

  View on GitHub
  A fork of Yosys that integrates the CellIFT pass
  ☆13Jul 23, 2025Updated 6 months ago
• mit-plv / hemiola

  View on GitHub
  A Coq framework to support structural design and proof of hardware cache-coherence protocols
  ☆14May 7, 2022Updated 3 years ago
• yaohsiaopid / rtl2uspec

  View on GitHub
  ☆11Jul 1, 2025Updated 7 months ago
• BinaryAnalysisPlatform / bap-veri

  View on GitHub
  bil verification tool
  ☆12Jun 30, 2022Updated 3 years ago
• upscale-project / generic-sqed-demo

  View on GitHub
  ☆13Feb 6, 2021Updated 5 years ago
• yuzeng2333 / autoGenILA

  View on GitHub
  Automatic generation of architecture-level models for hardware from its RTL design.
  ☆14Apr 12, 2023Updated 2 years ago
• ctrippel / TriCheck

  View on GitHub
  ☆13Jun 22, 2017Updated 8 years ago
• jyao15 / G-CLN

  View on GitHub
  ☆12Dec 29, 2022Updated 3 years ago
• SRI-CSL / llvm2smt

  View on GitHub
  Experimental translation of llvm to smt.
  ☆58Apr 8, 2020Updated 5 years ago
• gururaj-s / mirage

  View on GitHub
  MIRAGE (USENIX Security 2021)
  ☆14Nov 8, 2023Updated 2 years ago
• daniellustig / coatcheck

  View on GitHub
  COATCheck
  ☆13Nov 4, 2018Updated 7 years ago
• gururaj-s / cleanupspec

  View on GitHub
  CleanupSpec (MICRO-2019)
  ☆16Oct 22, 2020Updated 5 years ago
• spectector / spectector

  View on GitHub
  Automatic detection of speculative information flows
  ☆75Jul 14, 2021Updated 4 years ago
• TheNetAdmin / NVLeak

  View on GitHub
  NVLeak: Off-Chip Side-Channel Attacks via Non-Volatile Memory Systems [USENIX Security '23]
  ☆19Nov 17, 2022Updated 3 years ago
• yihozhang / relational-ematching-benchmark

  View on GitHub
  ☆16Jan 5, 2022Updated 4 years ago
• nmoroze / kronos

  View on GitHub
  My MEng thesis code - verifying a security property for an SoC with Rosette
  ☆17Jun 9, 2021Updated 4 years ago
• greenlsi / reload_refresh

  View on GitHub
  Reload+Refresh PoC
  ☆16Feb 26, 2020Updated 5 years ago
• skmuduli92 / HyperFuzzer

  View on GitHub
  ☆17Jul 11, 2021Updated 4 years ago
• y-t-bot / opensea-instant-outbidder-bidding-bot

  View on GitHub
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆100Jan 17, 2023Updated 3 years ago
• CMU-SAFARI / Pythia-HDL

  View on GitHub
  Implementation of Pythia: A Customizable Hardware Prefetching Framework Using Online Reinforcement Learning in Chisel HDL. To know more, …
  ☆17Oct 9, 2021Updated 4 years ago
• cacheaudit / cacheaudit

  View on GitHub
  A Tool for the Static Analysis of Cache Side Channels
  ☆42Mar 5, 2017Updated 8 years ago
• rsnikhil / RISCV_ISA_Formal_Spec_in_BSV

  View on GitHub
  A formal spec of the RISC-V Instruction Set Architecture, written in Bluespec BSV (executable, synthesizable)
  ☆20Sep 15, 2017Updated 8 years ago
• iscas-tis / CHA

  View on GitHub
  ☆19Jul 12, 2024Updated last year
• nagnagnet / PrimeProbe

  View on GitHub
  ☆20Aug 3, 2018Updated 7 years ago
• Anton-Cao / spectrev2-poc

  View on GitHub
  Proof of Concept of exploit against Spectre Variant 2 Vulnerability
  ☆22May 23, 2020Updated 5 years ago
• hplp / aes_chisel

  View on GitHub
  Implementation of the Advanced Encryption Standard in Chisel
  ☆19Apr 18, 2022Updated 3 years ago
• aman-goel / avr

  View on GitHub
  Reads a state transition system and performs property checking
  ☆90Sep 12, 2025Updated 5 months ago
• comsec-group / cellift-meta

  View on GitHub
  All the tools you need to reproduce the CellIFT paper experiments
  ☆24Feb 11, 2025Updated last year
• daniellustig / pipecheck

  View on GitHub
  ☆19Dec 29, 2014Updated 11 years ago
• gururaj-s / streamline

  View on GitHub
  Streamline Covert Channel Attack (presented in ASPLOS'21)
  ☆22Feb 18, 2021Updated 4 years ago
• siamumar / tinyAES

  View on GitHub
  ☆21Jan 25, 2018Updated 8 years ago
• agurfinkel / btor2mlir

  View on GitHub
  BTOR2 MLIR project
  ☆26Jan 17, 2024Updated 2 years ago
• embecosm / gso2

  View on GitHub
  GNU Superoptimizer Version 2
  ☆26May 19, 2021Updated 4 years ago
• yaozhaosh / chisel-aes

  View on GitHub
  Chisel implementation of AES
  ☆24Mar 27, 2020Updated 5 years ago
• RafaelTupynamba / quicksampler

  View on GitHub
  Efficient Sampling of SAT Solutions for Testing
  ☆35Sep 20, 2019Updated 6 years ago
• uwplse / rake

  View on GitHub
  compiling DSLs to high-level hardware instructions
  ☆23Nov 8, 2022Updated 3 years ago