Archived Projects

Fuzzing of Binary Formats:

This project focuses on programs that have binary input specifications, specifically TLV formats.Such binary formats are commonly used by virtual machines (JVM, CLR etc), image formats (JPEG) etc.

Members: Harshini Jayakumar, Kang Yang Chen, Rahul Gopinath, Xi Wu

Self-Contained Computational Notebooks:

Yuna is a novel self-contained computational notebook and platform that aims to sooth multiple identified pain points.

Members: Tanaka Chitete, Rahul Gopinath

Build System Detection for Supply Chain Security Analysis:

This project contributes to the Macron framework from Oracle that implements the SLSA supply chain security specification.

Members: Tim Yarkov, Rahul Gopinath