Commit ff1c5a5a authored by Yonghwi Kwon's avatar Yonghwi Kwon
Browse files

added anchors

parent 1bdc5613
......@@ -129,7 +129,7 @@ we present \sysname, a novel system for the accurate detection of highly sophist
\sysname systematically exposes \emph{multiple aspects} of a target program, including \emph{hidden malicious behaviors},
using a combination of counterfactual execution and cooperative isolated execution.
\begin{newtext}
Counterfactual execution is a technique that forces execution into branches even if branch conditions are not satisfied and cooperative isolated execution shares global scope artifacts (e.g., global variables) between isolated execution paths to facilitate code discovery.
Counterfactual execution is a technique that forces execution into branches even if branch conditions are not satisfied (Section~\ref{design:counterfactual_execution}) and cooperative isolated execution shares global scope artifacts (e.g., global variables) between isolated execution paths to facilitate code discovery (Section~\ref{design:cooperativeisolations}).
\end{newtext}
%The essence of the technique is called \emph{counterfactual execution} which explores possible executions of a program in isolated states with a robust sandbox.
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment