Dimitrios Alexandris CS @ University of Athens (EKPA). I work on software security — binary analysis, automated vulnerability discovery, and program analysis. Currently building Revenant, a ROP compiler in Rust for automated exploit synthesis.