Jix' Site

Projects

Varisat

Varisat is a CDCL based SAT solver written in (unstable) rust. Given a boolean formula in conjunctive normal form, it either finds a variable assignment that makes the formula true or finds a proof that this is impossible.

[Read More]

Tanztatur

The “Tanztatur” is a meter-sized USB-keyboard you can walk and dance on. Presented at the 34c3, it was conceived by @TVLuke and me and built at the Nobreakspace. More pictures and details can be found on the project page (in German).

NECA - Not Even Coppersmith's Attack

This is a fast implementation of an attack by Rivest and Shamir adapted to work on 512-bit RSA keys affected by the ROCA vulnerability. I wrote a blog post describing the attack. The source code is available on GitLab.

Demoscene Releases

I’ve been part of the demoscene since around 2007 when I joined the demogroup Titan. Below is a selection of demoscene release I contributed to.

Overdrive 2

Overdrive is a Sega Mega Drive demo released at the Revision 2017 Demoparty where it won the 1st place in the alternative platform category. It also won the Meteoriks 2018 awards for outstanding technical achievement, best low-end production and a honorable mention for best soundtrack.

[Read More]

Overdrive

Overdrive is a Sega Mega Drive demo released at the Evoke 2013 Demoparty where it won the 1st place in the alternative platform category. I joined the project just before the deadline, to help completing it in time.

[Read More]

Robotics