Elmar Padilla

SoK: No Goto, No Cry? The Fairy Tale of Flawless Control-Flow Structuring — EuroS&P 2025