


default search action
FEAST@CCS 2019: London, UK
- Lorenzo Cavallaro, Johannes Kinder, Adam Doupé, Zhiqiang Lin:
Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation, CCS 2019, London, United Kingdom, November 11-15, 2019. ACM 2019, ISBN 978-1-4503-6834-6 - Michael D. Brown, Santosh Pande:
CARVE: Practical Security-Focused Software Debloating Using Simple Feature Set Mappings. 1-7 - Yongheng Chen, Linhai Song, Xinyu Xing, Fengyuan Xu, Wenfei Wu:
Automated Finite State Machine Extraction. 9-15 - Yurong Chen, Tian Lan, Guru Venkataramani:
Exploring Effective Fuzzing Strategies to Analyze Communication Protocols. 17-23 - Kevin W. Hamlen, Dakota Fisher, Gilmore R. Lundquist:
Source-free Machine-checked Validation of Native Code in Coq. 25-30 - Anh Quach, Aravind Prakash:
Bloat Factors and Binary Specialization. 31-38 - Eric M. Schulte, Suan Hsi Yong, David Melski:
Inuring: Live Attacker-Guided Repair. 39-45 - David Williams-King, Junfeng Yang:
CodeMason: Binary-Level Profile-Guided Optimization. 47-53

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.