周扬帆中文主页--论文成果

中文主页 >> 科学研究 >> 论文成果

论文成果

Manufacturing resilient Bi-Opaque predicates against symbolic execution

发布时间：2021-05-31点击次数：

发表刊物： PROCEEDINGS - 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, DSN 2018
编号： SY124573
页面范围： 666-677
是否译文： 否
发表时间： 2018-01-01

上一条：Dependability Issues of Android Games: A First Look via Software Analysis

下一条：Efficient Scheduling for Multi-Block Updates in Erasure Coding Based Storage Systems