Pinned Repositories
2017submissions
Pwn2Win CTF 2017 submissions
bachelor-thesis
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
CTF-Hub
ctf-writeups
Writeups of CTF challenges
defcon-2018
DEFCON 2018 Qualification writeups
metafunc
C++17 Functional Template Metaprogramming Library
openwrt-dos-poc
OpenWRT DOS Exploit, unfort. no RCE ;)
LevitatingLion's Repositories
LevitatingLion/ctf-writeups
Writeups of CTF challenges
LevitatingLion/2017submissions
Pwn2Win CTF 2017 submissions
LevitatingLion/bachelor-thesis
LevitatingLion/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
LevitatingLion/CTF-Hub
LevitatingLion/defcon-2018
DEFCON 2018 Qualification writeups
LevitatingLion/miri
An interpreter for Rust's mid-level intermediate representation
LevitatingLion/nested-ref
LevitatingLion/rename-item
Procedural macro to rename items on declaration, according to different case styles