Christof Fetzer's repositories
SCONE_TUTORIAL
a simple tutorial of how to use SCONE
SCONE_HOSTINSTALLER
simple script to bootstrap a host for SCONE secure containers.
golang-client
OpenStack API client for golang
linux-sgx-driver
Intel SGX Linux* Driver
abs
Simple abs function to demonstrate integer overflows and how to test for integer overflows.
Language:Rust000
Language:Rust000
Language:Go000
extreme
extreme + random value generator for testing/quick
Language:Go000
Language:Go000
haft
Hardware Assisted Fault Tolerance (HAFT)
Language:CMIT000
Language:Shell000
kotacoda-sconesecenarios
SCONE CLI Intro
000
rndtester
rndtester is a collection of Rust functions to demonstrate the use of random testing.
Language:Rust000
Language:Shell000
SFTCovertyExamples
Some examples to show the use of coverty
Language:C000
sort
A simple sort implementation - for lecture slides & task assignment
Language:Rust000