Research

Guided Exploit Construction

Explore how type-driven development and proof assistants can be used in the construction of exploit chains.

Identify Inlined Functions with Code Embeddings

Generate code embeddings for compiled functions with graph neural networks to support identification of inlined functions.

Software

Blaze

https://github.com/kudu-dynamics/blaze

A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.