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 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 https://github.com/cure53/Publications