[druiid]

Mathematical breakthroughs, yes. I know PhD level mathematicians who have gone to work for the NSA. They are very, very intelligent and capable people.

That said, I wouldn't let that stop you from using Selinux. They might have left easier methods around it available to them, but by now if there was a giant 'backdoor' in it, it would have been discovered by the community by now since it's not distributed as a binary blob. I hear these complaints every time there's a conversation about the NSA on here. Essentially the end-of-story take away should be that you need to use Selinux or comparable tools in a live environment.