Explore projects

Cube's firmware

Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. MOVED to https://gitlab.com/mchalupa/slowbeast

This is a mirror of https://github.com/paradise-fi/RoFI

Git mirror of the DIVINE current repository. Issues should be reported to https://divine.fi.muni.cz/trac/report/1. Please note that the CI branch will be overwritten periodically and should not be pulled from.

Attempts to retrieve RSA keys from as many OpenSSL versions as possible

Example tests written using KTDK

Kontr 2.0 Worker component

Kontr Portal API Backend in the Python using Flask

A (very) small OS kernel developed in the PB173 course. Checking an item in my bucket list.

PV181 crypto libraries examples.