CORC

在结果中检索

CORC

浏览/检索结果: 共23条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Hijacking Your Routers via Control-Hijacking URLs in Embedded Devices with Web Interfaces 会议论文
INFORMATION AND COMMUNICATIONS SECURITY, ICICS 2017, 2018-01-01
作者:  Yuan, Ming;  Li, Ye;  Li, Zhoujun
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/30
Hijacking your routers via control-hijacking URLs in embedded devices with web interfaces 期刊论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 卷号: 10631 LNCS, 页码: 363-373
作者:  Yuan, M.;  Li, Y.;  Li, Z.
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30
Locating Software Faults Based on Minimum Debugging Frontier Set 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2017, 卷号: 43, 期号: 8, 页码: 760-776
作者:  Li, Feng;  Li, Zhiyuan;  Huo, Wei;  Feng, Xiaobing
收藏  |  浏览/下载：18/0  |  提交时间：2019/12/12
A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution 期刊论文
IEEE ACCESS, 2017, 卷号: 5, 页码: 8752-8762
作者:  Hu, Yan;  Kong, Weiqiang;  Ren, Yizhi;  Choo, Kim-Kwang Raymond
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/02
Debugging multithreaded programs using symbolic analysis 会议论文
作者:  Zhang, Xiaodong;  Liu, Ting;  Yang, Zijiang
收藏  |  浏览/下载：10/0  |  提交时间：2019/11/26
Dynamic Symbolic Execution Tool for Python Programs 期刊论文
2016 INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION, BIG DATA & SMART CITY (ICITBS), 2017, 页码: 212-217
作者:  Ding, XF;  Huang, WY;  Liu, Y;  Chen, WT;  Ding, XY
收藏  |  浏览/下载：8/0  |  提交时间：2019/02/25
通道幅相不一致对SFAP性能影响的分析 期刊论文
2016, 2016
许海龙; 庄学彬; 崔晓伟; 陆明泉; XU Hailong; ZHUANG Xuebin; CUI Xiaowei; LU Mingquan
收藏  |  浏览/下载：8/0
动静结合的整数溢出漏洞分析方法 期刊论文
2016, 2016
戚兰兰; 温江涛; 陈渝; 肖奇学; QI Lanlan; WEN Jiangtao; CHEN Yu; XIAO Qixue
收藏  |  浏览/下载：3/0
Buffer overflow detection in C code using dynamic symbolic execution 期刊论文
Beijing Youdian Daxue Xuebao/Journal of Beijing University of Posts and Telecommunications, 2016, 卷号: 39, 页码: 50-54
作者:  Zhang, Jun-Xian;  Li, Zhou-Jun
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
PathWalker: A Dynamic Symbolic Execution Tool Based on LLVM Byte Code Instrumentation 会议论文
1st International Symposium on Dependable Software Engineering - Theories, Tools and Applications (SETTA), Nanjing, PEOPLES R CHINA, 2015-01-01
作者:  Zhang Jun-xian;  Li Zhou-jun;  Zheng Xian-chen
收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06

©版权所有 ©2017 CSpace - Powered by CSpace