CyberHaven

This is the S2E demo docker image (http://s2e.systems)

CGC CFE S2E service image

Apache Mesos

Zookeeper packaged as a docker container.