koenk

Researcher in systems security

The Netherlands

Pinned Repositories

configs
Personal config files for bash, git, etc. Aka dotfiles...
Language:Vim Script0 2 01
gb-fpga
GameBoy implementation in Verilog
Language:Verilog6 2 01
gbc
GameBoy (Color) emulator written in C
Language:C26 5 24
gbit
Game Boy Instruction Tester
Language:C20 1 36
simpleclock
Minimal USB-powered 7-segment clock (PCB and firmware)
Language:C0 1 00
solar
Fetches data from solar installations and provides a web interface.
Language:PHP1 1 00
deltapointers
Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
Language:C++51 19 35
mvarmor
Multi-variant execution (MVX) using hardware-assisted process virtualization (with Dune)
Language:C17 14 06

koenk's Repositories

koenk/whatspoke
WhatsApp for desktop. Includes FunXMPP documentation.
Language:Python11129
koenk/gbc
GameBoy (Color) emulator written in C
Language:C26 5 24
koenk/gbit
Game Boy Instruction Tester
Language:C20 1 36
koenk/gb-fpga
GameBoy implementation in Verilog
Language:Verilog6 2 01
koenk/solar
Fetches data from solar installations and provides a web interface.
Language:PHP1 1 00
koenk/configs
Personal config files for bash, git, etc. Aka dotfiles...
Language:Vim Script0 2 01
koenk/simpleclock
Minimal USB-powered 7-segment clock (PCB and firmware)
Language:C0 1 00
koenk/koeklok
Simple modular clock (firmware, schematics, PCBs)
Language:C
koenk/libperf-tlb-report
A small C library for collecting and reporting on TLB hardware performance event counters on Linux x86-64
Language:C1 0
koenk/mgsim
Microgrid Simulator
Language:C++1 0
koenk/MMM-bustimes
Magic Mirror - Dutch bus times
Language:JavaScript0 01
koenk/ModjamScripts
A script for committing every 15 minutes, and a script for showing the time left, in your stream!
Language:Python2 0
koenk/software-engineering-team6
Project Software Engineering @ UvA, team 6
Language:Python