Back to TianoCore
GSoC 2021

Integration of a PE/COFF loader designed with formal methods

Project details

Contributor

Marvin Häuser

Mentors

bret, Benjamin You

Technologies

Not listed in the archive