Hello,
apparently just a few days ago, the following work was presented at the Workshop on Privacy-Aware Mobile Computing (PAMCO'16) hosted at MobiHoc 2016 [1]:
"Light-SPD: A Platform to Prototype Secure Mobile Applications"
by Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Miguel Correia
The paper describes a secure mobile payment platform built upon Genode's TrustZone support on the FreeScale i.MX53 SoC.
Disclaimer: I was unaware of this work until yesterday and haven't thoroughly studied the paper yet. It is great to see Genode being picked up for projects like this!
[1] https://www.sigmobile.org/mobihoc/2016/ [2] http://www.gsd.inesc-id.pt/~mpc/pubs/Light-SPD-paper.pdf
Cheers Norman