机译:基于需求驱动的符号执行的动态混淆算法
Information Security Center, Beijing University of Posts and Telecommunications, 100876, Beijing, China;
Information Security Center, Beijing University of Posts and Telecommunications, 100876, Beijing, China;
School of Computer Science, Communication University of China, 100024, Beijing, China;
School of Computer Science, Communication University of China, 100024, Beijing, China;
National Cybernet Security Ltd, 100088, Beijing, China;
Symbolic Execution; Dynamic Obfuscation; Path Explosion; Information Hiding;
机译:遗传算法和动态符号执行的比较和集成,用于跨站点脚本漏洞的安全性测试
机译:基于符号执行的测试模式生成算法用于硬件木马检测
机译:通过动态符号执行和基于覆盖率的模糊测试发现更深的错误
机译:需求驱动的组合符号执行
机译:用于测试生成的符号执行算法。
机译:基于符号表示算法的惯性传感器人体活动识别
机译:需求驱动的组合符号执行