Short random circuits define good quantum error correcting codes. - Winton Brown; Omar Fawzi (ISIT, 2013)