3 papers
cs.CR2024
Combined Static Analysis and Machine Learning Prediction for Application Debloating
Chris Porter, Sharjeel Khan, Kangqi Ni +1
Software debloating can effectively thwart certain code reuse attacks by reducing attack surfaces to break gadget chains. Approaches based on static analysis enable a reduced set o…
cs.SE2024
Improving Program Debloating with 1-DU Chain Minimality
Myeongsoo Kim, Santosh Pande, Alessandro Orso
Modern software often struggles with bloat, leading to increased memory consumption and security vulnerabilities from unused code. In response, various program debloating technique…
cs.PL2023
Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional Lisp
Nathan Braswell, Sharjeel Khan, Santosh Pande
Macros are a common part of Lisp languages, and one of their most lauded features. Much research has gone into making macros both safer and more powerful resulting in developments…