Skip to content
@tudinfse

TUD Systems Engineering

Official GitHub repository of the TU Dresden Systems Engineering Group

Popular repositories Loading

  1. sgxbounds sgxbounds Public

    SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)

    C 33 10

  2. FFQ FFQ Public

    FFQ: A Fast Single-Producer/Multiple-Consumer Concurrent FIFO Queue (IPDPS 2017)

    C 31 12

  3. SpecFuzz SpecFuzz Public

    Forked from OleksiiOleksenko/SpecFuzz

    A tool to enable fuzzing for Spectre vulnerabilities

    C++ 30 2

  4. intel_mpx_explained intel_mpx_explained Public

    Experimental setup of "Intel MPX explained"

    C 26 3

  5. fex fex Public

    Fex: A Software Systems Evaluator

    C 10 4

  6. haft haft Public

    Hardware Assisted Fault Tolerance (HAFT)

    C 5 5

Repositories

Showing 10 of 17 repositories
  • fex Public

    Fex: A Software Systems Evaluator

    tudinfse/fex’s past year of commit activity
    C 10 MIT 4 1 0 Updated Oct 1, 2020
  • SpecFuzz Public Forked from OleksiiOleksenko/SpecFuzz

    A tool to enable fuzzing for Spectre vulnerabilities

    tudinfse/SpecFuzz’s past year of commit activity
    C++ 30 14 0 0 Updated Feb 20, 2020
  • intel_mpx_explained Public

    Experimental setup of "Intel MPX explained"

    tudinfse/intel_mpx_explained’s past year of commit activity
    C 26 MIT 3 0 0 Updated Feb 4, 2020
  • cds_evaluator Public

    Evaluator for the TUD SE CDS Lab

    tudinfse/cds_evaluator’s past year of commit activity
    Rust 1 3 0 0 Updated Jun 21, 2019
  • cds_server Public

    Server for the TUD SE CDS Lab

    tudinfse/cds_server’s past year of commit activity
    Rust 0 4 0 1 Updated Apr 22, 2019
  • SELIS-PubSub-Clients Public

    Client libraries for SELIS Project Pub/Sub System

    tudinfse/SELIS-PubSub-Clients’s past year of commit activity
    Java 1 MIT 0 0 0 Updated Jan 17, 2019
  • FFQ Public

    FFQ: A Fast Single-Producer/Multiple-Consumer Concurrent FIFO Queue (IPDPS 2017)

    tudinfse/FFQ’s past year of commit activity
    C 31 12 1 0 Updated Feb 6, 2018
  • linux-sgx-driver Public Forked from intel/linux-sgx-driver

    Intel SGX Linux* Driver

    tudinfse/linux-sgx-driver’s past year of commit activity
    C 0 185 0 0 Updated Jun 13, 2017
  • sgxbounds Public

    SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)

    tudinfse/sgxbounds’s past year of commit activity
    C 33 10 3 0 Updated Apr 24, 2017
  • ev3dev-lang-python Public Forked from ev3dev/ev3dev-lang-python

    [RoboLab] [FREEZE] Pure python bindings for ev3dev

    tudinfse/ev3dev-lang-python’s past year of commit activity
    Python 0 MIT 147 0 0 Updated Feb 28, 2017
View all repositories

Top languages

Loading…

Most used topics

Loading…