Theoretically, yes. But it's far more likely that there are bugs in the implementation (both in software and hardware.) It's just a matter of time and resources to find them.