Links: - [paper](https://thomaschneider.de/papers/BDKKS18.pdf) - [software](https://gitlab.com/securityengineering/HyCC) - latest release in March 2020! To do: create build environment, implement sample programs, document.
