Alternatives and similar repositories for MiBench2:

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

• cwfletcher / oisa
  Data oblivious ISA prototyped on the RISC-V BOOM processor.
  ☆20Updated 2 years ago
• gokhankici / iodine
  Iodine: Verifying Constant-Time Execution of Hardware
  ☆12Updated 3 years ago
• googleinterns / hw-fuzzing
  ☆80Updated 2 years ago
• CMU-SAFARI / BEER
  BEER determines an ECC code's parity-check matrix based on the uncorrectable errors it can cause. BEER targets Hamming codes that are use…
  ☆18Updated 4 years ago
• proteus-core / prospect
  ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.
  ☆15Updated 3 months ago
• mageec / beebs
  A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions
  ☆62Updated last year
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆51Updated 5 years ago
• kuopinghsu / callgraph-gen
  Generating the call graph from elf binary file
  ☆32Updated last year
• rzhang2285 / Coppelia
  Code repository for Coppelia tool
  ☆22Updated 4 years ago
• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆21Updated 5 years ago
• eembc / telebench
  TeleBench™ is a suite of benchmarks that allows the users to approximate the performance of processors in modem and related fixed-telecom…
  ☆12Updated 3 years ago
• ARM-software / cca-rmm-acs
  Tests for verifying compliance of RMM implementations
  ☆16Updated 3 weeks ago
• embecosm / mibench
  The MiBench testsuite, extended for use in general embedded environments
  ☆87Updated 12 years ago
• tacle / tacle-bench
  TACLe Benchmarks
  ☆41Updated 2 months ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• hackdac / hackdac_2018_beta
  The SoC used for the beta phase of Hack@DAC 2018.
  ☆17Updated 4 years ago
• hex-five / multizone-iot-sdk
  MultiZone® Trusted Firmware is the quick and safe way to build secure IoT applications with any RISC-V processor. It provides secure acce…
  ☆19Updated last year
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 5 years ago
• rems-project / rmem
  rmem public repo
  ☆41Updated 6 months ago
• intel / pinplay-tools
  A collection of C/C++ programs and Python scripts to be used in conjunction with Intel Software Development Emulator (Intel SDE, availabl…
  ☆32Updated last month
• riscv / riscv-memory-tagging
  Memory Tagging ISA extension that can be used by software to enforce memory tag checks on memory loads and stores
  ☆10Updated last week
• efeslab / dolma
  ☆12Updated 3 years ago
• tudinfse / sgxbounds
  SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
  ☆32Updated 7 years ago
• ilebedev / sanctum
  The MIT Sanctum processor top-level project
  ☆28Updated 4 years ago
• comparch-security / cpu-sec-bench
  Security Test Benchmark for Computer Architectures
  ☆20Updated 2 months ago
• zslwyuan / LLVM-9.0-Learner-Tutorial
  A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accompli…
  ☆101Updated 2 years ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 2 years ago
• ymanerka / rtlcheck
  RTLCheck
  ☆18Updated 6 years ago
• melver / mc2lib
  Memory consistency model checking and test generation library.
  ☆14Updated 8 years ago