I noticed the paper concludes with "All vulnerabilities we found had been reported to Google and are now fixed."
Meanwhile it was reported recently that Google dropped support [1] for Pixel 3. Anyone know if these fixes were included in the "final" Pixel 3 update? [2]
That seems like a BFD.