[Foxboron]

cure53 has an impeccable reputation and delivered some of the best security analysis there is.

Most of them are also public and on github.

https://github.com/cure53/Publications