- Alexey Akhunov (alexey@ledgerwatch.com)
The audit report was based on commit 942968d66a4fa200fe9757d02b377dbfc3c88636
Changes made until commit 898cc8969736bc190db1b7c446e050f49177f898 have been checked with symbolic execution and can be found in the attached pdf (see table SecuredTokenTransfer::transferToken).