author: Sophie Lathouwers
title: Formal Verification of Sanitizers
keywords: sanitizers
topics: Other
committee: Marieke Huisman ,
Maarten Everts
started: January 2018
end: September 2018