13 citations · 33 across the 13 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Charitha Saumya, Muhammad Hassan, Rohan Gangaraju +2
Dynamic Symbolic Execution (DSE) suffers from the path explosion problem when the target program has many conditional branches. The classical approach for managing the path explosi…
cs.SE2022★ 2 cited
Cornucopia: A Framework for Feedback Guided Generation of Binaries
Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya +2
Binary analysis is an important capability required for many security and software engineering applications. Consequently, there are many binary analysis techniques and tools with…