USENIX Security ’22 – Shunfan Zhou, Zhemin Yang, Dan Qiao, Peng Liu, Min Yang, Zhe Wang, Chenggang Wu – ‘Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths’
Our thanks to USENIX for publishing their Presenter’s outstanding USENIX Security ’22 Conference content on the organization’s’ YouTube channel.
*** This is a Security Bloggers Network syndicated blog from Infosecurity.US authored by Marc Handelman. Read the original post at: https://www.infosecurity.us/blog/2023/4/13/usenix-security-22-shunfan-zhou-zhemin-yang-dan-qiao-peng-liu-min-yang-zhe-wang-chenggang-wu-ferry-state-aware-symbolic-execution-for-exploring-state-dependent-program-paths
