TUD Systems Engineering
Official GitHub repository of the TU Dresden Systems Engineering Group
TU Dresden, Germany
Pinned Repositories
cds_evaluator
Evaluator for the TUD SE CDS Lab
elzar
Elzar: Triple Modular Redundancy using Intel Advanced Vector Extensions
ev3-systemd
[RoboLab] [ARCHIVED] Debian package that provides systemd units for LEGO MINDSTORMS EV3 hardware
fex
Fex: A Software Systems Evaluator
FFQ
FFQ: A Fast Single-Producer/Multiple-Consumer Concurrent FIFO Queue (IPDPS 2017)
haft
Hardware Assisted Fault Tolerance (HAFT)
intel_mpx_explained
Experimental setup of "Intel MPX explained"
SELIS-PubSub-Clients
Client libraries for SELIS Project Pub/Sub System
sgxbounds
SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
SpecFuzz
A tool to enable fuzzing for Spectre vulnerabilities
TUD Systems Engineering's Repositories
tudinfse/sgxbounds
SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
tudinfse/SpecFuzz
A tool to enable fuzzing for Spectre vulnerabilities
tudinfse/FFQ
FFQ: A Fast Single-Producer/Multiple-Consumer Concurrent FIFO Queue (IPDPS 2017)
tudinfse/intel_mpx_explained
Experimental setup of "Intel MPX explained"
tudinfse/fex
Fex: A Software Systems Evaluator
tudinfse/haft
Hardware Assisted Fault Tolerance (HAFT)
tudinfse/elzar
Elzar: Triple Modular Redundancy using Intel Advanced Vector Extensions
tudinfse/cds_evaluator
Evaluator for the TUD SE CDS Lab
tudinfse/ev3-systemd
[RoboLab] [ARCHIVED] Debian package that provides systemd units for LEGO MINDSTORMS EV3 hardware
tudinfse/SELIS-PubSub-Clients
Client libraries for SELIS Project Pub/Sub System
tudinfse/brickstrap
[RoboLab] Tool for bootstrapping Debian and creating bootable image files for embedded systems
tudinfse/cds_server
Server for the TUD SE CDS Lab
tudinfse/docker-base
[RoboLab] [ARCHIVED] For creating minimal base docker images
tudinfse/docker-cross
[RoboLab] [ARCHIVED] Dockerfiles for building ev3dev cross-compiler images
tudinfse/docker-library
[RoboLab] [ARCHIVED] Docker image scripts for ev3dev
tudinfse/ev3dev-lang-python
[RoboLab] [FREEZE] Pure python bindings for ev3dev
tudinfse/linux-sgx-driver
Intel SGX Linux* Driver