Chair for Embedded Security

Repositories

• hal

  HAL – The Hardware Analyzer

  security fpga hardware reverse-engineering hal netlist integrated-circuits
  VHDL MIT 35 275 21 1 Updated Nov 25, 2020

• hal-benchmarks

  Benchmark suite for HAL

  hardware vhdl reverse-engineering verilog netlist
  VHDL 0 1 0 0 Updated Nov 9, 2020

• VerFI

  Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)
  C++ 2 3 0 0 Updated Nov 6, 2020

• arm-fault-simulator-paper-results
  Assembly 0 0 0 0 Updated Oct 24, 2020

• arm-fault-simulator
  C++ MIT 1 1 0 0 Updated Oct 24, 2020

• ChameleonMini

  The ChameleonMini is a versatile contactless smartcard emulator compliant to NFC. The ChameleonMini was developed by https://kasper-oswald.de. The device is available at https://shop.kasper.it. For further information see the Getting Started Page https://rawgit.com/emsec/ChameleonMini/master/Doc/Doxygen/html/_page__getting_started.html or the Wi…

  emulator hack card sniffer mifare rfid nfc
  C 278 1,068 52 11 Updated Oct 23, 2020

• doppelganger
  VHDL 0 0 0 0 Updated Oct 12, 2020

• ImpeccableCircuits

  Hardware designs for fault detection
  VHDL 0 7 0 0 Updated Apr 13, 2020

• CCCiCC
  0 0 0 0 Updated Feb 8, 2020

• homebrew-hal

  Homebrew hal tap
  Ruby MIT 0 0 0 0 Updated Dec 20, 2019

• hal-netlist-statistics
  C++ MIT 0 0 0 0 Updated Dec 20, 2019

• ImpeccableCircuitsII

  Hardware designs for fault correction
  Verilog 0 2 0 0 Updated Dec 8, 2019

• TI-PUF

  Hardware designs for TI-PUF
  VHDL 1 2 0 0 Updated Nov 5, 2019

• QESA_ZK

  Code for our CCS paper "Efficient zero-knowledge arguments in the discrete log setting, revisited"
  C++ GPL-3.0 1 6 0 0 Updated Sep 2, 2019

• RotationalSymmetry
  VHDL 0 4 0 0 Updated Mar 27, 2019

• SCATools

  Open tools for side-channel analysis and related techniques. Currently, this repository contains: 1) A near-field EM probe amplifier circuit
  AGS Script 5 26 0 0 Updated Dec 17, 2014