TUD Systems Engineering
Skip to content
Sign in
AI CODE CREATION
GitHub CopilotWrite better code with AI
GitHub SparkBuild and deploy intelligent apps
GitHub ModelsManage and compare prompts
MCP RegistryNewIntegrate external tools
View all features
Sign up
SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
C 33 11
FFQ FFQ Public
FFQ: A Fast Single-Producer/Multiple-Consumer Concurrent FIFO Queue (IPDPS 2017)
C 33 12
Experimental setup of "Intel MPX explained"
C 29 3
fex fex Public
Fex: A Software Systems Evaluator
C 9 4
Hardware Assisted Fault Tolerance (HAFT)
C 6 5
All Public Sources Forks Archived Mirrors Templates
All C C++ CMake Java Python Rust Shell
Last updated Name Stars
Showing 10 of 17 repositories
fex Public
tudinfse/fex’s past year of commit activity
C
MIT
Updated Oct 1, 2020
tudinfse/SpecFuzz’s past year of commit activity
C++
Updated Feb 20, 2020
tudinfse/intel_mpx_explained’s past year of commit activity
Updated Feb 4, 2020
tudinfse/cds_evaluator’s past year of commit activity
Rust
Updated Jun 21, 2019
tudinfse/cds_server’s past year of commit activity
Rust 0
Updated Apr 22, 2019
tudinfse/SELIS-PubSub-Clients’s past year of commit activity
Java
MIT 0
Updated Jan 17, 2019
FFQ Public
tudinfse/FFQ’s past year of commit activity
Updated Feb 6, 2018
tudinfse/linux-sgx-driver’s past year of commit activity
C 0
Updated Jun 13, 2017
sgxbounds Public
tudinfse/sgxbounds’s past year of commit activity
Updated Apr 24, 2017
tudinfse/ev3dev-lang-python’s past year of commit activity
Python 0 MIT
Updated Feb 28, 2017
Loading…