@inproceedings{weko_146832_1, author = "ステュワート,ギャヴィン and 宮地,充子 and 布田,裕一", title = "Symbolic Execution に対する難読化の評価", booktitle = "コンピュータセキュリティシンポジウム2015論文集", year = "2015", volume = "2015", number = "3", pages = "297--303", month = "oct" }