AnimateDead: Debloating Web Applications Using Concolic Execution

AnimateDead: Debloating Web Applications Using Concolic Execution
复制标题

AnimateDead:使用 Concolic 执行消除 Web 应用程序的膨胀

DOI:
--
复制
发表时间:
2023
期刊:
Proceedings of the USENIX Security Symposium
影响因子:
--
通讯作者:
Nikiforakis, Nick
Nikiforakis, Nick
中科院分区:
--
文献类型:
--
作者:
Amin Azad, Babak;Jahanshahi, Rasoul;Tsoukaladelis, Chris;Egele, Manuel;Nikiforakis, Nick

文献摘要

参考文献

被引文献

相似文献

DOI: 10.1145/3106237.3106271
发表时间: 2017-08
期刊: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering
影响因子: --
作者:
Vaibhav Rastogi;Drew Davidson;Lorenzo De Carli;S. Jha;P. Mcdaniel
通讯作者: Vaibhav Rastogi;Drew Davidson;Lorenzo De Carli;S. Jha;P. Mcdaniel
配置驱动的软件膨胀
DOI: 10.1145/3301417.3312501
发表时间: 2019
期刊: Proceedings of the 12th European Workshop on System Security (EuroSec
影响因子: --
作者:
Koo, Hyungjoon;Ghavamnia, Seyedhamed;Polychronakis, Michalis
通讯作者: Polychronakis, Michalis
DOI: 10.1109/dsn.2019.00064
发表时间: 2019-06
期刊: 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
影响因子: --
作者:
Jin Huang;Yu Li;Junjie Zhang;Rui Dai
通讯作者: Jin Huang;Yu Li;Junjie Zhang;Rui Dai
BinTrimmer:通过抽象解释实现静态二进制反膨胀
DOI: 10.1007/978-3-030-22038-9_23
发表时间: 2019
期刊: and Vulnerability Assessment. DIMVA 2019.
影响因子: --
作者:
Redini N., Wang R.
通讯作者: Redini N., Wang R.
DOI: 10.1016/j.exer.2017.06.020
发表时间: 2017-10
影响因子: 3.4
作者:
Butovich IA
通讯作者: Butovich IA