Pinned Repositories
env
Makefile & docs to run basic AuthenticExecution components (reactive-tools, event managers, etc.)
mindrace
A tiny program to control a robotic vehicle with a MindWave Mobile device.
sancus-main
Top-level repository and build script
scf-arm
sec-deadlines.github.io
Deadline countdowns for academic conferences in Security and Privacy
sancus-main
Top-level repository and build script
tutorial-dsn18
Building Distributed Enclave Applications with Sancus and SGX
vulcan
Vehicular component authentication and software isolation
sec-deadlines.github.io
Deadline countdowns for academic conferences in Security and Privacy
verifast
Research prototype tool for modular formal verification of C and Java programs
muehlber's Repositories
muehlber/mindrace
A tiny program to control a robotic vehicle with a MindWave Mobile device.
muehlber/env
Makefile & docs to run basic AuthenticExecution components (reactive-tools, event managers, etc.)
muehlber/sancus-main
Top-level repository and build script
muehlber/scf-arm
muehlber/sec-deadlines.github.io
Deadline countdowns for academic conferences in Security and Privacy