Abstract Submissions for MultiSE
Written on 25.06.2021 15:38 by Rafael Dutra
As we mentioned during the previous meeting, the next seminar will be on "MultiSE: Multi-Path Symbolic Execution using Value Summaries".
* MultiSE: Multi-Path Symbolic Execution using Value Summaries
Sen, Necula, Gong, Choi
This is an alternative way of implementing symbolic execution. In particular, you should discuss how it compares with the traditional symbolic and concolic execution techniques presented, for example, in the fuzzinbook.
Symbolic Execution: https://www.fuzzingbook.org/html/SymbolicFuzzer.html
Concolic Execution: https://www.fuzzingbook.org/html/ConcolicFuzzer.html
We expect a short abstract, no more than one page, capturing the essential ideas. As before you can use the following latex snippet to determine what fits in a single page and what doesn't.
Please upload your summary as a PDF to the CMS submission slot (you can use the above latex code to generate the PDF). The submission slot for reverse debugging is here: https://cms.cispa.saarland/testdebug/submissions/view/8
Please submit your abstracts before the class.