Mobile Fail: Cracking Open "secure" Android Containers [SecTorCA]
Tom Barclay Jim Gray, Don Slutz, Greg Smith, many others Microsoft Research SPIN-2.