Justin's suggested edits to abstract, threat model, and 'overview of TUF'