Skip to content
Change the repository type filter

All

    Repositories list

    • fex

      Public
      Fex: A Software Systems Evaluator
      C
      MIT License
      41010Updated Oct 1, 2020Oct 1, 2020
    • SpecFuzz

      Public
      A tool to enable fuzzing for Spectre vulnerabilities
      C++
      Other
      143000Updated Feb 20, 2020Feb 20, 2020
    • Experimental setup of "Intel MPX explained"
      C
      MIT License
      32600Updated Feb 4, 2020Feb 4, 2020
    • Evaluator for the TUD SE CDS Lab
      Rust
      3100Updated Jun 21, 2019Jun 21, 2019
    • Server for the TUD SE CDS Lab
      Rust
      4001Updated Apr 22, 2019Apr 22, 2019
    • Client libraries for SELIS Project Pub/Sub System
      Java
      MIT License
      0100Updated Jan 17, 2019Jan 17, 2019
    • FFQ

      Public
      FFQ: A Fast Single-Producer/Multiple-Consumer Concurrent FIFO Queue (IPDPS 2017)
      C
      123110Updated Feb 6, 2018Feb 6, 2018
    • Intel SGX Linux* Driver
      C
      Other
      177000Updated Jun 13, 2017Jun 13, 2017
    • sgxbounds

      Public
      SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
      C
      103330Updated Apr 24, 2017Apr 24, 2017
    • [RoboLab] [FREEZE] Pure python bindings for ev3dev
      Python
      MIT License
      145000Updated Feb 28, 2017Feb 28, 2017
    • [RoboLab] [ARCHIVED] Docker image scripts for ev3dev
      Shell
      11000Updated Feb 11, 2017Feb 11, 2017
    • [RoboLab] [ARCHIVED] Debian package that provides systemd units for LEGO MINDSTORMS EV3 hardware
      Shell
      12100Updated Feb 7, 2017Feb 7, 2017
    • [RoboLab] Tool for bootstrapping Debian and creating bootable image files for embedded systems
      Shell
      MIT License
      26000Updated Jan 26, 2017Jan 26, 2017
    • [RoboLab] [ARCHIVED] For creating minimal base docker images
      3000Updated Jan 17, 2017Jan 17, 2017
    • [RoboLab] [ARCHIVED] Dockerfiles for building ev3dev cross-compiler images
      CMake
      15000Updated Dec 10, 2016Dec 10, 2016
    • haft

      Public
      Hardware Assisted Fault Tolerance (HAFT)
      C
      MIT License
      5500Updated Aug 25, 2016Aug 25, 2016
    • elzar

      Public
      Elzar: Triple Modular Redundancy using Intel Advanced Vector Extensions
      C
      1400Updated Jun 21, 2016Jun 21, 2016