Mohamed is not a Corellium employee, but rather a third party who early on volunteered to attempt to upstream some of their patches.
The only e-mail from a Corellium employee to Linux mailing lists, to date, is this one:
https://lore.kernel.org/linux-arm-kernel/ce74bb29-1237-b0e7-...
This is the most puzzling bit to me: nobody from Corellium participated in the upstreaming discussion about their own code either.