Technical reports

The report is available here: audit-final-06.pdf