I would argue this extends to all systems and behaviors that aren't formally verified. Bugs notwithstanding, breaking current encryption is a mathematically backed concept. The issue is broken implementations.