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

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] [1] https://support.google.com/pixelphone/answer/4457705?hl=en#zippy=%2Cpixel-earlier https://support.google.com/pixelphone/answer/4457705?hl=en#z... [2] https://www.androidpolice.com/the-pixel-3-deserves-longer-updates/ https://www.androidpolice.com/the-pixel-3-deserves-longer-up...