FEAST '17- Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation

Full Citation in the ACM Digital Library

SESSION: Session 1: Binary Rewriting and Transformation

Vertx: Automated Validation of Binary Transformations

• Denis Gopan
• Peter Ohmann
• David Melski

Zipr++: Exceptional Binary Rewriting

• Jason Hiser
• Anh Nguyen-Tuong
• William Hawkins
• Matthew McGill
• Michele Co
• Jack Davidson

RL-Bin, Robust Low-overhead Binary Rewriter

• Amir Majlesi-Kupaei
• Danny Kim
• Kapil Anand
• Khaled ElWazeer
• Rajeev Barua

DamGate: Dynamic Adaptive Multi-feature Gating in Program Binaries

• Yurong Chen
• Tian Lan
• Guru Venkataramani

SESSION: Session 2: CPS, Mobile, and Intel SGX

CPS Runtime Architecture And Automated Transformation of Applications

• Lui Sha

ReDroid: Prioritizing Data Flows and Sinks for App Security Transformation

• Ke Tian
• Gang Tan
• Danfeng Daphne Yao
• Barbara G. Ryder

Binary Code Retrofitting and Hardening Using SGX

• Shuai Wang
• Wenhao Wang
• Qinkun Bao
• Pei Wang
• XiaoFeng Wang
• Dinghao Wu

SESSION: Session 3: Software and Protocol Debloating

New Directions for Container Debloating

• Vaibhav Rastogi
• Chaitra Niddodi
• Sibin Mohan
• Somesh Jha

An Initial Investigation of Protocol Customization

• David Ke Hong
• Qi Alfred Chen
• Z. Morley Mao

A Multi-OS Cross-Layer Study of Bloating in User Programs, Kernel and Managed Execution Environments

• Anh Quach
• Rukayat Erinfolami
• David Demicco
• Aravind Prakash