While other languages claim they can be used for such things, I have yet to hear of it being done in a real deployed piece of commercial software, despite the o

While other languages claim they can be used for such things, I have yet to hear of it being done in a real deployed piece of commercial software, despite the obvious security benefits. I'd be interested in hearing any success stories.