Radically Open Security

Cornelius Aschermann

Cornelius is currently working on his PHD in theoretical computer science. In his spare time he has been playing and organizing CTF competitions for almost 7 years now and has been involved in pentesting for fun and profit. He is currently researching verification techniques for C programs and is generally interested in tools that provide automated reasoning and annotations to assist security researchers and reverse engineers. Some of his projects can be found at hexgolems.com.