most citedDeepObfuscation: Securing the Structure of Convolutional Neural Networks via Knowledge Distillation

14 citations · 17 across the 2 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2017★ 3 cited

On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs

Hui Xu, Zirui Zhao, Yangfan Zhou +1

Symbolic execution now becomes an indispensable technique for software testing and program analysis. There are several symbolic execution tools available off-the-shelf, and we need…