FEAST 2024
MENU

FEAST 24 Workshop Technical Program

 

  • Friday, October 18, 2024
    In-person, Salt Lake City, Utah, USA

  • 9:00am – 9:10am Opening Remarks

  • 9:10am – 10:30am Session 1—Soundness

    Session/Discussion Lead: TBD

  • A Discussion on Recompilable Symbolized Disassembly

    Freek Verbeek, Binoy Ravindran (Virginia Tech)

    •  

  • Toward Automated and Formally Verified Legacy Software Enrichment

    Gregory Briskin, Guang Jin, Thomas Wahl, Jason Li (Trusted ST)

    •  

  • Minimizing Software Containers: Forethought or Hindsight?

    Jonathan Dorn, Denis Gopan, Deby Katz, Lucja Kot, Junghee Lim, Adam Seitz, Thomas Wahl (GrammaTech, Inc.)

    •  

  • Evaluating the Effect of Improved Indirect Call Resolution on System Call Debloating

    Vidya Lakshmi Rajagopalan (Stevens Institute of Technology); Georgios Portokalidis (IMDEA Software Institute)

    •  

  • 10:30am – 11:00am Coffee Break

  • 11:00am – 12:00pm Session 2—Enabling Technology

    Session/Discussion Lead: TBD

  • Beyond C/C++: Probabilistic and LLM Methods for Next-Generation Software Reverse Engineering

    Zhuo Zhang, Xiangyu Zhang (Purdue University)

    •  

  • MonT: Programmable Online Program Execution Monitoring

    J. Sukarno Mertoguno (Georgia Tech)

    •  

  • Formally proven equivalence theorems between decompiled machine code and big-step operational semantics with initial concepts for Binary Scrambling

    Ian Roessle (U.S. Naval Research Laboratory / Virginia Tech)

    •  

  • 12:00pm – 1:30pm Lunch

  • 1:30pm – 1:40pm Chairs' Remarks

  • 1:40pm – 3:00pm Session 3—Robustness

    Session/Discussion Lead: TBD

  • Experiences and Lessons Learned for Late-Stage Software Transformation and Customization

    Eric Ortega, Scott Harris, Uriel Buitrago, Tung Nguyen, Hui Zeng (P&J Robinson Corporation (PJR))

    •  

  • SoK: Software Debloating Landscape and Future Directions

    Mohannad Alhanahnah (University of Wisconsin-Madison); Yazan Boshmaf (Qatar Computing Research Institute, HBKU); Ashish Gehani (SRI)

    •  

  • Executable Stack Issues in Software Transformation

    Hengkai Ye, Hong Hu (The Pennsylvania State University)

    •  

  • Software Debloating from Exception-Handler Lenses

    Mohannad Alhanahnah (University of Wisconsin-Madison); Arshad Jhumka (University of Leeds)

    •  

  • 3:00pm – 3:30pm Coffee Break

  • 3:30pm – 4:30pm Session 4—Appraisal

    Session/Discussion Lead: TBD

  • Reasoning About Security of Protocol Dialects

    Catherine Meadows (U.S. Naval Research Laboratory); Santiago Escobar (Polytechnic University of Valencia); Victor Garcia (University of Illinois at Urbana/Champaign); Oscar Hernandez (University of Hawaii at Manoa); Jose Meseguer (University of Illinois at Urbana/Champaign)

    •  

  • Protocol Dialecting—Towards Derivative AIS Dialects to Secure the Maritime Domain

    Madison Hillyard (MITRE)

    •  

  • How to verify that different is more cyber resilient, using automation, and establishing metrics

    Chris DeRosa, Thomas Moulds (Kudu Dynamics)

    •  

  • 4:30pm – 5:00pm Discussion & Closing Remarks

FEAST 2024