Explore projects

This project contains various symbolic execution challenges for the r8 CTF system. These challenges were developed in the scope of a seminar thesis about the evaluation of angr for CTF challenges.

Git repository for saving images to use for quiz in teaching (particify).

Slides: Protoptying (autonomous) robots using python and ros. ROS Workspace and example scripts used in the workshop.