Thanks Amit,
I'm not sure there are any such applications but if you have an application in mind
which you would like to build, we are happy to help you design it to be secure and to
leverage seL4's isolation guarantees -- feel free to ask any questions along those
lines :)
--
Kofi Doku Atuah
Kernel engineer
DATA61 | CSIRO