Chair-for-Security-Engineering / VERICA

Related projects ⓘ

Alternatives and complementary repositories for VERICA

• Secure-Embedded-Systems / Masked-AES-Implementation
  ☆21Updated 4 years ago
• IAIK / coco-alma
  CocoAlma is an execution-aware tool for formal verification of masked implementations
  ☆21Updated last month
• simple-crypto / SCALib
  Side-Channel Analysis Library
  ☆74Updated 2 months ago
• sca-research / ELMO
  ☆45Updated 6 months ago
• lowRISC / ot-sca
  Side-channel analysis setup for OpenTitan
  ☆28Updated 2 months ago
• GMUCERG / Dilithium
  High-speed full CRYSTALS-DILITHIUM implementation on FPGA: Keygen, Sign, Verify.
  ☆43Updated last year
• GMUCERG / LWC
  Development Package for the Hardware API for Lightweight Cryptography
  ☆15Updated last year
• AISyLab / side-channel-analysis-toolbox
  This is a project in which side-channel attacks are researched and developed.
  ☆38Updated 4 years ago
• deep-inder / tvla
  Using Test Vector Leakage Assessment methodology to analyze side-channel attacks on hardware implementations of AES-128
  ☆9Updated 3 years ago
• Chair-for-Security-Engineering / SILVER
  SILVER - Statistical Independence and Leakage Verification
  ☆12Updated last year
• ikizhvatov / pysca
  Toolbox for advanced differential power analysis of symmetric key cryptographic algorithm implementations
  ☆44Updated 6 years ago
• jcb82 / aes_cache
  Research code to perform AES timing attacks circa 2006
  ☆16Updated 10 years ago
• draperlaboratory / hope-RIPE
  A port of the RIPE suite to RISC-V.
  ☆28Updated 6 years ago
• cispa / Security-RISC
  Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)
  ☆54Updated 3 months ago
• hadipourh / CryptoHDL
  A list of VHDL codes implementing cryptographic algorithms
  ☆25Updated 2 years ago
• 0xADE1A1DE / Mastik
  ☆93Updated 2 years ago
• Ko- / riscvcrypto
  Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture
  ☆31Updated 4 years ago
• cryptolu / aes-cpa
  CPA (Correlation Power Analysis) attacks against the AES (Advanced Encryption Standard)
  ☆22Updated 7 years ago
• Nodulaire / SCA-DPA
  Side channel attack (SCA) of AES with Differential Power Analysis (DPA)
  ☆61Updated 8 years ago
• sujoyetc / SABER_HW
  Hardware implementation of Saber
  ☆7Updated 4 years ago
• rprimas / ascon-verilog
  Verilog Hardware Design of Ascon v1.2
  ☆19Updated last week
• pq-crypto / vpqc
  processor for post-quantum cryptography
  ☆14Updated 4 years ago
• brisfors / DLSCA
  A free and open source tool for Deep Learning Side Channel Analysis
  ☆15Updated 5 years ago
• proteus-core / prospect
  ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.
  ☆14Updated 3 weeks ago
• ilebedev / sanctum
  The MIT Sanctum processor top-level project
  ☆28Updated 4 years ago
• heartever / primeprobe
  prime+probe code targeting a given physical address on libgcrypt run in an SGX enclave
  ☆15Updated 5 years ago
• googleinterns / hw-fuzzing
  ☆78Updated last year
• Secure-AI-Systems-Group / Mastik
  GitHub (mirror) repository for the Mastik toolkit, written by Yuval Yarom https://cs.adelaide.edu.au/~yval/Mastik/
  ☆35Updated 5 years ago
• coruus / canright-aes-sboxes
  David Canright's tiny AES S-boxes
  ☆21Updated 10 years ago
• AISyLab / AISY_Framework
  Deep Learning-based Framework for Side-Channel Analysis
  ☆30Updated 2 years ago