Linked Presentation: Minimalist: Semi-automated Debloating of PHP Web Applications through Static AnalysisFirmSolo: Enabling dynamic analysis of binary Linux-based IoT kernel modulesAnimateDead: Debloating Web Applications Using Concolic Execution
