Is there a way that MtCox or somewhere could keep a blacklist of 'stolen' coins? So that they become worthless because nobody would be able to trade them?
"Decentralised crime fighting using private set intersection protocols" - Mike Hearn
Which means it comes down to convincing the gatekeeper that you were burgled. But that's a human level problem.