Moritz Schloegel

Latest

• SoK: A Modularized Framework for Symbolic Execution and Application for Usable Tool Design