Alec Petridis

DICEGRID

The world's first power electronics CTF challenge. Includes custom-built power meters and protection circuits.

Mecanum MPC

mpc implementation for mecanum-wheeled robots. dynamics model derived using lagrangian mechanics. system parameters identified using optuna and raytune.

corcpu

RTL design of a multi-issue RISC-V CPU

Skibidicopter

Quadcopter that uses quaternions to keep itself stable

wireguard-java

Java implementation of the wireguard vpn protocol. written 100% in java, with no dependencies, by using the ffi api (project panama) to directly invoke tun syscalls.

Discord Census

a Discord crawler that uses puppet Discord accounts to spider servers and log members, messages and invites as it goes

graal-bindgen

generates safe bindings between Rust and Graal Polyglot so that you can use Java types and methods as if they were ordinary Rust methods

graal_bindgen_macros::class! [java.util.ArrayList<E> {
    new();
    E get(int index);
    boolean add(E e);
    E[] toArray();
}];

let list = ArrayList::new();
let list_in_list = ArrayList::new();
for i in 0..100 {
    list_in_list.add(i);
}
list.add(list_in_list);
let array_from_list = list.get(0).toArray();
for i in 0..100 {
    println!("{}", array_from_list.get(i).unwrap());
}

Decompiler

stack-tracking decompiler that uses a soup-of-nodes representation to lift machine code

CTF challenge: Midenios

array OOB introduced in spidermonkey (firefox JS engine) patch. bug exploited using shellcode heap spray + egg hunting.

hard

HTB{c0ry_d0ctorow_was_wr0ng}